|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlp.ui.AbstractProcessor
lp.ui.DlpProcessor
lp.ui.DlpWebappHelper
public class DlpWebappHelper
A helper class for the web application that computes refined dynamic stable models.
Nested Class Summary | |
---|---|
private class |
DlpWebappHelper.DlpModelProcessor
|
private class |
DlpWebappHelper.TransDlpHtmlPrinter<W extends Writer>
|
Nested classes/interfaces inherited from class lp.ui.AbstractProcessor |
---|
AbstractProcessor.StopWatch |
Field Summary | |
---|---|
private boolean |
error
|
private JspPrinter |
printer
|
private DlpWebappHelper.DlpModelProcessor |
processor
|
private DlpWebappHelper.TransDlpHtmlPrinter<Writer> |
transPrinter
|
Constructor Summary | |
---|---|
DlpWebappHelper(ConfigManager config,
javax.servlet.jsp.JspWriter out)
|
Method Summary | |
---|---|
boolean |
isError()
|
void |
setInput(Reader input)
|
protected void |
showError(String comment,
Exception e)
|
protected void |
showMessage(String message)
|
void |
writeDlp()
|
void |
writeGroundedDlp()
|
void |
writeModels()
|
void |
writeTransformedDlp()
|
Methods inherited from class lp.ui.DlpProcessor |
---|
computeModels, getDlp, getGroundedDlp, getGrounderWarnings, getTransformedDlp |
Methods inherited from class lp.ui.AbstractProcessor |
---|
escapeXMLSpecials, getConfig, getSW, chmod |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private final JspPrinter printer
private final DlpWebappHelper.TransDlpHtmlPrinter<Writer> transPrinter
private final DlpWebappHelper.DlpModelProcessor processor
private boolean error
Constructor Detail |
---|
public DlpWebappHelper(ConfigManager config, javax.servlet.jsp.JspWriter out)
Method Detail |
---|
public void setInput(Reader input)
setInput
in class DlpProcessor
protected void showMessage(String message)
showMessage
in class AbstractProcessor
public boolean isError()
protected void showError(String comment, Exception e)
public void writeDlp()
public void writeGroundedDlp()
public void writeTransformedDlp()
public void writeModels()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |