Dresden OCL Toolkit

tudresden.ocl.lib.test
Class TestSequence

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bytudresden.ocl.lib.test.TestSequence
All Implemented Interfaces:
junit.framework.Test

public class TestSequence
extends junit.framework.TestCase


Field Summary
private  OclSequence a
           
private  OclSequence aa
           
private  OclSequence aabc
           
private  OclSequence ab
           
private  OclSequence abc
           
private  OclSequence abca
           
private  OclAny p1
           
private  OclAny p2
           
private  OclAny p3
           
private  OclSequence s1
           
private  OclSequence s12
           
private  OclSequence s123
           
private  OclSequence s1231
           
private  OclString sa
           
private  OclString sb
           
private  OclString sc
           
private  OclSequence sempty
           
private  OclSet set1
           
private  OclSet set12
           
private  OclSet set123
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestSequence(String s)
           
 
Method Summary
protected  void setUp()
           
static junit.framework.Test suite()
           
 void testEqual()
           
 void testExists()
           
 void testFeature()
           
 void testIterate()
           
 void testMisc()
           
 void testSpecial()
           
 void testUnique()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

sa

private OclString sa

sb

private OclString sb

sc

private OclString sc

p1

private OclAny p1

p2

private OclAny p2

p3

private OclAny p3

sempty

private OclSequence sempty

s1

private OclSequence s1

s12

private OclSequence s12

s123

private OclSequence s123

s1231

private OclSequence s1231

a

private OclSequence a

ab

private OclSequence ab

abc

private OclSequence abc

abca

private OclSequence abca

aa

private OclSequence aa

aabc

private OclSequence aabc

set1

private OclSet set1

set12

private OclSet set12

set123

private OclSet set123
Constructor Detail

TestSequence

public TestSequence(String s)
Method Detail

setUp

protected void setUp()

testEqual

public void testEqual()

testFeature

public void testFeature()

testExists

public void testExists()

testUnique

public void testUnique()

testIterate

public void testIterate()

testMisc

public void testMisc()

testSpecial

public void testSpecial()

suite

public static junit.framework.Test suite()

Dresden OCL Toolkit

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