Package tools.refinery.interpreter.matchers.psystem

Interface InitializablePQuery

All Superinterfaces:

PQuery, PQueryHeader, PTraceable

public interface InitializablePQuery
extends PQuery

Adds extra methods to the PQuery interface to initialize its contents.

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.interpreter.matchers.psystem.queries.PQuery

PQuery.PQueryStatus

Method Summary

Modifier and Type	Method	Description
void	addAnnotation(PAnnotation annotation)	Adds an annotation to the specification.
void	addError(PProblem problem)	Adds a detected error.
void	initializeBodies(Set<PBody> bodies)	Sets up the bodies of the pattern.
void	setStatus(PQuery.PQueryStatus status)	Sets the query status.

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.queries.PQuery

checkMutability, ensureInitialized, getAllReferredQueries, getDirectReferredQueries, getDisjunctBodies, getEvaluationHints, getPProblems, getStatus, getTypeGuarantees, isMutable, isRecursive, publishedAs

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.queries.PQueryHeader

getAllAnnotations, getAnnotationsByName, getFirstAnnotationByName, getFullyQualifiedName, getParameter, getParameterNames, getParameters, getPositionOfParameter, getSimpleName, getVisibility

Method Details

setStatus

void setStatus(PQuery.PQueryStatus status)

Sets the query status. Only applicable if the pattern is still uninitialized.

Parameters:

status - the new status

addError

void addError(PProblem problem)

Adds a detected error. Only applicable if the pattern is still uninitialized.

Parameters:

problem - the new problem

initializeBodies

void initializeBodies(Set<PBody> bodies)

Sets up the bodies of the pattern. Only applicable if the pattern is still uninitialized.

Parameters:

bodies -

Throws:

InterpreterRuntimeException

addAnnotation

void addAnnotation(PAnnotation annotation)

Adds an annotation to the specification. Only applicable if the pattern is still uninitialized.

Parameters:

annotation -