lp.ui
Class EvolpVarWebappHelper

java.lang.Object
  extended by lp.ui.AbstractProcessor
      extended by lp.ui.EvolpVarProcessor
          extended by 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

Nested Class Summary
private  class EvolpVarWebappHelper.EvolpModelProcessor
           
private  class EvolpVarWebappHelper.TransEvolpHtmlPrinter<W extends Writer>
           
 
Nested classes/interfaces inherited from class lp.ui.AbstractProcessor
AbstractProcessor.StopWatch
 
Field Summary
private  boolean error
           
private  JspPrinter printer
           
private  EvolpVarWebappHelper.EvolpModelProcessor processor
           
private  EvolpVarWebappHelper.TransEvolpHtmlPrinter<Writer> transPrinter
           
 
Constructor Summary
EvolpVarWebappHelper(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 writeEquivDlp()
           
 void writeEquivLp()
           
 void writeEvolp()
           
 void writeModels()
           
 
Methods inherited from class lp.ui.EvolpVarProcessor
computeModels, getEquivDlp, getEquivLp, getEvolp
 
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

printer

private final JspPrinter printer

transPrinter

private final EvolpVarWebappHelper.TransEvolpHtmlPrinter<Writer> transPrinter

processor

private final EvolpVarWebappHelper.EvolpModelProcessor processor

error

private boolean error
Constructor Detail

EvolpVarWebappHelper

public EvolpVarWebappHelper(ConfigManager config,
                            javax.servlet.jsp.JspWriter out)
Method Detail

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()