com.ibm.wala.core.tests.basic
Class OrdinalSetTest

java.lang.Object
  com.ibm.wala.core.tests.util.WalaTestCase
      com.ibm.wala.core.tests.basic.OrdinalSetTest

public class OrdinalSetTest
extends WalaTestCase

JUnit tests for some OrdinalSet operations.

Constructor Summary

OrdinalSetTest()

Method Summary

void

test1()

Methods inherited from class com.ibm.wala.core.tests.util.WalaTestCase

assertBound, assertBound, justThisTest, setUp, tearDown, useShortProfile

Methods inherited from class java.lang.Object

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

Constructor Detail

OrdinalSetTest

public OrdinalSetTest()

Method Detail

test1

public void test1()