lp.ui
Class EvolpWebappHelper

java.lang.Object
  extended by lp.ui.AbstractProcessor
      extended by lp.ui.EvolpProcessor
          extended by lp.ui.EvolpWebappHelper

public class EvolpWebappHelper
extends EvolpProcessor

A helper class for the web application that computes evolution stable models of propositional evolving logic programs

Version:
0.9.0
Author:
Martin Slota

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

processor

private final EvolpWebappHelper.EvolpModelProcessor processor

error

private boolean error
Constructor Detail

EvolpWebappHelper

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

setInput

public void setInput(Reader input)
Overrides:
setInput in class EvolpProcessor

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

writeTransformedEvolp

public void writeTransformedEvolp()

writeModels

public void writeModels()