Vala.Method.add_postcondition Reference Manual
Vala.Method.add_postcondition:
Description:
public
void
add_postcondition (
Vala.Expression
postcondition)
created by
valadoc