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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
      extended by edu.wis.jtlv.env.core.smv.schema.SMVContainerElementInfo
          extended by edu.wis.jtlv.env.core.smv.schema.SMVModuleInfo
All Implemented Interfaces:
java.lang.Cloneable

public class SMVModuleInfo
extends SMVContainerElementInfo


Field Summary
 SMVAbstractElementInfo[] arg_elememts
           
 java.lang.String[] arg_list
           
 
Fields inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
name
 
Constructor Summary
SMVModuleInfo(java.lang.String a_module_name, SMVParsingInfo an_info, java.lang.String[] an_arg_list)
           
 
Method Summary
 void add_element(SMVAbstractElementInfo elem, SMVParsingInfo an_info)
           
 SMVAbstractElementInfo clone_element()
           
 SMVAbstractElementInfo[] get_arg_elements()
           
 SMVAbstractElementInfo get_element_named(java.lang.String name)
           
 void mk_defines(SMVModule self)
           
 void mk_fix_names()
           
 void mk_module_args(SMVModule self)
           
 void mk_modules_skel(SMVModule self)
           
 void mk_variables(SMVModule self)
           
 java.lang.String typeString()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
get_holder, set_holder, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

arg_list

public java.lang.String[] arg_list

arg_elememts

public SMVAbstractElementInfo[] arg_elememts
Constructor Detail

SMVModuleInfo

public SMVModuleInfo(java.lang.String a_module_name,
                     SMVParsingInfo an_info,
                     java.lang.String[] an_arg_list)
              throws SMVParseException
Throws:
SMVParseException
Method Detail

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