Vala.Method.add_postcondition – libvala-0.56 Reference Manual
Packages
libvala-0.56
Vala
Method
base_interface_method
base_interface_type
base_method
binding
closure
coroutine
entry_point
has_construct_function
has_result
is_abstract
is_async_callback
is_inline
is_main_block
is_virtual
overrides
params_array_var
printf_format
returns_floating_reference
returns_modified_pointer
scanf_format
signal_reference
this_parameter
Method
Method.main_block
accept
accept_children
add_captured_variable
add_error_type
add_postcondition
add_precondition
add_type_parameter
check
clear_parameters
compatible
compatible_no_error
get_async_begin_parameters
get_async_end_parameters
get_callback_method
get_captured_variables
get_defined_variables
get_end_method
get_error_types
get_format_arg_index
get_postconditions
get_preconditions
get_required_arguments
get_type_parameter_index
get_type_parameters
has_error_type_parameter
has_type_parameters
is_variadic
replace_expression
replace_type
error_types
add_postcondition
Description:
public
void
add_postcondition
(
Expression
postcondition)