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

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
      org.jmlspecs.jml4.esc.gc.lang.expr.CfgFieldStore

public class CfgFieldStore
extends CfgExpression

Field Summary

CfgFieldReference	field
int	newIncarnation
int	oldIncarnation
CfgExpression	value

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

sourceEnd, sourceStart, type

Constructor Summary

CfgFieldStore(CfgFieldReference field, int oldIncarnation, int newIncarnation, CfgExpression value)

Method Summary

CfgExpression	accept(CfgExpressionVisitor visitor)
VC	accept(WlpVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

field

public final CfgFieldReference field

oldIncarnation

public final int oldIncarnation

newIncarnation

public final int newIncarnation

value

public final CfgExpression value

Constructor Detail

CfgFieldStore

public CfgFieldStore(CfgFieldReference field,
                     int oldIncarnation,
                     int newIncarnation,
                     CfgExpression value)

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