com.ibm.wala.core.tests.typeInference
Class TypeInferenceTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          com.ibm.wala.core.tests.util.WalaTestCase
              com.ibm.wala.core.tests.typeInference.TypeInferenceTest

All Implemented Interfaces:

junit.framework.Test

public class TypeInferenceTest
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

TypeInferenceTest()

Method Summary

static void	main(java.lang.String[] args)
protected void	setUp()
protected void	tearDown()
void	test1()

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

TypeInferenceTest

public TypeInferenceTest()

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

test1

public void test1()