org.jmlspecs.jml4.esc.provercoordinator.strategy
Class ProveEntireVC

java.lang.Object
  org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveEntireVC

All Implemented Interfaces:

IProverStrategy

public class ProveEntireVC
extends java.lang.Object
implements IProverStrategy

Field Summary

static boolean

active

Fields inherited from interface org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy

EMPTY

Constructor Summary

ProveEntireVC(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Method Summary

static java.lang.String	getName()
Result[]	prove(VcProgram vcProg)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

active

public static boolean active

Constructor Detail

ProveEntireVC

public ProveEntireVC(CompilerOptions options,
                     ProblemReporter problemReporter,
                     CachedVcs cachedVcs)

Method Detail

getName

public static java.lang.String getName()

prove

public Result[] prove(VcProgram vcProg)

Specified by:

prove in interface IProverStrategy

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object