TestPostcondition

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ test overview ]

PREV CLASS NEXT CLASS

SUMMARY:

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.ucsb.ccs.jcontractor.test
Class TestPostcondition_CONTRACT

java.lang.Object
  edu.ucsb.ccs.jcontractor.test.TestPostcondition_CONTRACT

Constructor Summary

(package private) TestPostcondition_CONTRACT()


Method Summary

protected boolean externalPostFail_Postcondition(java.lang.Void RESULT)


void externalPostFail()


Methods inherited from class java.lang.Object

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

Constructor Detail

TestPostcondition_CONTRACT()

Method Detail

public void externalPostFail()

protected boolean externalPostFail_Postcondition(java.lang.Void RESULT)