Package: EvaluatePP

EvaluatePP

Coverage

1: package org.overture.codegen.runtime;
2:
3: import java.io.Serializable;
4:
5: /**
6: * This interface contains only one method that every generated class should implement when the concurrency features are
7: * selected for generation. Returns a boolean value which is the result of the evaluation of the corresponding
8: * permission predicate generated
9: *
10: * @author gkanos
11: */
12: public interface EvaluatePP extends Serializable
13: {
14:         public Boolean evaluatePP(final Number fnr);
15: }