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

java.lang.Object
  com.ibm.wala.core.tests.util.WalaTestCase
      com.ibm.wala.core.tests.typeInference.TypeInferenceTest

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	afterClass()
static void	beforeClass()
static void	main(java.lang.String[] args)
void	test1()
void	test2()
void	test3()
void	test4()

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

TypeInferenceTest

public TypeInferenceTest()

Method Detail

main

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

beforeClass

public static void beforeClass()
                        throws java.lang.Exception

Throws:

java.lang.Exception

afterClass

public static void afterClass()
                       throws java.lang.Exception

Throws:

java.lang.Exception

test1

public void test1()

test2

public void test2()

test3

public void test3()

test4

public void test4()