org.deri.wsmo4j.validator
Class FunctionSymbolHelper
java.lang.Object
org.deri.wsmo4j.logicalexpression.AbstractVisitor
org.deri.wsmo4j.validator.FunctionSymbolHelper
- All Implemented Interfaces:
- org.omwg.logicalexpression.Visitor
public class FunctionSymbolHelper
- extends AbstractVisitor
The FunctionSymbolHelper checks Atoms and Molecules for unallowed
function symbols.
Created on Okt 28, 2005
Committed by $Author: morcen $
$Source$,
- Version:
- $Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
- Author:
- nathalie.steinmetz@deri.org
Methods inherited from class org.deri.wsmo4j.logicalexpression.AbstractVisitor |
visitConjunction, visitConstraint, visitDisjunction, visitEquivalence, visitExistentialQuantification, visitImplication, visitInverseImplication, visitLogicProgrammingRule, visitMolecule, visitNegation, visitNegationAsFailure, visitUniversalQuantification |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FunctionSymbolHelper
protected FunctionSymbolHelper(org.omwg.ontology.Axiom axiom,
List<org.wsmo.validator.ValidationError> errors,
String variant,
WsmlFullValidator validator)
visitAtom
public void visitAtom(org.omwg.logicalexpression.Atom expr)
- Specified by:
visitAtom
in interface org.omwg.logicalexpression.Visitor
- Overrides:
visitAtom
in class AbstractVisitor
- Parameters:
expr
- Atom- See Also:
Visitor.visitAtom(org.omwg.logicalexpression.Atom)
visitAttributeContraintMolecule
public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
visitAttributeInferenceMolecule
public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
visitAttributeValueMolecule
public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
visitCompoundMolecule
public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
visitMemberShipMolecule
public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
visitSubConceptMolecule
public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
getErrors
public List getErrors()
- Returns:
- List of collected errors
Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.