Commit 5aaf04dd authored by Andreas Sewe's avatar Andreas Sewe
Browse files

Moved entire stack handling to DiSLClass. (Pushes and pops are now handled...

Moved entire stack handling to DiSLClass. (Pushes and pops are now handled right next to each other.)
parent ec554744
......@@ -18,7 +18,7 @@ import ch.usi.dag.disl.staticcontext.MethodSC;
public class DiSLClass {
@ThreadLocal
static Stack<Object> stackTL;
private static Stack<Object> stackTL;
......@@ -35,8 +35,11 @@ public class DiSLClass {
@After(marker = BodyMarker.class, scope = "*.*", guard = OnlyInit.class, order = 1)
public static void after() {
ImmutabilityAnalysis.afterConstructor(stackTL);
if(stackTL != null) {
stackTL.pop();
} else {
System.err.println("The stack is null " + Thread.currentThread().getName());
}
}
/** ALLOCATION SITE **/
......
......@@ -94,14 +94,6 @@ public class ImmutabilityAnalysis {
}
}
public static void afterConstructor(Stack<Object> stack) {
if(stack != null) {
stack.pop();
} else {
System.err.println("The stack is null " + Thread.currentThread().getName());
}
}
private static FieldState getOrCreateInstanceField(Object accessedObj, String objectId, String fieldName) {
try{
FieldStateList smallMap;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment