SymbCache_create()
Class constructor
SymbCache_destroy()
Class destructor
SymbCache_get_constants()
Returns the list of all declared constants
SymbCache_get_define_body()
Returns the body of the given DEFINE name
SymbCache_get_define_context()
Returns the context of the given DEFINE name
SymbCache_get_define_flatten_body()
Returns the flattenized body of the given DEFINE name
SymbCache_get_defines()
Returns the list of all DEFINEs
SymbCache_get_input_symbols()
Returns the list of all input variables and those DEFINEs whose body refer directly or indirectly to input variables
SymbCache_get_input_vars()
Returns the list of all declared input variables
SymbCache_get_state_input_symbols()
Returns the list of those DEFINEs whose body refer directly or indirectly to both state and input variables
SymbCache_get_state_symbols()
Returns the list of all state variables and those DEFINEs whose body refer directly or indirectly to state variables
SymbCache_get_state_vars()
Returns the list of all declared state variables
SymbCache_get_var_type()
Returns the type of a given variable
SymbCache_get_vars()
Returns the list of all declared variables
SymbCache_is_symbol_constant()
Returns true if the given symbol is a declared constant
SymbCache_is_symbol_declared()
Returns true if the given symbol is declared
SymbCache_is_symbol_define()
Returns true if the given symbol is a declared DEFINE
SymbCache_is_symbol_input_var()
Returns true if the given symbol is an input variable.
SymbCache_is_symbol_state_var()
Returns true if the given symbol is a state variable.
SymbCache_is_symbol_var()
Returns true if the given symbol is either a state or an input variable.
SymbCache_list_contains_input_var()
Returns true if var_list contains at least one input variable
SymbCache_list_contains_state_var()
Returns true if var_list contains at least one state variable
SymbCache_list_contains_undef_var()
Returns true if the given symbols list contains one or more undeclared variable names
SymbCache_new_constant()
Declares a new constant.
SymbCache_new_define()
Declares a new DEFINE.
SymbCache_new_input_var()
Declares a new input variable.
SymbCache_new_state_var()
Declares a new state variable.
SymbCache_remove_constant()
Removes a constant from the cache of symbols, and from the flattener module
SymbCache_remove_define()
Removes a DEFINE from the cache of symbols, and from the flattener define hash
SymbCache_remove_var()
Removes a variable from the cache of symbols, and from the flattener module
SymbLayer_can_declare_constant()
Call this method to know if a new constant can be declared within this layer.
SymbLayer_can_declare_define()
Call this method to know if a new DEFINE can be declared within this layer.
SymbLayer_can_declare_var()
Call this method to know if a new variable can be declared within this layer.
SymbLayer_committed_to_enc()
Called every time an instance is committed within an encoding.
SymbLayer_create()
Class SymbLayer constructor
SymbLayer_declare_constant()
Insert a new constant
SymbLayer_declare_define()
Insert a new DEFINE
SymbLayer_declare_input_var()
Insert a new input variable
SymbLayer_declare_state_var()
Insert a new state variable
SymbLayer_destroy()
Class SymbLayer destructor
SymbLayer_get_all_symbols()
Returns the entire list of symbols (constants, variables, etc.) declared in this layer
SymbLayer_get_all_vars()
Returns the entire list of variables declared in this layer
SymbLayer_get_bool_input_vars_num()
Returns the number of declared boolean input variables
SymbLayer_get_bool_input_vars()
Returns the list of declared boolean input variables declared in this layer
SymbLayer_get_bool_state_vars_num()
Returns the number of declared boolean state variables
SymbLayer_get_bool_state_vars()
Returns the list of declared boolean state variables declared in this layer
SymbLayer_get_bool_vars()
Returns the list of boolean variables declared in this layer
SymbLayer_get_constants_num()
Returns the number of declared contants
SymbLayer_get_constants()
Returns the list of declared contants
SymbLayer_get_defines_num()
Returns the number of DEFINEs.
SymbLayer_get_defines()
Returns the list of DEFINEs.
SymbLayer_get_input_vars_num()
Returns the number of declared input variables
SymbLayer_get_input_vars()
Returns the list of input variables declared in this layer
SymbLayer_get_insert_policy()
Returns the policy that must be adopted to stack this layer into a layers stack, within a SymbTable instance
SymbLayer_get_name()
Returns the name self had been registered with.
SymbLayer_get_state_vars_num()
Returns the number of declared state variables.
SymbLayer_get_state_vars()
Returns the list of state variables declared in this layer
SymbLayer_must_insert_before()
Compares the insertion policies of self and other, and returns true if self must be inserted *before* other
SymbLayer_removed_from_enc()
Called every time an instance is removed from an encoding.
SymbTablePkg_boolean_enum_type()
returns a boolean enum type
SymbTablePkg_boolean_set_type()
returns a boolean-set type.
SymbTablePkg_error_type()
returns an Error-type.
SymbTablePkg_init()
Initialises the class package.
SymbTablePkg_int_symbolic_enum_type()
returns a enum type containing integers AND symbolic constants
SymbTablePkg_integer_set_type()
returns a integer-set type.
SymbTablePkg_integer_symbolic_set_type()
returns a integer-symbolic-set type.
SymbTablePkg_integer_type()
returns an Integer type.
SymbTablePkg_no_type()
returns a no-type
SymbTablePkg_pure_int_enum_type()
returns a pure integer enum type
SymbTablePkg_pure_symbolic_enum_type()
returns a pure symbolic enum type.
SymbTablePkg_quit()
Shut down the package.
SymbTablePkg_real_type()
returns a Real type.
SymbTablePkg_statement_type()
returns a no-type
SymbTablePkg_symbolic_set_type()
returns a symbolic-set type.
SymbTablePkg_word_type()
returns a Word type (with a given width)
SymbTablePkg_wordarray_type()
Returns a WordArray type (given array width and value width)
SymbTable_create_layer()
Creates and adds a new layer
SymbTable_create()
Class constructor
SymbTable_destroy()
Class destructor
SymbTable_get_constants_num()
Returns the number of all declared constants
SymbTable_get_constants()
Returns the list of all declared constants
SymbTable_get_define_body()
Returns the body of the given DEFINE name
SymbTable_get_define_context()
Returns the context of the given DEFINE name
SymbTable_get_define_flatten_body()
Returns the flattenized body of the given DEFINE name
SymbTable_get_defines_num()
Returns the number of all DEFINEs
SymbTable_get_defines()
Returns the list of all DEFINEs
SymbTable_get_input_symbols()
Returns the list of all input variables and those DEFINEs whose body refer directly or indirectly to input variables
SymbTable_get_input_vars_num()
Returns the number of all declared input variables
SymbTable_get_input_vars()
Returns the list of all declared input variables
SymbTable_get_model_input_symbols()
Returns the list of input symbols that belong to the layer of the model symbols
SymbTable_get_model_state_input_symbols()
Returns the list of both state and input symbols that belong to the layer of the model symbols
SymbTable_get_model_state_symbols()
Returns the list of state symbols that belong to the layer of the model symbols
SymbTable_get_state_input_symbols()
Returns the list of those DEFINEs whose body refer directly or indirectly to both state and input variables
SymbTable_get_state_symbols()
Returns the list of all state variables and those DEFINEs whose body refer directly or indirectly to state variables
SymbTable_get_state_vars_num()
Returns the number of all declared state variables
SymbTable_get_state_vars()
Returns the list of all declared state variables
SymbTable_get_var_type()
Returns the type of a given variable
SymbTable_get_vars_num()
Returns the number of all declared variables
SymbTable_get_vars()
Returns the list of all declared variables
SymbTable_is_symbol_bool_var()
Returns true if the given symbol is a variable of enum type with the values 0 and 1 (boolean)
SymbTable_is_symbol_constant()
Returns true if the given symbol is a declared constant
SymbTable_is_symbol_declared()
Returns true if the given symbol is declared
SymbTable_is_symbol_define()
Returns true if the given symbol is a declared DEFINE
SymbTable_is_symbol_input_var()
Returns true if the given symbol is an input variable.
SymbTable_is_symbol_state_var()
Returns true if the given symbol is a state variable.
SymbTable_is_symbol_var()
Returns true if the given symbol is either a state or an input variable.
SymbTable_list_contains_input_var()
Returns true if var_list contains at least one input variable, false otherwise
SymbTable_list_contains_state_var()
Returns true if var_list contains at least one state variable, false otherwise
SymbTable_list_contains_undef_var()
Returns true if the given symbols list contains one or more undeclared variable names, false otherwise
SymbTable_remove_layer()
Removes and destroys a layer
SymbType_convert_right_to_left()
Returns the left type, if the right one can be implicitly converted to the left one. NULL - otherwise
SymbType_create_memory_sharing_type()
Private class SymbType constructor for memory sharing type instances
SymbType_create()
Class SymbType constructor
SymbType_destroy_memory_sharing_type()
Private Class SymbType destructor for memory sharing instances of types.
SymbType_destroy()
Class SymbType destructor
SymbType_generate_all_word_values()
Genereate and returns a list of all possible values of a particular Word type
SymbType_get_enum_type_values()
Returns the list of values of an enum type
SymbType_get_greater()
Returns one of the given types, if the other one can be implicitly converted to the former one. Otherwise - Nil.
SymbType_get_minimal_common()
Returns the minimal type to which the both given types can be converted, or Nil if there is none.
SymbType_get_tag()
Returns the tag (the kind) of the type
SymbType_get_word_line_number()
Returns the line number where the type was declared.
SymbType_get_word_width()
Returns the width of a Word type
SymbType_get_wordarray_awidth()
Returns the width of the address in a WordArray type
SymbType_get_wordarray_vwidth()
Returns the width of the value in a WordArray type
SymbType_is_back_comp()
returns true if the given type is "backward compatible", i.e. a enum or integer type.
SymbType_is_boolean_enum()
Returns true, if the type is a enum-type and its values are from boolean range. Otherwise - returns false.
SymbType_is_error()
Returns true, if the type is a error-type, and false otherwise.
SymbType_is_int_symbolic_enum()
Returns true, if the type is a enum-type and its value are symbolic AND integer constants. Otherwise - returns false.
SymbType_is_pure_int_enum()
Returns true, if the type is a enum-type and its value are integers only. Otherwise - returns false.
SymbType_is_pure_symbolic_enum()
Returns true, if the type is a enum-type and its value are symbolic constants only. Otherwise - returns false.
SymbType_is_set()
Returns true, if the type is one of the set-types, i.e. boolean-set, integer-set, symbolic-set, integer-symbolic-set, and false otherwise.
SymbType_is_statement()
Returns true, if the type is a statement-type, and false otherwise.
SymbType_is_word_1()
Returns true, if the type is a Word type and the width of the word is 1. Otherwise - returns false.
SymbType_make_from_set_type()
This function is opposite to SymbType_make_set_type, i.e. if the given type is one of the set-types, then the type without "set" suffix is returned. Otherwise the time is returned without change.
SymbType_make_set_type()
Returns a minimal set-type which the given type can be implicitly converted to, or NULL if this is impossible.
SymbType_print()
Prints the type structure to the output stream.
symb_cache_define_to_symbols_lists()
Used to update symbols lists when a DEFINE is declared. The given DEFINE will be added to one of state, input or state-input symbols lists.
symb_cache_deinit()
Private deinitializer
symb_cache_init()
Private initializer
symb_cache_lookup_symbol()
Returns the definition of the given symbol
symb_cache_new_symbol()
Insert a new value in the symbol hash
symb_cache_remove_symbol()
Removes any reference of the given symbol from the cache, and from the flattener internal hashes as well
symb_cache_resolve_pending_defines()
If there are pending DEFINEs that wait for an assignment within the lists of state, input and state-input symbols list, they are resolved and assigned.
symb_layer_deinit()
Private method called by the destructor
symb_layer_init()
Private method called by the constructor
symb_table_deinit()
Private deinitializer
symb_table_filter_model_symbols()
Given a list of symbols, returns a new list that contains only those symbols that have been declared within the model layer
symb_table_init()
Private initializer
symb_table_layer_exists()
Returns true if the given name corresponds to an already registered layer.

Last updated on 2006/07/31 19h:13