Uses of Class
org.jmlspecs.jmlrac.TransUtils

Packages that use TransUtils

org.jmlspecs.jmlrac

Generates Java classes from JML specifications that check assertions at runtime.

Uses of TransUtils in org.jmlspecs.jmlrac

Subclasses of TransUtils in org.jmlspecs.jmlrac

class	AssertionMethod An abstract class for generating assertion check methods for specific kinds of assertions such as preconditions, normal and exceptional postconditions, invariants and (history) constraints.
class	ConstraintMethod A class for generating assertion check methods for (history) constraints.
class	ConstructorWrapper A class for generating constructor wrappers.
class	ExceptionalPostconditionMethod A class for generating exceptional postcondition check methods.
class	FinalizerWrapper A class for generating wrapper methods for finalizers.
class	InvariantLikeMethod A class for generating assertion check methods for class-level assertions such as invariants and history constraints.
class	InvariantMethod A class for generating assertion check methods for invariants.
class	LocalConstraintMethod A class for generating constaint check methods that check locally specified type constraints without inheriting any constraints from supertypes.
class	MotherConstraintMethod A class for generating constraint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	PostconditionMethod A class for generating postcondition check methods.
class	PreconditionMethod A class for generating precondition check methods.
class	PreOrPostconditionMethod An abstract class for generating precondition or postconditin check methods for the given methods.
class	SubtypeConstraintMethod A class for generating constaint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	TransClass A class for translating JML class declarations.
class	TransConstraint A class for translating JML (history) constraints.
class	TransConstructor A class for translating JML annotated constructor into a RAC-enabled method.
class	TransInterface A class for translating JML interface declarations.
class	TransInvariant A class for translating JML invariants.
class	TransMethod A class for translating JML annotated Java methods into RAC-enabled methods.
class	TransType An abstract class for translating JML type declarations.
class	WrapperMethod A class for generating wrapper methods.