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.