Dresden OCL Toolkit

tudresden.ocl.test
Class TestInjectionRoyloy

java.lang.Object
  extended bytudresden.ocl.test.TestInjection
      extended bytudresden.ocl.test.TestInjectionRoyloy

public class TestInjectionRoyloy
extends TestInjection


Field Summary
static TestInjectionRoyloy theInstance
           
 
Constructor Summary
private TestInjectionRoyloy(boolean strict)
           
 
Method Summary
protected  void add(Object o)
           
protected  void assertAll()
           
protected  void assertNoViolationsNowLeft()
           
protected  void doTest()
           
protected  void expectViolation(String m)
           
protected  void expectViolationNow(String violation)
           
static void main(String[] args)
           
 void onViolation(String m)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

theInstance

public static TestInjectionRoyloy theInstance
Constructor Detail

TestInjectionRoyloy

private TestInjectionRoyloy(boolean strict)
Method Detail

doTest

protected void doTest()
Specified by:
doTest in class TestInjection

main

public static void main(String[] args)

add

protected final void add(Object o)

assertAll

protected final void assertAll()

onViolation

public void onViolation(String m)

expectViolation

protected final void expectViolation(String m)

expectViolationNow

protected final void expectViolationNow(String violation)

assertNoViolationsNowLeft

protected final void assertNoViolationsNowLeft()

Dresden OCL Toolkit

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