org.deri.wsmo4j.validator
Class FunctionSymbolHelper

java.lang.Object
  extended by org.deri.wsmo4j.logicalexpression.AbstractVisitor
      extended by 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

Constructor Summary
protected FunctionSymbolHelper(org.omwg.ontology.Axiom axiom, List<org.wsmo.validator.ValidationError> errors, String variant, WsmlFullValidator validator)
           
 
Method Summary
 List getErrors()
           
 void visitAtom(org.omwg.logicalexpression.Atom expr)
           
 void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
           
 void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
           
 void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
           
 void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
           
 void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
           
 void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
           
 
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
 

Constructor Detail

FunctionSymbolHelper

protected FunctionSymbolHelper(org.omwg.ontology.Axiom axiom,
                               List<org.wsmo.validator.ValidationError> errors,
                               String variant,
                               WsmlFullValidator validator)
Method Detail

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.