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

Packages that use RacTranslator

org.jmlspecs.jml4.rac

Uses of RacTranslator in org.jmlspecs.jml4.rac

Subclasses of RacTranslator in org.jmlspecs.jml4.rac

class	ClassDeclarationTranslator Translates JML assertions associated with classes to runtime assertion checking (RAC) code.
class	ConstructorBodyTranslator Translates JML in-line assertions or statements contained in a constructor to RAC code.
class	ConstructorHeaderTranslator Translates a constructor header along with its specification to a set of RAC methods.
class	InterfaceDeclarationTranslator Translates JML assertions associated with interfaces to runtime assertion checking (RAC) code.
class	MethodBodyTranslator Translates a method body of a class or interface to RAC code.
class	MethodHeaderTranslator Translates a method or constructor header along with its specification such as pre and postconditions to a set of RAC methods.
class	TypeDeclarationTranslator Translates JML assertions associated with types to runtime assertion checking (RAC) code.