public class RecursionCutoffPoint
extends java.lang.Object
RecursionCutoffPoint
represents one such cut off query composition.
When the compilation of the recursive query finishes and the compiled form becomes available,
the RecursionCutoffPoint
has to be signaled to update parent traces and recipes of the recursive call.Constructor and Description |
---|
RecursionCutoffPoint(PQuery query) |
Modifier and Type | Method and Description |
---|---|
CompiledQuery |
getCompiledQuery() |
ProductionRecipe |
getRecipe() |
void |
mend(CompiledQuery finalCompiledForm)
Signals that compilation of the recursive query has terminated, culminating into the given compiled form.
|
public RecursionCutoffPoint(PQuery query)
public void mend(CompiledQuery finalCompiledForm)
public CompiledQuery getCompiledQuery()
public ProductionRecipe getRecipe()