org.pure4j.exception.ClassExpectingPureMethod 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.processor.PureChecklistHandler.PureMethod;

public class ClassExpectingPureMethod extends Pure4JException {

	public ClassExpectingPureMethod(Class c, PureMethod pm) {
		super("Class "+c.getName()+" was expecting a pure implementation, but uses inherited impure implementation\n"+pm);
	}

}