org.pure4j.exception.ImpureCodeCallingPureCodeWithoutInterfacePurity 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.model.MemberHandle;
public class ImpureCodeCallingPureCodeWithoutInterfacePurity extends Pure4JException {
public ImpureCodeCallingPureCodeWithoutInterfacePurity(MemberHandle from, MemberHandle to) {
super("Method "+from+" expecting to call an interface-pure method: \n"+to);
}
}