Vala.Method.add_postcondition – vala Reference Manual
Packages
vala
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
return_type
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_parameter
add_postcondition
add_precondition
add_type_parameter
check
clear_parameters
compatible
compatible_internal
compatible_no_error
find_base_class_method
find_base_interface_method
find_base_methods
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_parameters
get_postconditions
get_preconditions
get_required_arguments
get_type_parameter_index
get_type_parameters
has_error_type_parameter
has_type_parameters
is_possible_entry_point
is_variadic
replace_expression
replace_type
_base_interface_method
_base_interface_type
_base_method
_binding
_closure
_coroutine
_empty_expression_list
_empty_type_parameter_list
_entry_point
_is_abstract
_is_async_callback
_is_inline
_is_main_block
_is_virtual
_overrides
_params_array_var
_return_type
_signal_reference
_this_parameter
async_begin_parameters
async_end_parameters
base_methods_valid
callback_method
captured_variables
end_method
error_types
parameters
postconditions
preconditions
type_parameters
add_postcondition
Description:
public
void
add_postcondition
(
Expression
postcondition)
Adds a postcondition to this method.
Parameters:
postcondition
a boolean postcondition expression