|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.unika.aifb.owltools.utils.KAON2VisitorAdapter
edu.unika.aifb.owltools.serializer.ProgramSerializer
edu.unika.aifb.owltools.serializer.FLogicSerializer
public class FLogicSerializer
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 |
---|
public FLogicSerializer(Printer printer)
Method Detail |
---|
public void start()
start
in class ProgramSerializer
public void end()
end
in class ProgramSerializer
public java.lang.Object visit(org.semanticweb.kaon2.api.logic.Rule rule)
visit
in interface org.semanticweb.kaon2.api.KAON2Visitor
visit
in class KAON2VisitorAdapter
public java.lang.Object visit(org.semanticweb.kaon2.api.logic.Literal literal)
visit
in interface org.semanticweb.kaon2.api.KAON2Visitor
visit
in class KAON2VisitorAdapter
public java.util.Set<java.lang.String> getVariable(org.semanticweb.kaon2.api.logic.Literal literal)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |