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

Packages that use SMVModuleInfo
edu.wis.jtlv.env.core.smv TBD. 
edu.wis.jtlv.env.core.smv.schema TBD. 
edu.wis.jtlv.env.module All User interface to FDS and SMV modules. 
 

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

Methods in edu.wis.jtlv.env.core.smv that return SMVModuleInfo
 SMVModuleInfo StructuralInit.get_module(java.lang.String module_name, org.antlr.runtime.IntStream input)
           
 

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

Fields in edu.wis.jtlv.env.core.smv.schema declared as SMVModuleInfo
 SMVModuleInfo SMVProcVarInfo.proc_desc
           
 SMVModuleInfo SMVMainProcVarInfo.proc_desc
           
 

Methods in edu.wis.jtlv.env.core.smv.schema that return SMVModuleInfo
 SMVModuleInfo SMVAbstractElementInfo.get_holder()
           
 

Methods in edu.wis.jtlv.env.core.smv.schema with parameters of type SMVModuleInfo
 void SMVAbstractElementInfo.set_holder(SMVModuleInfo an_holder)
           
 

Constructors in edu.wis.jtlv.env.core.smv.schema with parameters of type SMVModuleInfo
SMVMainProcVarInfo(SMVModuleInfo proc_desc)
           
SMVProcVarInfo(java.lang.String a_name, SMVParsingInfo an_info, SMVModuleInfo proc_desc, boolean is_sync, java.lang.String[] a_param_list)
           
 

Uses of SMVModuleInfo in edu.wis.jtlv.env.module
 

Methods in edu.wis.jtlv.env.module that return SMVModuleInfo
 SMVModuleInfo SMVModule.___getModuleInfo()
          Deprecated. INTERNAL PROCEDURE - will be encapsulated and removed from the external API in the following few releases.
 

Constructors in edu.wis.jtlv.env.module with parameters of type SMVModuleInfo
SMVModule(SMVModuleInfo a_module_info, java.lang.String player_name)
           An object representing SMV modules.
SMVModule(SMVModuleInfo a_module_info, java.lang.String player_name, java.lang.String[] an_args, java.lang.String[] a_params)
           An object representing SMV modules.