| Version 1 (modified by , 16 years ago) ( diff ) |
|---|
Grammar
- program
- program_name
- global_variable
- variable_suffix
- variable_declaration
- type
- simple_type
- function
- argument_list
- argument
- body
- var_decl_list
- statement
- allocate_statement
- deallocate_statement
- assume_statement
- assert_statement
- assignment_statement
- compound_statement
- condition_statement
- select_statement
- choice
- iterative_statement
- loop_statement
- correspondence_annotation
- skew_factor
- return_statement
- empty_statement
- send_statement
- recv_statement
- comm_expr
- wildcar_expr
- call_statement
- parameter_list
- parameter
- lhs
- expr_statement
- expr
- assign_expr
- ifThenElse_expr
- quantifier_expr
- quantifier
- logical_or_expr
- logical_and_expr
- equality_expr
- equality_operator
- relational_operator
- addititve_expr
- addititve_operator
- multi_expr
- multi_operator
- assign_operator
- unary_expr
- unary_operator
- spec_expr
- postfix_expr
- primary_expr
- self_change_op
- constant
Note:
See TracWiki
for help on using the wiki.
