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

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

public class SMVRangeVarInfo
extends SMVVarInfo


Field Summary
 int from
           
 int to
           
 
Fields inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
name
 
Constructor Summary
SMVRangeVarInfo(java.lang.String a_name, SMVParsingInfo an_info, int from, int to)
           
 
Method Summary
 SMVAbstractElementInfo clone_element()
           
 void mk_variables(SMVModule instance_holder)
           
 java.lang.String typeString()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVVarInfo
mk_defines, mk_fix_names, mk_module_args, mk_modules_skel
 
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

from

public int from

to

public int to
Constructor Detail

SMVRangeVarInfo

public SMVRangeVarInfo(java.lang.String a_name,
                       SMVParsingInfo an_info,
                       int from,
                       int to)
                throws SMVParseException
Throws:
SMVParseException
Method Detail

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_variables

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