com.ibm.wala.cast.java.test
Class IRTests

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by com.ibm.wala.core.tests.util.WalaTestCase
              extended by com.ibm.wala.cast.java.test.IRTests
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
JavaIRTests, JLexTest

public abstract class IRTests
extends WalaTestCase


Nested Class Summary
protected static class IRTests.EdgeAssertions
           
protected static class IRTests.GraphAssertions
           
protected static class IRTests.SourceMapAssertion
           
protected static class IRTests.SourceMapAssertions
           
 
Field Summary
protected static java.lang.String javaHomePath
           
protected static java.util.List<java.lang.String> rtJar
           
protected static java.lang.String testSrcPath
           
 
Constructor Summary
IRTests(java.lang.String name)
           
 
Method Summary
protected abstract  JavaSourceAnalysisEngine getAnalysisEngine(java.lang.String[] mainClassDescriptors)
           
 void runTest(java.util.Collection sources, java.util.List libs, java.lang.String[] mainClassDescriptors, IRTests.GraphAssertions ga, IRTests.SourceMapAssertions sa, boolean assertReachable)
           
protected  java.lang.String[] simplePkgTestEntryPoint(java.lang.String pkgName)
           
protected  java.lang.String[] simpleTestEntryPoint()
           
protected abstract  java.lang.String singleInputForTest()
           
protected abstract  java.lang.String singlePkgInputForTest(java.lang.String pkgName)
           
protected  java.util.Collection singlePkgTestSrc(java.lang.String pkgName)
           
protected  java.util.Collection singleTestSrc()
           
 
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
 

Field Detail

javaHomePath

protected static java.lang.String javaHomePath

testSrcPath

protected static java.lang.String testSrcPath

rtJar

protected static java.util.List<java.lang.String> rtJar
Constructor Detail

IRTests

public IRTests(java.lang.String name)
Method Detail

singleInputForTest

protected abstract java.lang.String singleInputForTest()

singlePkgInputForTest

protected abstract java.lang.String singlePkgInputForTest(java.lang.String pkgName)

singleTestSrc

protected java.util.Collection singleTestSrc()

singlePkgTestSrc

protected java.util.Collection singlePkgTestSrc(java.lang.String pkgName)

simpleTestEntryPoint

protected java.lang.String[] simpleTestEntryPoint()

simplePkgTestEntryPoint

protected java.lang.String[] simplePkgTestEntryPoint(java.lang.String pkgName)

getAnalysisEngine

protected abstract JavaSourceAnalysisEngine getAnalysisEngine(java.lang.String[] mainClassDescriptors)

runTest

public void runTest(java.util.Collection sources,
                    java.util.List libs,
                    java.lang.String[] mainClassDescriptors,
                    IRTests.GraphAssertions ga,
                    IRTests.SourceMapAssertions sa,
                    boolean assertReachable)