org.deri.wsmo4j.io.serializer.wsml
Class VisitorSerializeWSML

java.lang.Object
  org.deri.wsmo4j.logicalexpression.AbstractVisitor
      org.deri.wsmo4j.io.serializer.wsml.VisitorSerializeWSML

All Implemented Interfaces:

org.omwg.logicalexpression.Visitor

public class VisitorSerializeWSML
extends AbstractVisitor

Concrete Visitor class. For each visited logical expression, a String is built.

See Also:

LogExprSerializerXML, AbstractVisitor

Constructor Summary

VisitorSerializeWSML(org.wsmo.common.TopEntity nsC)

Method Summary

String	getSerializedObject() All serialized elements are added to a vector.
void	visitAtom(org.omwg.logicalexpression.Atom expr) Builds a String representing the Atom and adds it to a vector.
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	visitConjunction(org.omwg.logicalexpression.Conjunction expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitConstraint(org.omwg.logicalexpression.Constraint expr) Builds a String representing the Unary expression and adds it to a vector.
void	visitDisjunction(org.omwg.logicalexpression.Disjunction expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitEquivalence(org.omwg.logicalexpression.Equivalence expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr) Builds a String representing the Quantified expression and adds it to a vector.
void	visitImplication(org.omwg.logicalexpression.Implication expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr) Builds a String representing the Binary expression and adds it to a vector.
void	visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
void	visitNegation(org.omwg.logicalexpression.Negation expr) Builds a String representing the Unary expression and adds it to a vector.
void	visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr) Builds a String representing the Unary expression and adds it to a vector.
void	visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
void	visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr) Builds a String representing the Quantified expression and adds it to a vector.

Methods inherited from class org.deri.wsmo4j.logicalexpression.AbstractVisitor

visitMolecule

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VisitorSerializeWSML

public VisitorSerializeWSML(org.wsmo.common.TopEntity nsC)

Parameters:

nsC - TopEntity

See Also:

LogExprSerializerWSML.LogExprSerializerWSML(TopEntity)

Method Detail

visitAtom

public void visitAtom(org.omwg.logicalexpression.Atom expr)

Builds a String representing the Atom and adds it to a vector.

Specified by:

visitAtom in interface org.omwg.logicalexpression.Visitor

Overrides:

visitAtom in class AbstractVisitor

Parameters:

expr - Atom to be serialized

See Also:

AbstractVisitor.visitAtom(Atom)

visitNegationAsFailure

public void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)

Builds a String representing the Unary expression and adds it to a vector.

Specified by:

visitNegationAsFailure in interface org.omwg.logicalexpression.Visitor

Overrides:

visitNegationAsFailure in class AbstractVisitor

Parameters:

expr - Unary Expression to be serialized, with operator NAF

See Also:

AbstractVisitor.visitNegationAsFailure(NegationAsFailure)

visitNegation

public void visitNegation(org.omwg.logicalexpression.Negation expr)

Builds a String representing the Unary expression and adds it to a vector.

Specified by:

visitNegation in interface org.omwg.logicalexpression.Visitor

Overrides:

visitNegation in class AbstractVisitor

Parameters:

expr - Unary Expression to be serialized, with operator NEG

See Also:

AbstractVisitor.visitNegation(Negation)

visitConstraint

public void visitConstraint(org.omwg.logicalexpression.Constraint expr)

Builds a String representing the Unary expression and adds it to a vector.

Specified by:

visitConstraint in interface org.omwg.logicalexpression.Visitor

Overrides:

visitConstraint in class AbstractVisitor

Parameters:

expr - Unary Expression to be serialized, with operator CONSTRAINT

See Also:

AbstractVisitor.visitConstraint(Constraint)

visitConjunction

public void visitConjunction(org.omwg.logicalexpression.Conjunction expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitConjunction in interface org.omwg.logicalexpression.Visitor

Overrides:

visitConjunction in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator AND

See Also:

AbstractVisitor.visitConjunction(Conjunction)

visitEquivalence

public void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitEquivalence in interface org.omwg.logicalexpression.Visitor

Overrides:

visitEquivalence in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator EQUIVALENT

See Also:

AbstractVisitor.visitEquivalence(Equivalence)

visitInverseImplication

public void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitInverseImplication in interface org.omwg.logicalexpression.Visitor

Overrides:

visitInverseImplication in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator IMPLIEDBY

See Also:

AbstractVisitor.visitInverseImplication(InverseImplication)

visitImplication

public void visitImplication(org.omwg.logicalexpression.Implication expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitImplication in interface org.omwg.logicalexpression.Visitor

Overrides:

visitImplication in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator IMPLIES

See Also:

AbstractVisitor.visitImplication(Implication)

visitLogicProgrammingRule

public void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitLogicProgrammingRule in interface org.omwg.logicalexpression.Visitor

Overrides:

visitLogicProgrammingRule in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator IMPLIEDBYLP

See Also:

AbstractVisitor.visitLogicProgrammingRule(LogicProgrammingRule)

visitDisjunction

public void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)

Builds a String representing the Binary expression and adds it to a vector.

Specified by:

visitDisjunction in interface org.omwg.logicalexpression.Visitor

Overrides:

visitDisjunction in class AbstractVisitor

Parameters:

expr - Binary Expression to be serialized, with operator OR

See Also:

AbstractVisitor.visitDisjunction(Disjunction)

visitUniversalQuantification

public void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)

Builds a String representing the Quantified expression and adds it to a vector.

Specified by:

visitUniversalQuantification in interface org.omwg.logicalexpression.Visitor

Overrides:

visitUniversalQuantification in class AbstractVisitor

Parameters:

expr - Quantified Expression to be serialized, with operator FORALL

See Also:

AbstractVisitor.visitUniversalQuantification(UniversalQuantification)

visitExistentialQuantification

public void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)

Builds a String representing the Quantified expression and adds it to a vector.

Specified by:

visitExistentialQuantification in interface org.omwg.logicalexpression.Visitor

Overrides:

visitExistentialQuantification in class AbstractVisitor

Parameters:

expr - Quantified Expression to be serialized, with operator EXISTS

See Also:

AbstractVisitor.visitExistentialQuantification(ExistentialQuantification)

getSerializedObject

public String getSerializedObject()

All serialized elements are added to a vector. This method removes the first serialized object from this vector and shifts any subsequent objects to the left (subtracts one from their indices).

Returns:

the serialized String object that is the first element in this vector

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)