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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
      extended by edu.wis.jtlv.env.core.smv.schema.SMVVarInfo
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
SMVBooleanVarInfo, SMVRangeVarInfo, SMVValueVarInfo

public abstract class SMVVarInfo
extends SMVAbstractElementInfo


Field Summary
 
Fields inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
name
 
Constructor Summary
SMVVarInfo(java.lang.String a_name, SMVParsingInfo a_parse_info)
           
 
Method Summary
 void mk_defines(SMVModule instance_holder)
           
 void mk_fix_names()
           
 void mk_module_args(SMVModule instance_holder)
           
 void mk_modules_skel(SMVModule instance_holder)
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
clone_element, get_holder, mk_variables, set_holder, toString, typeString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SMVVarInfo

public SMVVarInfo(java.lang.String a_name,
                  SMVParsingInfo a_parse_info)
           throws SMVParseException
Throws:
SMVParseException
Method Detail

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 instance_holder)
                     throws SMVParseException
Specified by:
mk_modules_skel in class SMVAbstractElementInfo
Throws:
SMVParseException

mk_defines

public void mk_defines(SMVModule instance_holder)
                throws SMVParseException
Specified by:
mk_defines in class SMVAbstractElementInfo
Throws:
SMVParseException

mk_module_args

public void mk_module_args(SMVModule instance_holder)
                    throws SMVParseException
Specified by:
mk_module_args in class SMVAbstractElementInfo
Throws:
SMVParseException