|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
tudresden.ocl.test.TestParser
Field Summary | |
(package private) ModelFacade |
facade
|
(package private) ModelFacadeFactory |
facadeFactory
|
(package private) String[] |
oclExpressions
|
(package private) boolean[] |
syntaxOK
|
(package private) URL |
testFileName
|
(package private) boolean[] |
typesOK
|
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
TestParser(String s,
URL testFile,
ModelFacadeFactory facadeFactory)
|
Method Summary | |
protected void |
getExpression(String text)
|
protected OclTree |
getTree(String oclExpr)
|
protected String |
readTestFile()
|
static junit.framework.Test |
suite()
|
void |
testFromFile()
|
Methods inherited from class junit.framework.TestCase |
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString |
Methods inherited from class junit.framework.Assert |
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
String[] oclExpressions
boolean[] syntaxOK
boolean[] typesOK
URL testFileName
ModelFacadeFactory facadeFactory
ModelFacade facade
Constructor Detail |
public TestParser(String s, URL testFile, ModelFacadeFactory facadeFactory)
Method Detail |
public void testFromFile() throws Exception
Exception
protected OclTree getTree(String oclExpr) throws OclException, IOException
OclException
IOException
protected String readTestFile() throws IOException
IOException
protected void getExpression(String text)
public static junit.framework.Test suite()
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |