org.cesta.parsers.java
Class ShadowVariablesParser.VariableGroup

java.lang.Object
  org.cesta.parsers.java.ShadowVariablesParser.VariableGroup

Enclosing class:

ShadowVariablesParser

public class ShadowVariablesParser.VariableGroup
extends java.lang.Object

Model for different types of variables

Field Summary

boolean	isGlobal
boolean	isStatic
int	maxId
int	size
java.lang.String	type

Constructor Summary

ShadowVariablesParser.VariableGroup(java.lang.String type, boolean isGlobal, boolean isStatic)

Method Summary

boolean	equals(java.lang.Object o)
java.lang.String	getIdent() Different groups should have different idents
java.lang.String	getNegationTmpl() Returns name of template, which should be used to generate negation of the value
java.lang.String	getResistantArrayInitTmpl() Returns name of template, which should be used to initialize resistant array
int	getSize() Returns size of shadow array
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

type

public java.lang.String type

isStatic

public boolean isStatic

isGlobal

public boolean isGlobal

maxId

public int maxId

size

public int size

Constructor Detail

ShadowVariablesParser.VariableGroup

public ShadowVariablesParser.VariableGroup(java.lang.String type,
                                           boolean isGlobal,
                                           boolean isStatic)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getIdent

public java.lang.String getIdent()

Different groups should have different idents

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getNegationTmpl

public java.lang.String getNegationTmpl()

Returns name of template, which should be used to generate negation of the value

getResistantArrayInitTmpl

public java.lang.String getResistantArrayInitTmpl()

Returns name of template, which should be used to initialize resistant array

getSize

public int getSize()

Returns size of shadow array