Uses of Class
org.jmlspecs.jml4.fspv.simpl.ast.SimplProcedure

Packages that use SimplProcedure

org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplProcedure in org.jmlspecs.jml4.fspv.simpl.ast

Subclasses of SimplProcedure in org.jmlspecs.jml4.fspv.simpl.ast

class	SimplConstructor
class	SimplMethod

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplProcedure

SimplProcedure	SimplProofObligation.procedure
SimplProcedure	SimplLemma.procedure

Constructors in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplProcedure

SimplLemma(java.lang.String name, SimplHoareTriplet hoareTriplet, SimplProcedure procedure)

SimplProofObligation(SimplProcedure proc, SimplLemma specLemma)

SimplSpecLemma(java.lang.String name, SimplHoareTriplet hoareTriplet, SimplProcedure procedure)