test for immutable instead of primitive to decide if a field cannot create an alias
authorjjenista <jjenista>
Thu, 18 Sep 2008 20:03:02 +0000 (20:03 +0000)
committerjjenista <jjenista>
Thu, 18 Sep 2008 20:03:02 +0000 (20:03 +0000)
commit2398128d1024fc5f9883c98b14c12985018c13fc
treeef9fb1b61435a9ac26e7e52772913a8a7d545e91
parent58c007bf44f5894f506abea25e2a2f736f08bd67
test for immutable instead of primitive to decide if a field cannot create an alias
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/test02/makefile