|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |