DVE Symbol table

Symbol table is an object implemented by class dve_symbol_table_t. Therefore see dve_symbol_table_t for detials.

Symbol table contains all declarations of symbols (see dve_symbol_t and DVE Symbols). Symbol is a channel, process, variable or process state.

Symbol table is contained in a DVE system (dve_system_t) and it is created at the same time as system.


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University