Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
edu.wis.jtlv.env.module.ModuleParamHolder

Packages that use ModuleParamHolder
edu.wis.jtlv.env.module Package dedicated to the user's modules interface. 
 

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

Methods in edu.wis.jtlv.env.module that return ModuleParamHolder
 ModuleParamHolder[] SMVModule.getAllParams()
           Getter for all declared parameters in this module signature.
 ModuleParamHolder SMVModule.getParam(int at_index)
           Getter for the declared parameter and the given index, in this module signature.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES