Uses of Class
edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo

Packages that use SMVAbstractElementInfo
edu.wis.jtlv.env.core.smv TBD. 
edu.wis.jtlv.env.core.smv.schema TBD. 
 

Uses of SMVAbstractElementInfo in edu.wis.jtlv.env.core.smv
 

Methods in edu.wis.jtlv.env.core.smv that return SMVAbstractElementInfo
 SMVAbstractElementInfo StructuralInit.add_module(java.lang.String a_name, java.lang.String[] args, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.add_module(java.util.Vector<java.lang.String> name_plus_args, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo SMVVarWalker.itype()
           
 SMVAbstractElementInfo StructuralInit.mk_array_var(java.lang.String var_name, SMVVarInfo proto, java.lang.String size, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_boolean_var(java.lang.String var_name, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_define_var(java.lang.String var_name, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_process_var(java.lang.String var_name, java.lang.String proc_module_name, boolean is_sync, java.util.Vector<java.lang.String> inst_vec, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_range_array_var(java.lang.String var_name, SMVAbstractElementInfo proto, java.lang.String from, java.lang.String to, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_range_var(java.lang.String var_name, java.lang.String from, java.lang.String to, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_values_var(java.lang.String var_name, java.util.Vector<java.lang.String> type_values, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_word_var(java.lang.String var_name, java.lang.String base, java.lang.String width, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo SMVVarWalker.module_type(boolean is_sync)
           
 SMVAbstractElementInfo SMVVarWalker.type()
           
 

Methods in edu.wis.jtlv.env.core.smv with parameters of type SMVAbstractElementInfo
 void StructuralInit.add_element(java.lang.String module_name, SMVAbstractElementInfo var, org.antlr.runtime.IntStream input)
           
 SMVAbstractElementInfo StructuralInit.mk_range_array_var(java.lang.String var_name, SMVAbstractElementInfo proto, java.lang.String from, java.lang.String to, org.antlr.runtime.IntStream input)
           
 

Uses of SMVAbstractElementInfo in edu.wis.jtlv.env.core.smv.schema
 

Subclasses of SMVAbstractElementInfo in edu.wis.jtlv.env.core.smv.schema
 class SMVArrayVarInfo
           
 class SMVBooleanVarInfo
           
 class SMVContainerElementInfo
           
 class SMVDefineVarInfo
          As the first implementation, define will add a variable just as boolean, and the initial and transition relations will guaranty its correctness.
 class SMVMainProcVarInfo
           
 class SMVModuleInfo
           
 class SMVProcVarInfo
           
 class SMVRangeVarInfo
           
 class SMVValueVarInfo
           
 class SMVVarInfo
           
 class SMVWordVarInfo
           
 

Fields in edu.wis.jtlv.env.core.smv.schema declared as SMVAbstractElementInfo
 SMVAbstractElementInfo[] SMVModuleInfo.arg_elememts
           
 SMVAbstractElementInfo SMVArrayVarInfo.proto
           
 SMVAbstractElementInfo[] SMVArrayVarInfo.real_list
           
 

Methods in edu.wis.jtlv.env.core.smv.schema that return SMVAbstractElementInfo
 SMVAbstractElementInfo SMVWordVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVValueVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVRangeVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVProcVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVModuleInfo.clone_element()
           
 SMVAbstractElementInfo SMVMainProcVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVDefineVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVBooleanVarInfo.clone_element()
           
 SMVAbstractElementInfo SMVArrayVarInfo.clone_element()
           
abstract  SMVAbstractElementInfo SMVAbstractElementInfo.clone_element()
           
 SMVAbstractElementInfo[] SMVModuleInfo.get_arg_elements()
           
 SMVAbstractElementInfo SMVModuleInfo.get_element_named(java.lang.String name)
           
 

Methods in edu.wis.jtlv.env.core.smv.schema with parameters of type SMVAbstractElementInfo
 void SMVModuleInfo.add_element(SMVAbstractElementInfo elem, SMVParsingInfo an_info)
           
 

Constructors in edu.wis.jtlv.env.core.smv.schema with parameters of type SMVAbstractElementInfo
SMVArrayVarInfo(java.lang.String a_name, SMVParsingInfo an_info, SMVAbstractElementInfo a_proto, int a_size)
           
SMVArrayVarInfo(java.lang.String a_name, SMVParsingInfo an_info, SMVAbstractElementInfo a_proto, int a_from, int a_to)