projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes on the inference engine.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
MethodLocationInfo.java
diff --git
a/Robust/src/Analysis/SSJava/MethodLocationInfo.java
b/Robust/src/Analysis/SSJava/MethodLocationInfo.java
index 986d4550bc278af026c65d80bcb15a960065e35b..f4780e06123a72658257158d9f6813bb3a8be819 100644
(file)
--- a/
Robust/src/Analysis/SSJava/MethodLocationInfo.java
+++ b/
Robust/src/Analysis/SSJava/MethodLocationInfo.java
@@
-13,6
+13,7
@@
public class MethodLocationInfo extends LocationInfo {
String returnLocName;
String thisLocName;
String PCLocName;
String returnLocName;
String thisLocName;
String PCLocName;
+ String globalLocName;
Map<Integer, String> mapParamIdxToLocName;
Set<String> paramLocNameSet;
Map<Integer, String> mapParamIdxToLocName;
Set<String> paramLocNameSet;
@@
-31,6
+32,11
@@
public class MethodLocationInfo extends LocationInfo {
* public CompositeLocation getInferLocation(FlowNode node) { return
* mapFlowNodeToLocation.get(node); }
*/
* public CompositeLocation getInferLocation(FlowNode node) { return
* mapFlowNodeToLocation.get(node); }
*/
+
+ public void setGlobalLocName(String globalLocName) {
+ this.globalLocName = globalLocName;
+ }
+
public String getReturnLocName() {
return returnLocName;
}
public String getReturnLocName() {
return returnLocName;
}