Uses of Class
org.jmlspecs.jml4.esc.gc.lang.GcProgram

Packages that use GcProgram

org.jmlspecs.jml4.esc
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.gc.lang.simple
org.jmlspecs.jml4.esc.vc

Uses of GcProgram in org.jmlspecs.jml4.esc

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

GcProgram

GcTranslator.translate(JmlAbstractMethodDeclaration method, JmlTypeDeclaration typeDecl, CompilationUnitScope scope)

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

VcProgram

VcGenerator.process(GcProgram gc)

Uses of GcProgram in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc that return GcProgram

GcProgram

PassifyVisitor.visit(SimpleProgram simpleProgram)

Uses of GcProgram in org.jmlspecs.jml4.esc.gc.lang.simple

Methods in org.jmlspecs.jml4.esc.gc.lang.simple that return GcProgram

GcProgram

SimpleProgram.accept(PassifyVisitor visitor)

Uses of GcProgram in org.jmlspecs.jml4.esc.vc

Methods in org.jmlspecs.jml4.esc.vc with parameters of type GcProgram

VcProgram

WlpVisitor.visit(GcProgram gcProgram)