lp.ui
Class EvolpWebappHelper.TransEvolpHtmlPrinter<W extends Writer>
java.lang.Object
java.io.Writer
lp.struct.util.LpPrinter<W>
lp.struct.util.LpPrettyPrinter<W>
lp.struct.util.EvolpPrettyPrinter<W>
lp.struct.util.LpHtmlPrinter<W>
lp.ui.EvolpWebappHelper.TransEvolpHtmlPrinter<W>
- All Implemented Interfaces:
- Closeable, Flushable, Appendable, LpStructureUnitVisitor
- Enclosing class:
- EvolpWebappHelper
private class EvolpWebappHelper.TransEvolpHtmlPrinter<W extends Writer>
- extends LpHtmlPrinter<W>
Methods inherited from class lp.struct.util.LpHtmlPrinter |
append, append, appendOuterRule, appendPunctuation, appendPunctuation, arrow, beginParen, comma, dot, endParen, getBuffer, getBuffer, literalPrefix, visit, visit, visit |
Methods inherited from class lp.struct.util.LpPrinter |
append, append, append, append, close, flush, getOut, setOut, write, write, write, write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EvolpWebappHelper.TransEvolpHtmlPrinter
public EvolpWebappHelper.TransEvolpHtmlPrinter(W out)
append
public void append(TransformedEvolp transEvolp)
visit
public void visit(LpPredicate pred)
- Description copied from class:
LpHtmlPrinter
- Appends an HTML form of a
LpPredicate
instance to this
LpHtmlPrinter
. Shouldn't be called directly,
LpPrinter.append(LpStructureUnit)
should be used instead.
The natural form of a predicate is its name
(see LpPredicate.getName()
) enclosed in a
<span class="predicate">
element.
- Specified by:
visit
in interface LpStructureUnitVisitor
- Overrides:
visit
in class LpHtmlPrinter<W extends Writer>
- Parameters:
pred
- the LpPredicate
instance whose HTML representation
should be appended to the underlying Writer
- See Also:
LpPrinter
,
LpStructureUnitVisitor.visit(LpPredicate)