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

java.lang.Object
  edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
      edu.wis.jtlv.env.core.smv.schema.SMVContainerElementInfo

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

SMVArrayVarInfo, SMVMainProcVarInfo, SMVModuleInfo, SMVProcVarInfo, SMVWordVarInfo

public abstract class SMVContainerElementInfo
extends SMVAbstractElementInfo

Field Summary

Fields inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo

name

Constructor Summary

SMVContainerElementInfo(java.lang.String a_name, SMVParsingInfo a_parse_info)

Method Summary

Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo

clone_element, get_holder, mk_defines, mk_fix_names, mk_module_args, mk_modules_skel, mk_variables, set_holder, toString, typeString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SMVContainerElementInfo

public SMVContainerElementInfo(java.lang.String a_name,
                               SMVParsingInfo a_parse_info)
                        throws SMVParseException

Throws:

SMVParseException