org.pure4j.exception.PureMethodCallsImpureException 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.exception;

import org.pure4j.model.MemberHandle;
import org.pure4j.processor.PureChecklistHandler.PureMethod;

public class PureMethodCallsImpureException extends Pure4JException {

	public PureMethodCallsImpureException(PureMethod pureMethod, MemberHandle ch) {
		super("Pure Method makes impure call to "+ch+"\n"+pureMethod);
	}

}