edu.wis.jtlv.env.core.smv.schema
Class SMVModuleInfo
java.lang.Object
edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
edu.wis.jtlv.env.core.smv.schema.SMVContainerElementInfo
edu.wis.jtlv.env.core.smv.schema.SMVModuleInfo
- All Implemented Interfaces:
- java.lang.Cloneable
public class SMVModuleInfo
- extends SMVContainerElementInfo
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
arg_list
public java.lang.String[] arg_list
arg_elememts
public SMVAbstractElementInfo[] arg_elememts
SMVModuleInfo
public SMVModuleInfo(java.lang.String a_module_name,
SMVParsingInfo an_info,
java.lang.String[] an_arg_list)
throws SMVParseException
- Throws:
SMVParseException
add_element
public void add_element(SMVAbstractElementInfo elem,
SMVParsingInfo an_info)
throws SMVParseException
- Throws:
SMVParseException
get_arg_elements
public SMVAbstractElementInfo[] get_arg_elements()
get_element_named
public SMVAbstractElementInfo get_element_named(java.lang.String name)
clone_element
public SMVAbstractElementInfo clone_element()
throws SMVParseException
- Specified by:
clone_element
in class SMVAbstractElementInfo
- Throws:
SMVParseException
typeString
public java.lang.String typeString()
- Specified by:
typeString
in class SMVAbstractElementInfo
mk_fix_names
public void mk_fix_names()
throws SMVParseException
- Specified by:
mk_fix_names
in class SMVAbstractElementInfo
- Throws:
SMVParseException
mk_modules_skel
public void mk_modules_skel(SMVModule self)
throws SMVParseException
- Specified by:
mk_modules_skel
in class SMVAbstractElementInfo
- Throws:
SMVParseException
mk_defines
public void mk_defines(SMVModule self)
throws SMVParseException
- Specified by:
mk_defines
in class SMVAbstractElementInfo
- Throws:
SMVParseException
mk_variables
public void mk_variables(SMVModule self)
throws SMVParseException
- Specified by:
mk_variables
in class SMVAbstractElementInfo
- Throws:
SMVParseException
mk_module_args
public void mk_module_args(SMVModule self)
throws SMVParseException
- Specified by:
mk_module_args
in class SMVAbstractElementInfo
- Throws:
SMVParseException