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


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.