org.jmlspecs.jml4.rac
Class PrePostconditionMethod

java.lang.Object
  org.jmlspecs.jml4.rac.AssertionMethod
      org.jmlspecs.jml4.rac.PrePostconditionMethod

Direct Known Subclasses:

PostconditionMethod, PreconditionMethod

public abstract class PrePostconditionMethod
extends AssertionMethod

An abstract class for generating precondition or postconditin check methods for methods.

Author:

Yoonsik Cheon and Amritam Sarcar

See Also:

AssertionMethod

Method Summary

Methods inherited from class org.jmlspecs.jml4.rac.AssertionMethod

generate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait