org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

Direct Known Subclasses:

SimpleArrayAllocationExpression, SimpleAssignable, SimpleAssignment, SimpleBinaryExpression, SimpleBooleanConstant, SimpleConditionalExpression, SimpleIntegerConstant, SimpleMessageSend, SimpleOldExpression, SimplePostfixExpression, SimpleQuantifiedExpression, SimpleThisReference, SimpleUnaryExpression

public abstract class SimpleExpression
extends java.lang.Object

Field Summary

int	sourceEnd
int	sourceStart
TypeBinding	type

Constructor Summary

SimpleExpression(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

abstract CfgExpression	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
abstract SimpleExpression	accept(SimpleExprVisitor visitor)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

type

public final TypeBinding type

sourceStart

public final int sourceStart

sourceEnd

public final int sourceEnd

Constructor Detail

SimpleExpression

public SimpleExpression(TypeBinding type,
                        int sourceStart,
                        int sourceEnd)

Method Detail

accept

public abstract CfgExpression accept(PassifyVisitor visitor,
                                     IncarnationMap incarnationMap)

accept

public abstract SimpleExpression accept(SimpleExprVisitor visitor)

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object