uk.ac.manchester.cs.jfact.visitors

Interface DLExpressionVisitorEx<O>

Type Parameters:

O - return type

All Known Implementing Classes:

DLExpressionVisitorExAdapter, ExpressionTranslator

public interface DLExpressionVisitorEx<O>

expression visitor

Method Summary

Methods

Modifier and Type	Method and Description
O	visit(ConceptAnd expr)
O	visit(ConceptBottom expr)
O	visit(ConceptDataExactCardinality expr)
O	visit(ConceptDataExists expr)
O	visit(ConceptDataForall expr)
O	visit(ConceptDataMaxCardinality expr)
O	visit(ConceptDataMinCardinality expr)
O	visit(ConceptDataValue expr)
O	visit(ConceptName expr)
O	visit(ConceptNot expr)
O	visit(ConceptObjectExactCardinality expr)
O	visit(ConceptObjectExists expr)
O	visit(ConceptObjectForall expr)
O	visit(ConceptObjectMaxCardinality expr)
O	visit(ConceptObjectMinCardinality expr)
O	visit(ConceptObjectSelf expr)
O	visit(ConceptObjectValue expr)
O	visit(ConceptOneOf<?> expr)
O	visit(ConceptOr expr)
O	visit(ConceptTop expr)
O	visit(DataAnd expr)
O	visit(DataBottom expr)
O	visit(DataNot expr)
O	visit(DataOneOf expr)
O	visit(DataOr expr)
O	visit(DataRoleBottom expr)
O	visit(DataRoleName expr)
O	visit(DataRoleTop expr)
O	visit(DataTop expr)
O	visit(Datatype<?> expr)
O	visit(DatatypeExpression<?> expr)
O	visit(IndividualName expr)
O	visit(Literal<?> expr)
O	visit(ObjectRoleBottom expr)
O	visit(ObjectRoleChain expr)
O	visit(ObjectRoleInverse expr)
O	visit(ObjectRoleName expr)
O	visit(ObjectRoleProjectionFrom expr)
O	visit(ObjectRoleProjectionInto expr)
O	visit(ObjectRoleTop expr)

Method Detail

visit

@Nonnull
O visit(@Nonnull
              ConceptTop expr)

Parameters:

expr - ConceptTop to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptBottom expr)

Parameters:

expr - ConceptBottom to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptName expr)

Parameters:

expr - ConceptName to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptNot expr)

Parameters:

expr - ConceptNot to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptAnd expr)

Parameters:

expr - ConceptAnd to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptOr expr)

Parameters:

expr - ConceptOr to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptOneOf<?> expr)

Parameters:

expr - ConceptOneOf to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectSelf expr)

Parameters:

expr - ConceptObjectSelf to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectValue expr)

Parameters:

expr - ConceptObjectValue to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectExists expr)

Parameters:

expr - ConceptObjectExists to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectForall expr)

Parameters:

expr - ConceptObjectForall to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectMinCardinality expr)

Parameters:

expr - ConceptObjectMinCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectMaxCardinality expr)

Parameters:

expr - ConceptObjectMaxCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptObjectExactCardinality expr)

Parameters:

expr - ConceptObjectExactCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataValue expr)

Parameters:

expr - ConceptDataValue to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataExists expr)

Parameters:

expr - ConceptDataExists to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataForall expr)

Parameters:

expr - ConceptDataForall to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataMinCardinality expr)

Parameters:

expr - ConceptDataMinCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataMaxCardinality expr)

Parameters:

expr - ConceptDataMaxCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ConceptDataExactCardinality expr)

Parameters:

expr - ConceptDataExactCardinality to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              IndividualName expr)

Parameters:

expr - IndividualName to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleTop expr)

Parameters:

expr - ObjectRoleTop to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleBottom expr)

Parameters:

expr - ObjectRoleBottom to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleName expr)

Parameters:

expr - ObjectRoleName to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleInverse expr)

Parameters:

expr - ObjectRoleInverse to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleChain expr)

Parameters:

expr - ObjectRoleChain to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleProjectionFrom expr)

Parameters:

expr - ObjectRoleProjectionFrom to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              ObjectRoleProjectionInto expr)

Parameters:

expr - ObjectRoleProjectionInto to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataRoleTop expr)

Parameters:

expr - DataRoleTop to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataRoleBottom expr)

Parameters:

expr - DataRoleBottom to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataRoleName expr)

Parameters:

expr - DataRoleName to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataTop expr)

Parameters:

expr - DataTop to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataBottom expr)

Parameters:

expr - DataBottom to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              Literal<?> expr)

Parameters:

expr - Literal to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              Datatype<?> expr)

Parameters:

expr - Datatype to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DatatypeExpression<?> expr)

Parameters:

expr - DatatypeExpression to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataNot expr)

Parameters:

expr - DataNot to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataAnd expr)

Parameters:

expr - DataAnd to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataOr expr)

Parameters:

expr - DataOr to visit

Returns:

visitor value

visit

@Nonnull
O visit(@Nonnull
              DataOneOf expr)

Parameters:

expr - DataOneOf to visit

Returns:

visitor value