org.pure4j.exception.PureMethodNotInProjectScopeException 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.exception;
import org.pure4j.processor.PureChecklistHandler.PureMethod;
public class PureMethodNotInProjectScopeException extends Pure4JException {
public PureMethodNotInProjectScopeException(PureMethod pm) {
super("Expected a pure method, but is not in scope and isn't annotated as such.\n"+pm);
}
}