From 1dd8fd76662d37a651f3c68782ed7103eb77beb2 Mon Sep 17 00:00:00 2001
From: Yong hun eom <yeom@uci.edu>
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