tudresden.ocl.injection.test
Class ContractImplementation
java.lang.Object
tudresden.ocl.injection.test.ContractImplementation
- class ContractImplementation
- extends Object
Field Summary |
private int |
state
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
state
private int state
ContractImplementation
ContractImplementation()
assertContract
private void assertContract(boolean condition)
assertContract
private void assertContract(boolean condition,
String message)
compare_wrapped_tudresden_ocl_injection_test_ContractImplementation
public int compare_wrapped_tudresden_ocl_injection_test_ContractImplementation(Object x,
Object y)
compare
public int compare(Object x,
Object y)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.