From: Yong hun eom <yeom@uci.edu>
Date: Tue, 4 Jun 2013 21:28:03 +0000 (-0700)
Subject: print out a warning msg when we have a nondeterministic inlining.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=1dd8fd76662d37a651f3c68782ed7103eb77beb2

print out a warning msg when we have a nondeterministic inlining.
---

diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java
index 0eff2640..e826987a 100644
--- a/Robust/src/Analysis/SSJava/LocationInference.java
+++ b/Robust/src/Analysis/SSJava/LocationInference.java
@@ -1742,6 +1742,10 @@ public class LocationInference {
         // System.out.println("reachableCommonPrefixSet=" + reachableCommonPrefixSet);
 
         if (!reachableCommonPrefixSet.isEmpty()) {
+          
+          System.out.println("WARNING:: The algorithm is going to nondeterministicly inline " +
+          		" a cylce in between following prefixes="+reachableCommonPrefixSet +
+          		" for the current node="+node);
 
           MethodDescriptor curPrefixFirstElementMethodDesc =
               (MethodDescriptor) curPrefix.get(0).getDescriptor();