com.ibm.wala.core.tests.ptrs
Class TypeBasedArrayAliasTest

java.lang.Object
  com.ibm.wala.core.tests.util.WalaTestCase
      com.ibm.wala.core.tests.ptrs.TypeBasedArrayAliasTest

public class TypeBasedArrayAliasTest
extends WalaTestCase

Constructor Summary

TypeBasedArrayAliasTest()

Method Summary

void	testTypeBasedArrayAlias()

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

TypeBasedArrayAliasTest

public TypeBasedArrayAliasTest()

Method Detail

testTypeBasedArrayAlias

public void testTypeBasedArrayAlias()
                             throws ClassHierarchyException,
                                    java.lang.IllegalArgumentException,
                                    CancelException,
                                    java.io.IOException

Throws:

ClassHierarchyException

java.lang.IllegalArgumentException

CancelException

java.io.IOException