Dresden OCL Toolkit

tudresden.ocl.injection.test
Class ContractImplementation

java.lang.Object
  extended bytudresden.ocl.injection.test.ContractImplementation

class ContractImplementation
extends Object


Field Summary
private  int state
           
 
Constructor Summary
(package private) ContractImplementation()
           
 
Method Summary
private  void assertContract(boolean condition)
           
private  void assertContract(boolean condition, String message)
           
 int compare_wrapped_tudresden_ocl_injection_test_ContractImplementation(Object x, Object y)
           
 int compare(Object x, Object y)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

state

private int state
Constructor Detail

ContractImplementation

ContractImplementation()
Method Detail

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)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.