edu.unika.aifb.owltools.serializer
Class FLogicSerializer

java.lang.Object
  extended by edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
      extended by edu.unika.aifb.owltools.serializer.ProgramSerializer
          extended by edu.unika.aifb.owltools.serializer.FLogicSerializer
All Implemented Interfaces:
org.semanticweb.kaon2.api.KAON2Visitor

public class FLogicSerializer
extends ProgramSerializer

Serializes a program in F-Logic.


Nested Class Summary
 
Nested classes/interfaces inherited from class edu.unika.aifb.owltools.serializer.ProgramSerializer
ProgramSerializer.NameSerializationStyle
 
Field Summary
 
Fields inherited from class edu.unika.aifb.owltools.serializer.ProgramSerializer
m_DDL, m_emptyHead, m_ichandling, m_nameStyle, m_negation, m_printer, m_screech, m_stat
 
Constructor Summary
FLogicSerializer(Printer printer)
           
 
Method Summary
 void end()
           
 java.util.Set<java.lang.String> getVariable(org.semanticweb.kaon2.api.logic.Literal literal)
           
 void start()
           
 java.lang.Object visit(org.semanticweb.kaon2.api.logic.Literal literal)
           
 java.lang.Object visit(org.semanticweb.kaon2.api.logic.Rule rule)
           
 
Methods inherited from class edu.unika.aifb.owltools.serializer.ProgramSerializer
beanify, emptyHead, encounteredDDL, getScreech, hasNegation, processName, setIC, setScreech, setStat, setStyle, start, toName, visit
 
Methods inherited from class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
defaultbehaviour, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FLogicSerializer

public FLogicSerializer(Printer printer)
Method Detail

start

public void start()
Overrides:
start in class ProgramSerializer

end

public void end()
Overrides:
end in class ProgramSerializer

visit

public java.lang.Object visit(org.semanticweb.kaon2.api.logic.Rule rule)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.Object visit(org.semanticweb.kaon2.api.logic.Literal literal)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

getVariable

public java.util.Set<java.lang.String> getVariable(org.semanticweb.kaon2.api.logic.Literal literal)