public interface InitializablePQuery extends PQuery
PQuery.PQueryStatus
Modifier and Type | Method and Description |
---|---|
void |
addAnnotation(PAnnotation annotation)
Adds an annotation to the specification.
|
void |
addError(PProblem problem)
Adds a detected error.
|
void |
initializeBodies(java.util.Set<PBody> bodies)
Sets up the bodies of the pattern.
|
void |
setStatus(PQuery.PQueryStatus status)
Sets the query status.
|
checkMutability, ensureInitialized, getAllReferredQueries, getDirectReferredQueries, getDisjunctBodies, getEvaluationHints, getPProblems, getStatus, isMutable, publishedAs
getAllAnnotations, getAnnotationsByName, getFirstAnnotationByName, getFullyQualifiedName, getParameterNames, getParameters, getPositionOfParameter
void setStatus(PQuery.PQueryStatus status)
uninitialized
.status
- the new statusvoid addError(PProblem problem)
uninitialized
.problem
- the new problemvoid initializeBodies(java.util.Set<PBody> bodies) throws QueryInitializationException
uninitialized
.bodies
- QueryInitializationException
void addAnnotation(PAnnotation annotation)
uninitialized
.annotation
-