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

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

public class SugaredProgram
extends java.lang.Object

Field Summary

SugaredBlock[]	blocks
java.lang.String	methodIndicator
java.lang.String	startName

Constructor Summary

SugaredProgram(SugaredBlock[] blocks, java.lang.String startName, java.lang.String methodIdicator)

Method Summary

SimpleProgram	accept(DesugaringVisitor visitor)
SugaredProgram	accept(DesugarLoopVisitor visitor)
SugaredProgram	accept(SimplifyingVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

blocks

public final SugaredBlock[] blocks

startName

public final java.lang.String startName

methodIndicator

public final java.lang.String methodIndicator

Constructor Detail

SugaredProgram

public SugaredProgram(SugaredBlock[] blocks,
                      java.lang.String startName,
                      java.lang.String methodIdicator)

Method Detail

accept

public SugaredProgram accept(DesugarLoopVisitor visitor)

accept

public SugaredProgram accept(SimplifyingVisitor visitor)

accept

public SimpleProgram accept(DesugaringVisitor visitor)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object