Uses of Class
org.jmlspecs.jml4.rac.MethodDeclarationTranslator

Packages that use MethodDeclarationTranslator

org.jmlspecs.jml4.rac

Uses of MethodDeclarationTranslator in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac that return MethodDeclarationTranslator

static MethodDeclarationTranslator	MethodDeclarationTranslator.forClass(JmlTypeDeclaration typeDecl, VariableGenerator varGen) Creates a translator for translating methods contained in the given type.
static MethodDeclarationTranslator	MethodDeclarationTranslator.forInterface(JmlTypeDeclaration typeDecl, VariableGenerator varGen, boolean tSpec) Creates a translator for translating methods contained in the given type.