From 1dd8fd76662d37a651f3c68782ed7103eb77beb2 Mon Sep 17 00:00:00 2001 From: Yong hun eom Date: Tue, 4 Jun 2013 14:28:03 -0700 Subject: [PATCH] print out a warning msg when we have a nondeterministic inlining. --- Robust/src/Analysis/SSJava/LocationInference.java | 4 ++++ 1 file changed, 4 insertions(+) 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(); -- 2.34.1