Interface InitializablePQuery
- All Superinterfaces:
PQuery
,PQueryHeader
,PTraceable
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 TypeMethodDescriptionvoid
addAnnotation
(PAnnotation annotation) Adds an annotation to the specification.void
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, 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
Sets the query status. Only applicable if the pattern is stilluninitialized
.- Parameters:
status
- the new status
-
addError
Adds a detected error. Only applicable if the pattern is stilluninitialized
.- Parameters:
problem
- the new problem
-
initializeBodies
Sets up the bodies of the pattern. Only applicable if the pattern is stilluninitialized
.- Parameters:
bodies
-- Throws:
InterpreterRuntimeException
-
addAnnotation
Adds an annotation to the specification. Only applicable if the pattern is stilluninitialized
.- Parameters:
annotation
-
-