com.ibm.wala.core.tests.ir
Class CornerCasesTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          com.ibm.wala.core.tests.util.WalaTestCase
              com.ibm.wala.core.tests.ir.CornerCasesTest

All Implemented Interfaces:

junit.framework.Test

public class CornerCasesTest
extends WalaTestCase

tests for weird corner cases, such as when the input program doesn't verify

Constructor Summary

CornerCasesTest()

Method Summary

void	testBug38484() test that getMethod() works even if a declared ancester interface doesn't exist
void	testBug38540() test that type inference works in the presence of a getfield where the field's declared type cannot be loaded

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

assertBound, assertBound, justThisTest, setUp, tearDown, useShortProfile

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

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

Constructor Detail

CornerCasesTest

public CornerCasesTest()

Method Detail

testBug38484

public void testBug38484()
                  throws ClassHierarchyException

test that getMethod() works even if a declared ancester interface doesn't exist

Throws:

ClassHierarchyException

testBug38540

public void testBug38540()
                  throws ClassHierarchyException

test that type inference works in the presence of a getfield where the field's declared type cannot be loaded

Throws:

ClassHierarchyException