Package org.umlg.tests.ocl.ocloperator

Class OclIsUniqueTest

java.lang.Object

org.umlg.runtime.test.BaseLocalDbTest

org.umlg.tests.ocl.ocloperator.OclIsUniqueTest

public class OclIsUniqueTest
extends org.umlg.runtime.test.BaseLocalDbTest

Date: 2014/08/22 Time: 9:54 PM

Field Summary

Fields inherited from class org.umlg.runtime.test.BaseLocalDbTest

db

Constructor Summary

Constructors

Constructor	Description
OclIsUniqueTest()

Method Summary

Modifier and Type	Method	Description
void	testIsUniqueFail()
void	testIsUniquePass()

Methods inherited from class org.umlg.runtime.test.BaseLocalDbTest

after, before, beforeClass, countEdges, countVertices

Methods inherited from class java.lang.Object

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

Constructor Details

OclIsUniqueTest

public OclIsUniqueTest()

Method Details

testIsUniqueFail

public void testIsUniqueFail()

testIsUniquePass

public void testIsUniquePass()