Uses of Class
org.jmlspecs.jml4.esc.gc.lang.simple.SimpleProgram

Packages that use SimpleProgram

org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.gc.lang.sugared

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

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

SimpleProgram

DesugaringVisitor.visit(SugaredProgram sugaredProgram)

Methods in org.jmlspecs.jml4.esc.gc with parameters of type SimpleProgram

GcProgram

PassifyVisitor.visit(SimpleProgram simpleProgram)

Uses of SimpleProgram in org.jmlspecs.jml4.esc.gc.lang.sugared

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared that return SimpleProgram

SimpleProgram

SugaredProgram.accept(DesugaringVisitor visitor)