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

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

All Implemented Interfaces:

junit.framework.Test

public class DeterministicIRTest
extends WalaTestCase

Test that the SSA-numbering of variables in the IR is deterministic. Introduced 05-AUG-03; the default implementation of hashCode was being invoked. Object.hashCode is a source of random numbers and has no place in a deterministic program.

Constructor Summary

DeterministicIRTest()

Method Summary

static void	main(java.lang.String[] args)
protected void	setUp()
protected void	tearDown()
void	testIR1()
void	testIR2()
void	testIR3()
void	testLocalNamesWithoutPiNodes()
void	testLocalNamesWithPiNodes()

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

assertBound, assertBound, justThisTest, 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

DeterministicIRTest

public DeterministicIRTest()

Method Detail

main

public static void main(java.lang.String[] args)

setUp

protected void setUp()
              throws java.lang.Exception

Overrides:

setUp in class WalaTestCase

Throws:

java.lang.Exception

tearDown

protected void tearDown()
                 throws java.lang.Exception

Overrides:

tearDown in class WalaTestCase

Throws:

java.lang.Exception

testIR1

public void testIR1()

testIR2

public void testIR2()

testIR3

public void testIR3()

testLocalNamesWithoutPiNodes

public void testLocalNamesWithoutPiNodes()

testLocalNamesWithPiNodes

public void testLocalNamesWithPiNodes()