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

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

Direct Known Subclasses:

CfgArrayReference, CfgFieldReference, CfgVariable

public abstract class CfgAssignable
extends CfgExpression

Field Summary

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

sourceEnd, sourceStart, type

Constructor Summary

CfgAssignable(int incarnation, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

abstract java.lang.String	getName()
int	incarnation()
boolean	isField()
boolean	isVariable()
void	setIncarnation(int newIncarnation)
abstract CfgAssignable	withIncarnation(int newIncarnation)

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

accept, accept, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CfgAssignable

public CfgAssignable(int incarnation,
                     TypeBinding type,
                     int sourceStart,
                     int sourceEnd)

Method Detail

getName

public abstract java.lang.String getName()

withIncarnation

public abstract CfgAssignable withIncarnation(int newIncarnation)

isField

public boolean isField()

isVariable

public boolean isVariable()

setIncarnation

public void setIncarnation(int newIncarnation)

incarnation

public int incarnation()