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

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

public class SugaredSequence
extends SugaredStatement

Field Summary

SugaredStatement

stmt1

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredStatement

sourceStart

Constructor Summary

SugaredSequence(SugaredStatement stmt1, SugaredStatement stmt2)

Method Summary

SimpleStatement	accept(DesugaringVisitor visitor)
SugaredStatement	accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	accept(SimplifyingVisitor visitor)
boolean	endsInGoto()
static SugaredStatement	fold(SugaredStatement[] block)
SugaredGoto	getFinalGotos()
SugaredStatement	stmt2()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

stmt1

public final SugaredStatement stmt1

Constructor Detail

SugaredSequence

public SugaredSequence(SugaredStatement stmt1,
                       SugaredStatement stmt2)

Method Detail

stmt2

public SugaredStatement stmt2()

accept

public SimpleStatement accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredStatement

accept

public SugaredStatement accept(SimplifyingVisitor visitor)

Specified by:

accept in class SugaredStatement

accept

public SugaredStatement accept(DesugarLoopVisitor visitor,
                               SugaredStatement rest)

Specified by:

accept in class SugaredStatement

toString

public java.lang.String toString()

Specified by:

toString in class SugaredStatement

fold

public static SugaredStatement fold(SugaredStatement[] block)

endsInGoto

public boolean endsInGoto()

getFinalGotos

public SugaredGoto getFinalGotos()