|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.output.ATermBaseVisitor
org.mindswap.pellet.output.ATermBaseRenderer
org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
public class ATermAbstractSyntaxRenderer
A simple implementation to output the terms in OWL abstract syntax.
Field Summary |
---|
Fields inherited from class org.mindswap.pellet.output.ATermBaseVisitor |
---|
OWL_NOTHING, OWL_THING |
Constructor Summary | |
---|---|
ATermAbstractSyntaxRenderer()
|
Method Summary | |
---|---|
void |
visitAll(aterm.ATermAppl term)
Visit the 'all' (allValuesFrom restriction) term. |
void |
visitAllfuture(aterm.ATermAppl term)
|
void |
visitAllpast(aterm.ATermAppl term)
|
void |
visitAnd(aterm.ATermAppl term)
Visit the 'and' (intersectionOf) term. |
void |
visitAt(aterm.ATermAppl term)
|
void |
visitCard(aterm.ATermAppl term)
Visit the 'card' (minCardinality restriction) term. |
void |
visitFuture(aterm.ATermAppl term)
|
void |
visitHasValue(aterm.ATermAppl term)
Visit the hasValue restriction term. |
void |
visitList(aterm.ATermList list)
Visit the list structure. |
void |
visitLiteral(aterm.ATermAppl lit)
Visit the literal term. |
void |
visitMax(aterm.ATermAppl term)
Visit the 'max' (maxCardinality restriction) term. |
void |
visitMin(aterm.ATermAppl term)
Visit the 'min' (minCardinality restriction) term. |
void |
visitNot(aterm.ATermAppl term)
Visit the 'not' (complementOf) term. |
void |
visitOneOf(aterm.ATermAppl term)
Visit the 'oneOf' term. |
void |
visitOr(aterm.ATermAppl term)
Visit the 'or' (unionOf) term. |
void |
visitPast(aterm.ATermAppl term)
|
void |
visitSome(aterm.ATermAppl term)
Visit the 'some' (someValuesFrom restriction) term. |
void |
visitSomefuture(aterm.ATermAppl term)
|
void |
visitSomepast(aterm.ATermAppl term)
|
void |
visitSubClass(aterm.ATermAppl term)
|
void |
visitValue(aterm.ATermAppl term)
Visit the nominal term. |
Methods inherited from class org.mindswap.pellet.output.ATermBaseRenderer |
---|
getWriter, setWriter, setWriter, visitTerm |
Methods inherited from class org.mindswap.pellet.output.ATermBaseVisitor |
---|
visit |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.mindswap.pellet.output.ATermRenderer |
---|
getWriter, setWriter, setWriter |
Methods inherited from interface org.mindswap.pellet.output.ATermVisitor |
---|
visit, visitTerm |
Constructor Detail |
---|
public ATermAbstractSyntaxRenderer()
Method Detail |
---|
public void visitAnd(aterm.ATermAppl term)
ATermVisitor
visitAnd
in interface ATermVisitor
public void visitOr(aterm.ATermAppl term)
ATermVisitor
visitOr
in interface ATermVisitor
public void visitNot(aterm.ATermAppl term)
ATermVisitor
visitNot
in interface ATermVisitor
public void visitSome(aterm.ATermAppl term)
ATermVisitor
visitSome
in interface ATermVisitor
public void visitAll(aterm.ATermAppl term)
ATermVisitor
visitAll
in interface ATermVisitor
public void visitMin(aterm.ATermAppl term)
ATermVisitor
visitMin
in interface ATermVisitor
public void visitMax(aterm.ATermAppl term)
ATermVisitor
visitMax
in interface ATermVisitor
public void visitCard(aterm.ATermAppl term)
ATermVisitor
visitCard
in interface ATermVisitor
visitCard
in class ATermBaseVisitor
public void visitLiteral(aterm.ATermAppl lit)
ATermVisitor
visitLiteral
in interface ATermVisitor
public void visitOneOf(aterm.ATermAppl term)
ATermVisitor
visitOneOf
in interface ATermVisitor
public void visitHasValue(aterm.ATermAppl term)
ATermVisitor
visitHasValue
in interface ATermVisitor
public void visitValue(aterm.ATermAppl term)
ATermVisitor
visitValue
in interface ATermVisitor
public void visitList(aterm.ATermList list)
ATermVisitor
visitList
in interface ATermVisitor
visitList
in class ATermBaseVisitor
public void visitSubClass(aterm.ATermAppl term)
visitSubClass
in interface ATermVisitor
visitSubClass
in class ATermBaseVisitor
public void visitAllfuture(aterm.ATermAppl term)
visitAllfuture
in interface ATermVisitor
public void visitAllpast(aterm.ATermAppl term)
visitAllpast
in interface ATermVisitor
public void visitFuture(aterm.ATermAppl term)
visitFuture
in interface ATermVisitor
public void visitPast(aterm.ATermAppl term)
visitPast
in interface ATermVisitor
public void visitAt(aterm.ATermAppl term)
visitAt
in interface ATermVisitor
public void visitSomefuture(aterm.ATermAppl term)
visitSomefuture
in interface ATermVisitor
public void visitSomepast(aterm.ATermAppl term)
visitSomepast
in interface ATermVisitor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |