Vala.Method.add_precondition Reference Manual
Vala.Method.add_precondition:
Description:
public
void
add_precondition (
Vala.Expression
precondition)
created by
valadoc