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

Packages that use AssertionMethod

org.jmlspecs.jml4.rac

Uses of AssertionMethod in org.jmlspecs.jml4.rac

Subclasses of AssertionMethod in org.jmlspecs.jml4.rac

class	ConstraintMethod Generates assertion check methods for history constraints.
class	ExceptionalPostconditionMethod Generate exceptional postcondition check methods.
class	InvariantLikeMethod Generates assertion check methods for type assertions such as invariants and history constraints.
class	InvariantMethod Generates assertion check methods for invariants.
class	PostconditionMethod A class for generating postcondition check methods.
class	PreconditionMethod Generates precondition check methods.
class	PrePostconditionMethod An abstract class for generating precondition or postconditin check methods for methods.