Commit 3d2bf182 authored by Danilo Ansaloni's avatar Danilo Ansaloni

Small cleanup to examples/fia.

parent d645311c
......@@ -50,8 +50,7 @@ public class DiSLClass {
ImmutabilityAnalysis.instanceOf().onFieldWrite(
dc.getStackValue(1, Object.class), //the accessed object
sc.getFieldId(), //the field identifier
objectsUnderConstruction, //the stack of constructors
sc.getAllocationSite()
objectsUnderConstruction //the stack of constructors
);
}
......
......@@ -66,7 +66,7 @@ public class ImmutabilityAnalysis {
}
}
public void onFieldWrite(Object accessedObj, String fieldId, Deque<Object> stack, String accessSite) {
public void onFieldWrite(Object accessedObj, String fieldId, Deque<Object> stack) {
try {
FieldState fs = getOrCreateFieldState(accessedObj, fieldId);
......
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