org.pure4j.model.StackArgumentsConstructorHandle 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

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 StackArgumentsConstructorHandle extends ConstructorHandle implements StackArgumentsHandle {

	private boolean firstCall;

	public boolean isFirstCall() {
		return firstCall;
	}

	public StackArgumentsConstructorHandle(String className, String desc, int line, List localVariables, boolean firstCall) {
		super(className, desc, line);
		this.localVariables = localVariables == null ? this.localVariables : localVariables;
		this.firstCall = firstCall;
	}
	
	public List getLocalVariables() {
		return localVariables;
	}

	protected List localVariables;
	
}