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

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

public class SugaredBlock
extends java.lang.Object

Field Summary

java.lang.String	blockId
static SugaredBlock[]	EMPTY
java.lang.String[]	gotos
SugaredStatement	stmt

Constructor Summary

SugaredBlock(java.lang.String blockId, SugaredStatement stmt)

SugaredBlock(java.lang.String blockId, SugaredStatement stmt, java.lang.String[] gotos)

Method Summary

SimpleBlock	accept(DesugaringVisitor visitor)
SugaredBlock[]	accept(DesugarLoopVisitor visitor)
SugaredBlock[]	accept(SimplifyingVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final SugaredBlock[] EMPTY

blockId

public final java.lang.String blockId

stmt

public final SugaredStatement stmt

gotos

public final java.lang.String[] gotos

Constructor Detail

SugaredBlock

public SugaredBlock(java.lang.String blockId,
                    SugaredStatement stmt)

SugaredBlock

public SugaredBlock(java.lang.String blockId,
                    SugaredStatement stmt,
                    java.lang.String[] gotos)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public SimpleBlock accept(DesugaringVisitor visitor)

accept

public SugaredBlock[] accept(SimplifyingVisitor visitor)

accept

public SugaredBlock[] accept(DesugarLoopVisitor visitor)