org.wsmo.validator
Interface WsmlValidator

All Superinterfaces:

Validator

public interface WsmlValidator
extends Validator

Extends the interface of wsmo-api with necessary properties needed during implementation (might be merged with wsmo-api later).

Checks only for standard datatypes.

  Created on Aug 18, 2005
  Committed by $Author: morcen $
  $Source$,
 

Version:

$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $

Author:

Holger Lausen (holger.lausen@deri.org), Nathalie Steinmetz

See Also:

Validator

Field Summary

static String

VALIDATE_IMPORTS

Method Summary

String	determineVariant(LogicalExpression logExpr, List<ValidationError> errorMessages, List<ValidationWarning> warningMessages) Determines the Variant of a logical expression
String	determineVariant(TopEntity te, List<ValidationError> errorMessages, List<ValidationWarning> warningMessages) Determines the Variant of a topEntity
boolean	isValid(LogicalExpression logExpr, String variant, List<ValidationError> errorMessages, List<ValidationWarning> warningMessages) Checks whether a logical expression is valid.
boolean	isValid(TopEntity te, String variant, List<ValidationError> errorMessages, List<ValidationWarning> warningMessages) Checks whether a WSMO element definition is valid.

Methods inherited from interface org.wsmo.validator.Validator

isValid

Field Detail

VALIDATE_IMPORTS

static final String VALIDATE_IMPORTS

See Also:

Constant Field Values

Method Detail

isValid

boolean isValid(TopEntity te,
                String variant,
                List<ValidationError> errorMessages,
                List<ValidationWarning> warningMessages)

Checks whether a WSMO element definition is valid. The notion of "validity" is dependent only on the specific Validator implementation (f.e. a validity check may be whether a definition is compliant with a specific WSML variant)

Parameters:

te - the TopEntity to be validated (ontology, mediator, goal,...)

variant - the Variant for which should be checked

errorMessages - a collection where the validation specific error messages will be added (if any)

warningMessages - a collection where the validation specific warning messages will be added (if any)

Returns:

valid/invalid

See Also:

Ontology

isValid

boolean isValid(LogicalExpression logExpr,
                String variant,
                List<ValidationError> errorMessages,
                List<ValidationWarning> warningMessages)

Checks whether a logical expression is valid. The notion of "validity" is dependent only on the specific Validator implementation (f.e. a validity check may be whether a definition is compliant with a specific WSML variant)

Parameters:

logExpr - the logical expression to be validated

variant - the Variant for which should be checked

errorMessages - a collection where the validation specific error messages will be added (if any)

warningMessages - a collection where the validation specific warning messages will be added (if any)

Returns:

valid/invalid

See Also:

LogicalExpression

determineVariant

String determineVariant(TopEntity te,
                        List<ValidationError> errorMessages,
                        List<ValidationWarning> warningMessages)

Determines the Variant of a topEntity

Parameters:

te - topEntity to be checked.

errorMessages - a collection where the validation specific error messages will be added (if any)

warningMessages - a collection where the validation specific warning messages will be added (if any)

Returns:

The IRI of variant that te is in, null if not valid wsml full

determineVariant

String determineVariant(LogicalExpression logExpr,
                        List<ValidationError> errorMessages,
                        List<ValidationWarning> warningMessages)

Determines the Variant of a logical expression

Parameters:

logExpr - logical expression to be checked.

errorMessages - a collection where the validation specific error messages will be added (if any)

warningMessages - a collection where the validation specific warning messages will be added (if any)

Returns:

The IRI of variant that logExpr is in, null if not valid wsml full