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

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.CfgArrayReference

public class CfgArrayReference
extends CfgAssignable

Field Summary

CfgExpression	position
CfgExpression	receiver

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

sourceEnd, sourceStart, type

Constructor Summary

CfgArrayReference(CfgExpression receiver, CfgExpression position, int incarnation, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

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

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

incarnation, isField, isVariable

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final CfgExpression receiver

position

public final CfgExpression position

Constructor Detail

CfgArrayReference

public CfgArrayReference(CfgExpression receiver,
                         CfgExpression position,
                         int incarnation,
                         TypeBinding type,
                         int sourceStart,
                         int sourceEnd)

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

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression

getName

public java.lang.String getName()

Specified by:

getName in class CfgAssignable

withIncarnation

public CfgAssignable withIncarnation(int newIncarnation)

Specified by:

withIncarnation in class CfgAssignable

setIncarnation

public void setIncarnation(int newIncarnation)

Overrides:

setIncarnation in class CfgAssignable