-
NFunction.c
- Implementation of class 'NFunction'
-
ResolveSymbol.c
- Implementation of class 'ResolveSymbol'
-
symb_table.c
- Implementation of the compile.symb_table package
-
SymbCache.c
- The SymbCache class implementation
-
SymbLayer.c
- Implementation of the system-wide SymbLayer
-
SymbTable.c
- Implementation of the system-wide SymbolTable
-
SymbType.c
- Implementation of functions dealing with the type of
variables in a symbol table.
NFunction.c
Implementation of class 'NFunction'
By: Alessandro Mariotti
See AlsoNFunction.h
ResolveSymbol.c
Implementation of class 'ResolveSymbol'
By: Marco Roveri Alessandro Mariotti
Basic routines for resolving a symbol
See AlsoResolveSymbol.h
-
resolve_symbol_resolve_name()
- Takes an expression representing an identifier
and recursively normalizes it.
-
resolve_symbol_resolve_name_recur()
- Performs the name "normalization", i.e.
applies find_node and merges context with the identifier.
symb_table.c
Implementation of the compile.symb_table package
By: Andrei Tchaltsev
This package contains just a few public functions.
Most functionality lays in the classes this package contains.
So these classes for more info.
-
SymbTablePkg_init()
- Initialises the class package.
-
SymbTablePkg_quit()
- Shut down the package.
-
SymbTablePkg_no_type()
- returns a no-type
-
SymbTablePkg_statement_type()
- returns a no-type
-
SymbTablePkg_boolean_type()
- returns a boolean enum type
-
SymbTablePkg_pure_symbolic_enum_type()
- returns a pure symbolic enum type.
-
SymbTablePkg_int_symbolic_enum_type()
- returns a enum type containing integers AND symbolic
constants
-
SymbTablePkg_pure_int_enum_type()
- returns a pure integer enum type
-
SymbTablePkg_integer_type()
- returns an Integer type.
-
SymbTablePkg_real_type()
- returns a Real type.
-
SymbTablePkg_unsigned_word_type()
- returns an unsigned Word type (with a given width)
-
SymbTablePkg_signed_word_type()
- returns a signed Word type (with a given width)
-
SymbTablePkg_wordarray_type()
- Returns a WordArray type (given array width and value width)
-
SymbTablePkg_array_type()
- returns an array type.
-
SymbTablePkg_string_type()
- returns a String type.
-
SymbTablePkg_boolean_set_type()
- returns a boolean-set type.
-
SymbTablePkg_integer_set_type()
- returns a integer-set type.
-
SymbTablePkg_symbolic_set_type()
- returns a symbolic-set type.
-
SymbTablePkg_integer_symbolic_set_type()
- returns a integer-symbolic-set type.
-
SymbTablePkg_error_type()
- returns an Error-type.
-
symb_table_types_hash_cleaner()
- The function is used to free the memory from
memory-sharing Word/WordArray/Array types stored in the hash table
symb_table_..._type_hash. Used in the SymbTablePkg_quit only
SymbCache.c
The SymbCache class implementation
By: Roberto Cavada, Alessandro Mariotti
See AlsoSymbCache.h
-
SymbCache_create()
- Class constructor
-
SymbCache_destroy()
- Class destructor
-
SymbCache_new_input_var()
- Declares a new input variable.
-
SymbCache_new_state_var()
- Declares a new state variable.
-
SymbCache_new_frozen_var()
- Declares a new frozen variable.
-
SymbCache_redeclare_state_as_frozen_var()
- Redeclare a state variable as a frozen variable
-
SymbCache_remove_var()
- Removes a variable from the cache of symbols, and from
the flattener module
-
SymbCache_new_define()
- Declares a new DEFINE.
-
SymbCache_new_parameter()
- Declares a new module parameter.
-
SymbCache_new_array_define()
- Declares a new define array.
-
SymbCache_new_variable_array()
- Declares a new ARRAY var.
-
SymbCache_remove_define()
- Removes a DEFINE from the cache of symbols, and from
the flattener define hash
-
SymbCache_remove_function()
- Removes an NFunction from the cache of symbols
-
SymbCache_remove_parameter()
- Removes a parameter from the cache of symbols
-
SymbCache_new_constant()
- Declares a new constant.
-
SymbCache_new_function()
- Declares a new NFunction.
-
SymbCache_get_function()
- Returns the NFunction instance of the given
function name
-
SymbCache_get_function_context()
- Returns the context of the given NFunction
-
SymbCache_remove_constant()
- Removes a constant from the cache of symbols, and from
the flattener module
-
SymbCache_remove_symbols()
- Removes all the symbols in the array
-
SymbCache_get_var_type()
- Returns the type of a given variable
-
SymbCache_get_define_body()
- Returns the body of the given DEFINE name
-
SymbCache_get_actual_parameter()
- Returns the actual param of the given formal parameter
-
SymbCache_get_array_define_body()
- Returns the body of the given define array name
-
SymbCache_get_variable_array_type()
- Returns the type of array variable, i.e. of variable_array
-
SymbCache_get_define_flatten_body()
- Returns the flattenized body of the given DEFINE name
-
SymbCache_get_flatten_actual_parameter()
- Returns the flattenized actual parameter of the given
formal parameter
-
SymbCache_get_define_context()
- Returns the context of the given DEFINE name
-
SymbCache_get_actual_parameter_context()
- Returns the context of the actual parameter associated
with the given formal parameter
-
SymbCache_get_array_define_context()
- Returns the context of the given define array name
-
SymbCache_is_symbol_state_var()
- Returns true if the given symbol is a state variable.
-
SymbCache_is_symbol_frozen_var()
- Returns true if the variable is frozen
-
SymbCache_is_symbol_state_frozen_var()
- Returns true if the variable is a frozen or a state
variable
-
SymbCache_is_symbol_input_var()
- Returns true if the given symbol is an input
variable.
-
SymbCache_is_symbol_var()
- Returns true if the given symbol is either a state, a frozen or
an input variable.
-
SymbCache_is_symbol_declared()
- Returns true if the given symbol is declared
-
SymbCache_is_symbol_constant()
- Returns true if the given symbol is a declared
constant
-
SymbCache_is_symbol_define()
- Returns true if the given symbol is a declared
DEFINE
-
SymbCache_is_symbol_function()
- Returns true if the given symbol is a declared
NFunction
-
SymbCache_is_symbol_parameter()
- Returns true if the given symbol is a declared formal
parameter
-
SymbCache_is_symbol_array_define()
- Returns true if the given symbol is a declared
define array
-
SymbCache_is_symbol_variable_array()
- Returns true if the given symbol is a declared
array variable, i.e symbol type
-
SymbCache_list_contains_input_var()
- Returns true if var_list contains at least one input
variable
-
SymbCache_list_contains_state_frozen_var()
- Returns true if var_list contains at least one state
or frozen variable
-
SymbCache_list_contains_undef_var()
- Returns true if the given symbols list contains
one or more undeclared variable names
-
SymbCache_next_iter()
- Moves the iterator over the next symbol
-
SymbCache_iter_set_filter()
- Sets the filter for an interator over the
Symbol Cache symbols
-
SymbCache_gen_iter()
- Generates an interator over the Symbol Cache symbols
-
SymbCache_is_iter_end()
- Checks if the iterator is at it's end
-
SymbCache_iter_get_symbol()
- Get the symbol pointed by the iterator
-
SymbCache_get_symbol_type()
- Get the symbol type
-
SymbCache_get_constants_num()
- Returns the number of declared contants
-
SymbCache_get_state_vars_num()
- Returns the number of declared state variables.
-
SymbCache_get_frozen_vars_num()
- Returns the number of declared frozen variables.
-
SymbCache_get_input_vars_num()
- Returns the number of declared input variables
-
SymbCache_get_defines_num()
- Returns the number of DEFINEs.
-
SymbCache_get_functions_num()
- Returns the number of NFunctions.
-
SymbCache_get_parameters_num()
- Returns the number of parameters.
-
SymbCache_get_array_defines_num()
- Returns the number of define arrays.
-
SymbCache_get_variable_arrays_num()
- Returns the number of Symbol Types.
-
SymbCache_add_trigger()
- Adds a trigger to the symbol cache
-
SymbCache_remove_trigger()
- Removes a trigger from the symbol cache
-
symb_cache_init()
- Private initializer
-
sym_hash_free_vars()
- Private destructor used by class destroyer
-
symb_cache_deinit()
- Private deinitializer
-
symb_cache_free_triggers()
- Aux function for symb_cache_deinit
-
symb_cache_alloc_symb_info()
- Creates an instance of a SymbolInfo
-
symb_cache_free_symb_info()
- Frees the given SymbolInfo instance
-
symb_cache_new_symbol()
- A new symbols is added in the cache
-
symb_cache_check_and_shrink_symbols()
- Shrinks the symbols array if needed
-
symb_cache_remove_symbol()
- Removes a symbol from the cache
SymbLayer.c
Implementation of the system-wide SymbLayer
By: Roberto Cavada, Alessandro Mariotti
See AlsoSymbLayer.h
-
SymbLayer_create()
- Class SymbLayer constructor
-
SymbLayer_destroy()
- Class SymbLayer destructor
-
SymbLayer_destroy_raw()
- Class SymbLayer destructor
-
SymbLayer_set_name()
- Sets the layer name.
-
SymbLayer_get_name()
- Returns the name self had been registered with.
-
SymbLayer_get_insert_policy()
- Returns the policy that must be adopted to stack this
layer into a layers stack, within a SymbTable instance
-
SymbLayer_must_insert_before()
- Compares the insertion policies of self and other, and
returns true if self must be inserted *before* other
-
SymbLayer_committed_to_enc()
- Called every time an instance is committed within an
encoding.
-
SymbLayer_removed_from_enc()
- Called every time an instance is removed from an
encoding.
-
SymbLayer_can_declare_function()
- Call this method to know if a new NFunction can be
declared within this layer.
-
SymbLayer_can_declare_constant()
- Call this method to know if a new constant 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_can_declare_define()
- Call this method to know if a new DEFINE can be
declared within this layer.
-
SymbLayer_can_declare_parameter()
- Call this method to know if a new parameter can be
declared within this layer.
-
SymbLayer_can_declare_array_define()
- Call this method to know if a new define array can be
declared within this layer.
-
SymbLayer_can_declare_variable_array()
- Call this method to know if a new variable_array can be
declared within this layer.
-
SymbLayer_declare_function()
- Insert a new NFunction
-
SymbLayer_declare_constant()
- Insert a new constant
-
SymbLayer_declare_input_var()
- Insert a new input variable
-
SymbLayer_declare_state_var()
- Insert a new state variable
-
SymbLayer_declare_frozen_var()
- Insert a new frozen variable
-
SymbLayer_redeclare_state_as_frozen_var()
- Redeclare a state variable as a frozen variable
-
SymbLayer_declare_define()
- Insert a new DEFINE
-
SymbLayer_declare_parameter()
- Insert a new formal parameters
-
SymbLayer_declare_array_define()
- Insert a new array define array
-
SymbLayer_declare_variable_array()
- Insert a new symbol-type association, i.e. array var
-
SymbLayer_remove_var()
- Removes a variable previously delcared
-
SymbLayer_remove_define()
- Removes a previously declared DEFINE
-
SymbLayer_remove_function()
- Removes a previously declared NFunction
-
SymbLayer_get_symbols_num()
- Returns the number of declared symbols
-
SymbLayer_get_vars_num()
- Returns the number of declared variables
-
SymbLayer_get_constants_num()
- Returns the number of declared contants
-
SymbLayer_get_state_vars_num()
- Returns the number of declared state variables.
-
SymbLayer_get_bool_state_vars_num()
- Returns the number of declared boolean state variables
-
SymbLayer_get_frozen_vars_num()
- Returns the number of declared frozen variables.
-
SymbLayer_get_bool_frozen_vars_num()
- Returns the number of declared boolean frozen variables
-
SymbLayer_get_input_vars_num()
- Returns the number of declared input variables
-
SymbLayer_get_bool_input_vars_num()
- Returns the number of declared boolean input variables
-
SymbLayer_get_defines_num()
- Returns the number of DEFINEs.
-
SymbLayer_get_functions_num()
- Returns the number of NFunctions.
-
SymbLayer_get_parameters_num()
- Returns the number of parameters.
-
SymbLayer_get_array_defines_num()
- Returns the number of define arrays.
-
SymbLayer_get_variable_arrays_num()
- Returns the number of Symbol Types.
-
SymbLayer_is_variable_in_layer()
- Returns true if the variable is defined in the layer.
-
SymbLayer_is_symbol_in_layer()
- Returns true if the symbol is defined in the layer.
-
SymbLayer_iter_next()
- Moves the iterator over the next symbol
-
SymbLayer_gen_iter()
- Generates an interator over the Symbol Cache symbols
-
SymbLayer_iter_set_filter()
- Sets the filter for an interator over the
Symbol Layer symbols
-
SymbLayer_iter_is_end()
- Checks if the iterator is at it's end
-
SymbLayer_iter_get_symbol()
- Get the symbol pointed by the iterator
-
SymbLayer_iter_to_set()
- Generates a set starting from the given iterator.
-
SymbLayer_iter_to_list()
- Generates a list starting from the given iterator.
-
SymbLayer_iter_count()
- Counts the elements of the iterator.
-
SymbLayer_iter_filter_bool_vars()
- Boolean Variables filter
-
symb_layer_init()
- Private method called by the constructor
-
symb_layer_deinit()
- Private method called by the destructor
-
symb_layer_new_symbol()
- Adds the given symbol from the layer
-
symb_layer_remove_symbol()
- Removes the given symbol from the layer
-
symb_layer_check_and_shrink_symbols()
- Shrinks the symbols array if needed
SymbTable.c
Implementation of the system-wide SymbolTable
By: Roberto Cavada, Alessandro Mariotti
See AlsoSymbTable.h
-
SymbTable_create()
- Class constructor
-
SymbTable_destroy()
- Class destructor
-
SymbTable_get_type_checker()
- Returns the internally stored type checker
-
SymbTable_create_layer()
- Creates and adds a new layer
-
SymbTable_remove_layer()
- Removes and destroys a layer
-
SymbTable_get_layer()
- Given its name, returns a layer
-
SymbTable_rename_layer()
- Renames an existing layer
-
SymbTable_get_layers()
- Returns the list of owned layers.
-
SymbTable_set_default_layers_class_name()
- Returns the default layers class name that has been
previously set. The default layers class name is the class of
layers that is taken when the system needs a default set of
layers to work with. Typically the default class is the class of
model layers, that is used for example when dumping the
hierarchy by command write_bool_model.
-
SymbTable_get_default_layers_class_name()
- Returns the default layers class name that has been
previously set. The default layers class name is the class of
layers that is taken when the system needs a default set of
layers to work with. Typically the default class is the class of
model layers, that is used for example when dumping the
hierarchy by command write_bool_model.
-
SymbTable_create_layer_class()
- Declares a new class of layers
-
SymbTable_layer_class_exists()
- Checks if a class of layers exists
-
SymbTable_layer_add_to_class()
- Adds a given layer (that must exist into self already)
to a class of layers. Classes are used to group layers into
possibly overlapping sets. For example the class of layers
containing the set of symbols that belongs to the SMV model. If
class_name is NULL, the default class name will be taken (must
be set before)
-
SymbTable_layer_remove_from_class()
- Removes a given layer (that must exist into self already)
from a given class of layers. If class_name is NULL, the default class
is taken (must be set before)
-
SymbTable_get_class_layer_names()
- Returns an array of layer names that belong to the
given class name. If class_name is NULL, default class name will
be taken (must be set before).
-
SymbTable_is_layer_in_class()
- Returns true if given layer name belongs to the given class
-
SymbTable_get_class_of_layer()
- Returns the name of the class in which the given layer is
declared or NULL if there is no such a class.
-
SymbTable_get_vars_num()
- Returns the number of all declared variables
-
SymbTable_get_state_vars_num()
- Returns the number of all declared state variables
-
SymbTable_get_frozen_vars_num()
- Returns the number of all declared frozen variables
-
SymbTable_get_input_vars_num()
- Returns the number of all declared input variables
-
SymbTable_get_constants_num()
- Returns the number of all declared constants
-
SymbTable_get_defines_num()
- Returns the number of all declared defines
-
SymbTable_get_array_defines_num()
- Returns the number of all declared array define
-
SymbTable_get_parameters_num()
- Returns the number of all parameters
-
SymbTable_get_functions_num()
- Returns the number of all NFunctions
-
SymbTable_get_layers_sf_vars()
- Returns the list of state and frozen variables
that belong to the given layers
-
SymbTable_get_layers_sf_symbols()
- Returns the list of state and frozen symbols
that belong to the given layers
-
SymbTable_get_layers_i_symbols()
- Returns the list of input symbols that belong to the
given layers
-
SymbTable_get_layers_i_vars()
- Returns the list of input variables that belong to the
given layers
-
SymbTable_get_layers_sf_i_symbols()
- Returns the list of state and input symbols that
belong to the given layers, meaning those DEFINES whose body
contain both state (or frozen) and input variables. This methods
does _NOT_ return the state symbols plus the input symbols.
-
SymbTable_get_layers_sf_i_vars()
- Returns the list of variables that belong to the given layers
-
SymbTable_get_var_type()
- Returns the type of a given variable
-
SymbTable_get_define_body()
- Returns the body of the given DEFINE
-
SymbTable_get_actual_parameter()
- Returns the actual param of the given formal parameter
-
SymbTable_get_array_define_body()
- Returns the body of the given array define name
-
SymbTable_get_variable_array_type()
- Returns the body of the given array define name
-
SymbTable_get_function()
- Returns the NFunction with the given name
-
SymbTable_get_function_context()
- Returns the context of the NFunction with the given name
-
SymbTable_get_array_define_flatten_body()
- Returns the flattened body of the given array define name
-
SymbTable_get_define_flatten_body()
- Returns the flattenized body of the given
define
-
SymbTable_get_flatten_actual_parameter()
- Returns the flattenized actual parameter of the given
formal parameter
-
SymbTable_get_define_context()
- Returns the context of the given DEFINE name
-
SymbTable_get_actual_parameter_context()
- Returns the context of the actual parameter associated
with the given formal one
-
SymbTable_get_array_define_context()
- Returns the context of the given array define name
-
SymbTable_get_symbol_category()
- This function returns the category of
an identifier
-
SymbTable_is_symbol_state_var()
- Returns true if the given symbol is a state variable.
-
SymbTable_is_symbol_frozen_var()
- Returns true if the given symbol is a frozen variable.
-
SymbTable_is_symbol_state_frozen_var()
- Returns true if the given symbol is a frozen or a state variable.
-
SymbTable_is_symbol_input_var()
- Returns true if the given symbol is an input variable.
-
SymbTable_is_symbol_var()
- Returns true if the given symbol is either a state, frozen or
an input variable.
-
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_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_function()
- Returns true if the given symbol is a declared
NFunction
-
SymbTable_is_symbol_parameter()
- Returns true if the given symbol is a declared
parameter
-
SymbTable_is_symbol_array_define()
- Returns true if the given symbol is a declared
array define
-
SymbTable_is_symbol_variable_array()
- Returns true if the given symbol is a declared
variable array
-
SymbTable_is_symbol_constant()
- Returns true if the given symbol is a declared
constant
-
SymbTable_is_var_finite()
- Returns true if the given variable has a finite domain
-
SymbTable_list_contains_input_var()
- Returns true if var_list contains at least one input
variable, false otherwise
-
SymbTable_list_contains_state_frozen_var()
- Returns true if var_list contains at least one state
or frozen 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_variable_get_layer()
- Returns the layer a variable is defined in.
-
SymbTable_symbol_get_layer()
- Returns the layer a symbol is defined in.
-
SymbTable_define_get_layer()
- Returns the layer a DEFINE is defined in.
-
SymbTable_function_get_layer()
- Returns the layer a NFunction is defined in.
-
SymbTable_get_determinization_var_name()
- Returns a valid name for a new determinization variable
-
SymbTable_get_fresh_symbol_name()
- Given a tplate, returns a fresh symbol name. This
function NEVER returns the same symbol twice and
NEVER returns a declared name
-
SymbTable_get_simplification_hash()
- Returns a hash which can be used only in
Expr_simplify.
-
SymbTable_copy()
- Create a new SymbolTable which contains the same info
as the given one except the specified symbols in blacklist
-
SymbTable_resolve_symbol()
- Resolves the given symbol in the given context
-
SymbTable_gen_iter()
- Initializes the given iterator with the given mask.
-
SymbTable_iter_next()
- Moves the iterator to the next valid symbol
-
SymbTable_iter_is_end()
- Checks if the iterator is at it's end
-
SymbTable_iter_get_symbol()
- Gets the symbol pointed by the given iterator
-
SymbTable_iter_set_filter()
- Sets the filter to be used by the iterator
-
SymbTable_iter_filter_sf_i_symbols()
- Default iterator filter: State, Frozen and Input symbols
-
SymbTable_iter_filter_sf_symbols()
- Default iterator filter: State, Frozen symbols
-
SymbTable_iter_filter_i_symbols()
- Default iterator filter: Input symbols
-
SymbTable_foreach()
- Executes the given function over each symbol
that satisfies the given symbol mask
-
SymbTable_iter_to_set()
- Creates a set starting from the iterator
-
SymbTable_iter_to_list()
- Creates a set starting from the iterator
-
SymbTable_iter_count()
- Counts the elements of the iterator
-
SymbTable_add_trigger()
- Adds a trigger to the symbol table
-
SymbTable_remove_trigger()
- Removes a trigger from the Symbol Table
-
SymbTable_contains_infinite_precision_variables()
- Checks whether the Symbol Table contains infinite
precision variables
-
symb_table_init()
- Private initializer
-
class_layers_hash_free()
- Private destructor used by clas destroyer
-
symb_table_deinit()
- Private deinitializer
-
symb_table_layer_exists()
- Returns true if the given name corresponds to an already
registered layer.
-
symb_table_filter_layers_symbols()
- Given a list of symbols and a list of layers names,
returns a new list that contains only those symbols that have been
declared within the given layers
-
symb_table_layer_rename_in_class()
- Removes or rename a given layer inside the given
layers class. If class_name is NULL, then default class is taken
(must be set before)
-
symb_table_get_layers_from_class()
- Internal service used by methods that handle layer classes
-
symb_table_create_layers_class()
- Internal service used by methods that handle layer classes
-
symb_table_get_layers_class()
- Internal service used by methods that handle layer classes
-
symb_table_flatten_array_define()
- Internal service used by
SymbTable_get_array_define_flatten_body
-
symb_table_detect_expr_category()
- Returns the type of a define.
SymbType.c
Implementation of functions dealing with the type of
variables in a symbol table.
By: Andrei Tchaltsev
See AlsoSymbType.h
-
()
- The initial buffer size used when printing on a string
-
()
- Initialize the given SymbTypePrinterInfo to print on a
file
-
()
- Clear the given SymbTypePrinterInfo
-
SymbType_create()
- Class SymbType constructor
-
SymbType_create_array()
- Class SymbType constructor for array types only
-
SymbType_destroy()
- Class SymbType destructor
-
SymbType_copy()
- Class SymbType copy-constructor
-
SymbType_create_memory_sharing_type()
- Private class SymbType constructor
for memory sharing type instances
-
SymbType_create_memory_sharing_array_type()
- Private class SymbType constructor
for memory sharing array type instances
-
SymbType_destroy_memory_sharing_type()
- Private Class SymbType destructor
for memory sharing instances of types.
-
SymbType_get_tag()
- Returns the tag (the kind) of the type
-
SymbType_is_enum()
- Returns true if the type is a enum-type, or else returns false
-
SymbType_is_boolean()
- Returns true, if the type is boolean. Otherwise - returns false.
-
SymbType_is_integer()
- Returns true if the type is a integer-type, or else returns false
-
SymbType_is_real()
- Returns true if the type is a real-type, or else 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_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_word_1()
- Returns true, if the type is a Unsigned Word type and the width of
the word is 1. Otherwise - returns false.
-
SymbType_is_unsigned_word()
- Returns true, if the type is an unsigned Word type
-
SymbType_is_signed_word()
- Returns true, if the type is a signed Word type
-
SymbType_is_word()
- Returns true, if the type is a Word type (signed or unsigned)
-
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_string()
- Returns true, if the type is a String type
-
SymbType_is_error()
- Returns true, if the type is a error-type, and false otherwise.
-
SymbType_is_statement()
- Returns true, if the type is a statement-type,
and false otherwise.
-
SymbType_is_infinite_precision()
- Returns true, if the type is one of infinite-precision types
-
SymbType_is_array()
- Returns true if the type is an array-type, or else returns false
-
SymbType_is_wordarray()
- Returns true if the given type is a wordarray
-
SymbType_calculate_type_size()
- The function calculate how many bits is required to
store a value of a given type
-
SymbType_generate_all_word_values()
- Generates and returns a list of all possible values
of a particular Unsigned Word type
-
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_get_word_line_number()
- Returns the line number where the type was declared.
-
SymbType_get_enum_type_values()
- Returns the list of values of an enum type
-
SymbType_get_array_subtype()
- Get inner type of an array
-
SymbType_get_array_lower_bound()
- Get array lower bound
-
SymbType_get_array_upper_bound()
- Get array upper bound
-
SymbType_print()
- Prints the type structure to the output stream.
-
SymbType_sprint()
- Return a string representation of the given type.
-
SymbType_is_back_comp()
- returns true if the given type is "backward compatible",
i.e. a enum or integer 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_convert_right_to_left()
- Returns the left type, if the right
one can be implicitly converted to the left one. NULL - otherwise
-
SymbType_get_minimal_common()
- Returns the minimal type to which the both given types
can be converted, or Nil if there is none.
-
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_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 type is returned without change.
-
SymbType_make_memory_shared()
- This function takes a NOT memory shared type
and returns a memory shared one.
-
SymbType_is_memory_shared()
- True if and only if the given type is memory shared
-
SymbType_equals()
- True if and only if the given types are equal, the given
types can be memory-sharing or not.
-
node_equal()
- Equality function for node_ptr, used to compare bodies of
types in SymbType_equal.
-
str_print()
- Utility of SymbType_sprint and SymbType_print to print
in an fprintf-like fashion using information in the given
SymbTypePrinterInfo
-
symb_type_sprint_aux()
- Utility of SymbType_sprint and SymbType_print to
actually print the type
Last updated on 2012/11/18 14h:16