org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgVariable

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
      org.jmlspecs.jml4.esc.gc.lang.expr.CfgAssignable
          org.jmlspecs.jml4.esc.gc.lang.expr.CfgVariable

public class CfgVariable
extends CfgAssignable

Field Summary

boolean	isStaticField
java.lang.String	name
int	pos

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression

sourceEnd, sourceStart, type

Constructor Summary

CfgVariable(java.lang.String name, int pos, TypeBinding type, int incarnation, int sourceStart, int sourceEnd, boolean isStaticField)

Method Summary

CfgExpression	accept(CfgExpressionVisitor visitor)
VC	accept(WlpVisitor visitor)
java.lang.String	getName()
boolean	isVariable()
java.lang.String	toString()
CfgAssignable	withIncarnation(int newIncarnation)

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.expr.CfgAssignable

incarnation, isField, setIncarnation

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public final java.lang.String name

pos

public final int pos

isStaticField

public final boolean isStaticField

Constructor Detail

CfgVariable

public CfgVariable(java.lang.String name,
                   int pos,
                   TypeBinding type,
                   int incarnation,
                   int sourceStart,
                   int sourceEnd,
                   boolean isStaticField)

Method Detail

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression

withIncarnation

public CfgAssignable withIncarnation(int newIncarnation)

Specified by:

withIncarnation in class CfgAssignable

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression

getName

public java.lang.String getName()

Specified by:

getName in class CfgAssignable

isVariable

public boolean isVariable()

Overrides:

isVariable in class CfgAssignable