Uses of Interface
org.jmlspecs.jml4.rac.RacConstants

Packages that use RacConstants

org.jmlspecs.jml4.rac
org.jmlspecs.jml4.rac.quantifiedexpression

Uses of RacConstants in org.jmlspecs.jml4.rac

Classes in org.jmlspecs.jml4.rac that implement RacConstants

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	RacTranslator Abstract superclass defining several utility methods for RAC translation.
class	TypeDeclarationTranslator Translates JML assertions associated with types to runtime assertion checking (RAC) code.

Uses of RacConstants in org.jmlspecs.jml4.rac.quantifiedexpression

Classes in org.jmlspecs.jml4.rac.quantifiedexpression that implement RacConstants

class	QInterval A class for static approximations of the intervals for quantified variables of integeral types.
class	StaticAnalysis
class	Translator