org.jmlspecs.jml4.esc.gc.lang.sugared
Class SugaredStatement

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredStatement

Direct Known Subclasses:

SugaredAssert, SugaredAssume, SugaredBreakStatement, SugaredContinueStatement, SugaredExprStatement, SugaredGoto, SugaredHavoc, SugaredIfStatement, SugaredPostcondition, SugaredPrecondition, SugaredReturnStatement, SugaredSequence, SugaredVarDecl, SugaredWhileStatement

public abstract class SugaredStatement
extends java.lang.Object

Field Summary

int	sourceStart

Constructor Summary

SugaredStatement(int sourceStart)

Method Summary

abstract SimpleStatement	accept(DesugaringVisitor visitor)
abstract SugaredStatement	accept(DesugarLoopVisitor visitor, SugaredStatement rest)
abstract SugaredStatement	accept(SimplifyingVisitor visitor)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

sourceStart

public final int sourceStart

Constructor Detail

SugaredStatement

public SugaredStatement(int sourceStart)

Method Detail

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public abstract SimpleStatement accept(DesugaringVisitor visitor)

accept

public abstract SugaredStatement accept(SimplifyingVisitor visitor)

accept

public abstract SugaredStatement accept(DesugarLoopVisitor visitor,
                                        SugaredStatement rest)