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

Packages that use ExpressionTranslator

org.jmlspecs.jml4.rac

Uses of ExpressionTranslator in org.jmlspecs.jml4.rac

Subclasses of ExpressionTranslator in org.jmlspecs.jml4.rac

class	ConstraintTranslator Translates constraint clauses to history constraint checking methods.
class	ExceptionalPostconditionTranslator Translate the exceptional postcondition of a method or constructor.
class	InlineAssertionTranslator Translates in-line assertions o RAC code.
class	InvariantTranslator Translates invariants clauses to invariant checking methods.
class	PostconditionTranslator
class	PostStateExpressionTranslator Translates various Java and JML expressions to RAC code that may contain JML old expressions.
class	PreconditionTranslator Translates the precondition of a method or constructor into RAC code.