saffron
Class PlanWriter
java.lang.Object
|
+--java.io.Writer
|
+--java.io.PrintWriter
|
+--saffron.PlanWriter
- public class PlanWriter
- extends PrintWriter
Callback for an expression to dump itself to.
Methods inherited from class java.io.PrintWriter |
checkError, close, flush, print, print, print, print, print, print, print, print, print, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
brief
boolean brief
level
int level
active
HashSet active
- Recursion detection.
withIdPrefix
public boolean withIdPrefix
PlanWriter
public PlanWriter(PrintWriter pw)
PlanWriter
public PlanWriter(PrintWriter pw,
boolean brief)
explainTree
public void explainTree(Rel exp)
explainBrief
private void explainBrief(String s,
Rel rel,
String[] terms)
explain
public void explain(Rel rel,
String[] terms,
Object[] values)
- Pre-condition:
- rel != null, terms.length == rel.getChildExps().length + values.length, values != null
explain
public void explain(Rel rel,
String[] terms)
explainSubset
public void explainSubset(String s,
Rel child)
- Special form used by
RelSubset
.