edu.wis.jtlv.env.core.smv.schema
Class SMVArrayVarInfo
java.lang.Object
edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
edu.wis.jtlv.env.core.smv.schema.SMVContainerElementInfo
edu.wis.jtlv.env.core.smv.schema.SMVArrayVarInfo
- All Implemented Interfaces:
- java.lang.Cloneable
public class SMVArrayVarInfo
- extends SMVContainerElementInfo
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
from
public int from
to
public int to
proto
public SMVAbstractElementInfo proto
real_list
public SMVAbstractElementInfo[] real_list
SMVArrayVarInfo
public SMVArrayVarInfo(java.lang.String a_name,
SMVParsingInfo an_info,
SMVAbstractElementInfo a_proto,
int a_size)
throws SMVParseException
- Throws:
SMVParseException
SMVArrayVarInfo
public SMVArrayVarInfo(java.lang.String a_name,
SMVParsingInfo an_info,
SMVAbstractElementInfo a_proto,
int a_from,
int a_to)
throws SMVParseException
- Throws:
SMVParseException
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 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_variables
public void mk_variables(SMVModule instance_holder)
throws SMVParseException
- Specified by:
mk_variables
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