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

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

public class SugaredWhileStatement
extends SugaredStatement

Field Summary

SugaredStatement	action
SugaredLoopAnnotations	annotations
SugaredExpression	condition
java.lang.String	label

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

sourceStart

Constructor Summary

SugaredWhileStatement(java.lang.String label, SugaredExpression condition, SugaredLoopAnnotations annotations, SugaredStatement action, int sourceStart)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

label

public final java.lang.String label

condition

public final SugaredExpression condition

annotations

public final SugaredLoopAnnotations annotations

action

public final SugaredStatement action

Constructor Detail

SugaredWhileStatement

public SugaredWhileStatement(java.lang.String label,
                             SugaredExpression condition,
                             SugaredLoopAnnotations annotations,
                             SugaredStatement action,
                             int sourceStart)

Method Detail

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