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

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

public class SugaredLoopAnnotations
extends java.lang.Object

Field Summary

SugaredExpression[]	invariants
SugaredExpression[]	variants

Constructor Summary

SugaredLoopAnnotations(SugaredExpression[] invariants, SugaredExpression[] variants)

Method Summary

SugaredExpression	foldInvariants()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

invariants

public final SugaredExpression[] invariants

variants

public final SugaredExpression[] variants

Constructor Detail

SugaredLoopAnnotations

public SugaredLoopAnnotations(SugaredExpression[] invariants,
                              SugaredExpression[] variants)

Method Detail

foldInvariants

public SugaredExpression foldInvariants()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object