org.pure4j.model.StackArgumentsMethodHandle Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of pure4j-checker Show documentation
Show all versions of pure4j-checker Show documentation
Parses Byte-code to check the purity semantics defined using pure4j-core annotations
The newest version!
package org.pure4j.model;
import java.util.List;
public class StackArgumentsMethodHandle extends MethodHandle implements StackArgumentsHandle {
private boolean firstCall;
public boolean isFirstCall() {
return firstCall;
}
public StackArgumentsMethodHandle(String className, String name, String desc, int line, List localVariables, boolean firstCall) {
super(className, name, desc, line);
this.localVariables = localVariables == null ? this.localVariables : localVariables;
this.firstCall = firstCall;
}
public List getLocalVariables() {
return localVariables;
}
protected List localVariables;
}