Uses of Class
org.jmlspecs.jml4.fspv.theory.TheoryLoopAnnotationsExpression

Packages that use TheoryLoopAnnotationsExpression

org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.theory

Uses of TheoryLoopAnnotationsExpression in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type TheoryLoopAnnotationsExpression

java.lang.Object

PrestateDecorator.accept(TheoryLoopAnnotationsExpression theoryLoopAnnotationsExpression)

Uses of TheoryLoopAnnotationsExpression in org.jmlspecs.jml4.fspv.theory

Fields in org.jmlspecs.jml4.fspv.theory declared as TheoryLoopAnnotationsExpression

static TheoryLoopAnnotationsExpression	TheoryLoopAnnotationsExpression.EMPTY_LOOP_ANNOTATIONS
TheoryLoopAnnotationsExpression	TheoryWhileStatement.loopAnnotations

Methods in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryLoopAnnotationsExpression

java.lang.Object

TheoryVisitor.accept(TheoryLoopAnnotationsExpression theoryLoopAnnotationsExpression)

Constructors in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryLoopAnnotationsExpression

TheoryWhileStatement(TheoryExpression condition, TheoryLoopAnnotationsExpression loopAnnotations, TheoryBlockStatement block)