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 0eff2640182cf9653126302437a1bb1939205e1b..e826987aa398d94df89cd238ded1ceb7035574ce 100644 (file)
--- 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("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();
 
           MethodDescriptor curPrefixFirstElementMethodDesc =
               (MethodDescriptor) curPrefix.get(0).getDescriptor();