org.mindswap.pellet.output
Class ATermBaseVisitor

java.lang.Object
  extended by org.mindswap.pellet.output.ATermBaseVisitor
All Implemented Interfaces:
ATermVisitor
Direct Known Subclasses:
ATermBaseRenderer, ATermConverter

public abstract class ATermBaseVisitor
extends java.lang.Object
implements ATermVisitor

Base implementation for ATermVisitor. Implements the basic visit function that calls the other functions based on the functor.

Author:
Evren Sirin

Field Summary
static aterm.ATermAppl OWL_NOTHING
           
static aterm.ATermAppl OWL_THING
           
 
Constructor Summary
ATermBaseVisitor()
           
 
Method Summary
 void visit(aterm.ATermAppl term)
          Visit a generic term which may be a class expression, individual or a literal.
 void visitCard(aterm.ATermAppl term)
          Visit the 'card' (minCardinality restriction) term.
 void visitList(aterm.ATermList list)
          Visit the list structure.
 void visitSubClass(aterm.ATermAppl term)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.mindswap.pellet.output.ATermVisitor
visitAll, visitAllfuture, visitAllpast, visitAnd, visitAt, visitFuture, visitHasValue, visitLiteral, visitMax, visitMin, visitNot, visitOneOf, visitOr, visitPast, visitSome, visitSomefuture, visitSomepast, visitTerm, visitValue
 

Field Detail

OWL_THING

public static final aterm.ATermAppl OWL_THING

OWL_NOTHING

public static final aterm.ATermAppl OWL_NOTHING
Constructor Detail

ATermBaseVisitor

public ATermBaseVisitor()
Method Detail

visit

public void visit(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit a generic term which may be a class expression, individual or a literal.

Specified by:
visit in interface ATermVisitor

visitList

public void visitList(aterm.ATermList list)
Description copied from interface: ATermVisitor
Visit the list structure. Lists are found in 'and' and 'or' terms.

Specified by:
visitList in interface ATermVisitor

visitCard

public void visitCard(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit the 'card' (minCardinality restriction) term. This is not a standard term that ise used inside the reasoner but sometimes used for display purposes. Normally, cardinality restrictions would be stored as a conjunction of min and max restrictions.

Specified by:
visitCard in interface ATermVisitor

visitSubClass

public void visitSubClass(aterm.ATermAppl term)
Specified by:
visitSubClass in interface ATermVisitor


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.