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

Packages that use MethodHeaderTranslator

org.jmlspecs.jml4.rac

Uses of MethodHeaderTranslator in org.jmlspecs.jml4.rac

Subclasses of MethodHeaderTranslator in org.jmlspecs.jml4.rac

class

ConstructorHeaderTranslator Translates a constructor header along with its specification to a set of RAC methods.

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

static MethodHeaderTranslator	MethodHeaderTranslator.forClass() Compilation unit of which methods to be translated.
static MethodHeaderTranslator	MethodHeaderTranslator.forInterface(TypeDeclaration sourceType)