Package org.umlg.tests.ocl.ocloperator

Class OclForAllTest

java.lang.Object

org.umlg.runtime.test.BaseLocalDbTest

org.umlg.tests.ocl.ocloperator.OclForAllTest

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

Date: 2014/08/26 Time: 3:25 PM

Field Summary

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

db

Constructor Summary

Constructors

Constructor	Description
OclForAllTest()

Method Summary

Modifier and Type	Method	Description
void	testExistsFail()
void	testExistsPass()

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

OclForAllTest

public OclForAllTest()

Method Details

testExistsFail

public void testExistsFail()

testExistsPass

public void testExistsPass()