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

public class PureMethodAccessesNonImmutableFieldException extends Pure4JException {

	public PureMethodAccessesNonImmutableFieldException(PureMethod pureMethod, FieldHandle fh) {
		super("Pure implementation is expected to be pure but accesses a non-immutable "+fh+"\n"+pureMethod);
	}

}