edu.wis.jtlv.env.core.smv.schema
Class SMVAbstractElementInfo
java.lang.Object
edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
- All Implemented Interfaces:
- java.lang.Cloneable
- Direct Known Subclasses:
- SMVContainerElementInfo, SMVDefineVarInfo, SMVVarInfo
public abstract class SMVAbstractElementInfo
- extends java.lang.Object
- implements java.lang.Cloneable
Field Summary |
java.lang.String |
name
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
name
public java.lang.String name
SMVAbstractElementInfo
public SMVAbstractElementInfo(java.lang.String a_name,
SMVParsingInfo a_parse_info)
throws SMVParseException
- Throws:
SMVParseException
set_holder
public void set_holder(SMVModuleInfo an_holder)
get_holder
public SMVModuleInfo get_holder()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
clone_element
public abstract SMVAbstractElementInfo clone_element()
throws SMVParseException
- Throws:
SMVParseException
typeString
public abstract java.lang.String typeString()
mk_fix_names
public abstract void mk_fix_names()
throws SMVParseException
- Throws:
SMVParseException
mk_modules_skel
public abstract void mk_modules_skel(SMVModule instance_holder)
throws SMVParseException
- Throws:
SMVParseException
mk_defines
public abstract void mk_defines(SMVModule instance_holder)
throws SMVParseException
- Throws:
SMVParseException
mk_variables
public abstract void mk_variables(SMVModule instance_holder)
throws SMVParseException
- Throws:
SMVParseException
mk_module_args
public abstract void mk_module_args(SMVModule instance_holder)
throws SMVParseException
- Throws:
SMVParseException