Uses of Class
org.jmlspecs.jml4.esc.result.lang.Result

Packages that use Result

org.jmlspecs.jml4.ast
org.jmlspecs.jml4.esc
org.jmlspecs.jml4.esc.provercoordinator.prover
org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3
org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle
org.jmlspecs.jml4.esc.provercoordinator.prover.simplify
org.jmlspecs.jml4.esc.provercoordinator.strategy
org.jmlspecs.jml4.esc.result.lang

Uses of Result in org.jmlspecs.jml4.ast

Methods in org.jmlspecs.jml4.ast with parameters of type Result

void	JmlMethodDeclaration.setEscResults(Result[] results)
void	JmlConstructorDeclaration.setEscResults(Result[] results)
void	JmlAbstractMethodDeclaration.setEscResults(Result[] results)

Uses of Result in org.jmlspecs.jml4.esc

Methods in org.jmlspecs.jml4.esc that return Result

Result[]

ProverCoordinator.prove(VcProgram vc)

Methods in org.jmlspecs.jml4.esc with parameters of type Result

void	PostProcessor.postProcess(Result[] results, int sourceStart)

Uses of Result in org.jmlspecs.jml4.esc.provercoordinator.prover

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover that return Result

abstract Result[]

ProverAdapter.prove(VC vc, java.util.Map incarnations)

Uses of Result in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3 that return Result

Result[]	Cvc3Adapter.prove(VC vc, java.util.Map incarnations)
Result[]	Cvc3Adapter.proveWithCvc3(java.lang.String cvc3String)

Uses of Result in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle that return Result

Result[]

IsabelleAdapter.prove(VC vc, java.util.Map incarnations)

Uses of Result in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify that return Result

Result[]	SimplifyAdapter.formatResponse(java.lang.String fromProver, VC vc, java.lang.String simplifyString)
Result[]	SimplifyAdapter.prove(VC vc, java.util.Map incarnations)

Uses of Result in org.jmlspecs.jml4.esc.provercoordinator.strategy

Methods in org.jmlspecs.jml4.esc.provercoordinator.strategy that return Result

Result[]	ProveVcPiecewise.prove(VcProgram vcProg)
Result[]	ProverStategySeq.prove(VcProgram vcProg)
Result[]	ProveEntireVC.prove(VcProgram vcProg)
Result[]	IProverStrategy.prove(VcProgram vcProg)

Uses of Result in org.jmlspecs.jml4.esc.result.lang

Fields in org.jmlspecs.jml4.esc.result.lang declared as Result

static Result[]	Result.EMPTY
static Result[]	Result.VALID

Methods in org.jmlspecs.jml4.esc.result.lang that return Result

static Result[]

Result.removeDuplicates(Result[] results)

Methods in org.jmlspecs.jml4.esc.result.lang with parameters of type Result

static boolean	Result.isValid(Result[] results)
static Result[]	Result.removeDuplicates(Result[] results)