org.jmlspecs.jml4.esc
Class GcTranslator

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

public class GcTranslator
extends java.lang.Object

Field Summary

static java.lang.String

POST_VAR_NAME

Constructor Summary

GcTranslator(CompilerOptions options, ProblemReporter problemReporter)

Method Summary

GcProgram

translate(JmlAbstractMethodDeclaration method, JmlTypeDeclaration typeDecl, CompilationUnitScope scope)

Methods inherited from class java.lang.Object

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

Field Detail

POST_VAR_NAME

public static final java.lang.String POST_VAR_NAME

See Also:

Constant Field Values

Constructor Detail

GcTranslator

public GcTranslator(CompilerOptions options,
                    ProblemReporter problemReporter)

Method Detail

translate

public GcProgram translate(JmlAbstractMethodDeclaration method,
                           JmlTypeDeclaration typeDecl,
                           CompilationUnitScope scope)