org.jmlspecs.jml4.esc
Class VcGenerator

java.lang.Object
  org.jmlspecs.jml4.esc.VcGenerator

public class VcGenerator
extends java.lang.Object

Constructor Summary

VcGenerator(CompilerOptions options, ProblemReporter problemReporter)

Method Summary

VcProgram

process(GcProgram gc)

Methods inherited from class java.lang.Object

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

Constructor Detail

VcGenerator

public VcGenerator(CompilerOptions options,
                   ProblemReporter problemReporter)

Method Detail

process

public VcProgram process(GcProgram gc)