lp.ui
Class EvolpVarWebappHelper
java.lang.Object
lp.ui.AbstractProcessor
lp.ui.EvolpVarProcessor
lp.ui.EvolpVarWebappHelper
public class EvolpVarWebappHelper
- extends EvolpVarProcessor
A helper class for the web application that computes evolution stable models
of evolving logic programs with variables (an alpha version...)
- Version:
- 0.5.0
- Author:
- Martin Slota
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
printer
private final JspPrinter printer
transPrinter
private final EvolpVarWebappHelper.TransEvolpHtmlPrinter<Writer> transPrinter
processor
private final EvolpVarWebappHelper.EvolpModelProcessor processor
error
private boolean error
EvolpVarWebappHelper
public EvolpVarWebappHelper(ConfigManager config,
javax.servlet.jsp.JspWriter out)
setInput
public void setInput(Reader input)
- Overrides:
setInput
in class EvolpVarProcessor
showMessage
protected void showMessage(String message)
- Specified by:
showMessage
in class AbstractProcessor
isError
public boolean isError()
showError
protected void showError(String comment,
Exception e)
writeEvolp
public void writeEvolp()
writeEquivDlp
public void writeEquivDlp()
writeEquivLp
public void writeEquivLp()
writeModels
public void writeModels()