blob: e74fdbb9b1f5938d8192b3bfa1abec3503239554 [file] [log] [blame]
/*******************************************************************************
* CHESS core plugin
*
* Copyright (C) 2011-2015
* Mälardalen University, Sweden
*
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License
* v1.0 which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*******************************************************************************/
/**
*/
package org.polarsys.chess.fla.flaxml.util;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.common.util.ResourceLocator;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.util.EObjectValidator;
import org.eclipse.emf.ecore.xml.type.util.XMLTypeUtil;
import org.eclipse.emf.ecore.xml.type.util.XMLTypeValidator;
import org.polarsys.chess.fla.flaxml.Component;
import org.polarsys.chess.fla.flaxml.Components;
import org.polarsys.chess.fla.flaxml.CompositeComponent;
import org.polarsys.chess.fla.flaxml.Connection;
import org.polarsys.chess.fla.flaxml.Connections;
import org.polarsys.chess.fla.flaxml.DocumentRoot;
import org.polarsys.chess.fla.flaxml.Failure;
import org.polarsys.chess.fla.flaxml.FailureType;
import org.polarsys.chess.fla.flaxml.FlaxmlPackage;
import org.polarsys.chess.fla.flaxml.FptcRules;
import org.polarsys.chess.fla.flaxml.InputPort;
import org.polarsys.chess.fla.flaxml.InputPorts;
import org.polarsys.chess.fla.flaxml.NamedElement;
import org.polarsys.chess.fla.flaxml.OutputPort;
import org.polarsys.chess.fla.flaxml.OutputPorts;
import org.polarsys.chess.fla.flaxml.RuleString;
import org.polarsys.chess.fla.flaxml.SimpleComponent;
/**
* <!-- begin-user-doc -->
* The <b>Validator</b> for the model.
* <!-- end-user-doc -->
* @see org.polarsys.chess.fla.flaxml.FlaxmlPackage
* @generated
*/
public class FlaxmlValidator extends EObjectValidator {
/**
* The cached model package
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static final FlaxmlValidator INSTANCE = new FlaxmlValidator();
/**
* A constant for the {@link org.eclipse.emf.common.util.Diagnostic#getSource() source} of diagnostic {@link org.eclipse.emf.common.util.Diagnostic#getCode() codes} from this package.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.eclipse.emf.common.util.Diagnostic#getSource()
* @see org.eclipse.emf.common.util.Diagnostic#getCode()
* @generated
*/
public static final String DIAGNOSTIC_SOURCE = "org.polarsys.chess.fla.flaxml";
/**
* A constant with a fixed name that can be used as the base value for additional hand written constants.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 0;
/**
* A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
/**
* The cached base package validator.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected XMLTypeValidator xmlTypeValidator;
/**
* Creates an instance of the switch.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public FlaxmlValidator() {
super();
xmlTypeValidator = XMLTypeValidator.INSTANCE;
}
/**
* Returns the package of this validator switch.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
protected EPackage getEPackage() {
return FlaxmlPackage.eINSTANCE;
}
/**
* Calls <code>validateXXX</code> for the corresponding classifier of the model.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
switch (classifierID) {
case FlaxmlPackage.COMPONENT:
return validateComponent((Component)value, diagnostics, context);
case FlaxmlPackage.COMPONENTS:
return validateComponents((Components)value, diagnostics, context);
case FlaxmlPackage.COMPOSITE_COMPONENT:
return validateCompositeComponent((CompositeComponent)value, diagnostics, context);
case FlaxmlPackage.CONNECTION:
return validateConnection((Connection)value, diagnostics, context);
case FlaxmlPackage.CONNECTIONS:
return validateConnections((Connections)value, diagnostics, context);
case FlaxmlPackage.DOCUMENT_ROOT:
return validateDocumentRoot((DocumentRoot)value, diagnostics, context);
case FlaxmlPackage.FAILURE:
return validateFailure((Failure)value, diagnostics, context);
case FlaxmlPackage.FPTC_RULES:
return validateFptcRules((FptcRules)value, diagnostics, context);
case FlaxmlPackage.INPUT_PORT:
return validateInputPort((InputPort)value, diagnostics, context);
case FlaxmlPackage.INPUT_PORTS:
return validateInputPorts((InputPorts)value, diagnostics, context);
case FlaxmlPackage.NAMED_ELEMENT:
return validateNamedElement((NamedElement)value, diagnostics, context);
case FlaxmlPackage.OUTPUT_PORT:
return validateOutputPort((OutputPort)value, diagnostics, context);
case FlaxmlPackage.OUTPUT_PORTS:
return validateOutputPorts((OutputPorts)value, diagnostics, context);
case FlaxmlPackage.RULE_STRING:
return validateRuleString((RuleString)value, diagnostics, context);
case FlaxmlPackage.SIMPLE_COMPONENT:
return validateSimpleComponent((SimpleComponent)value, diagnostics, context);
case FlaxmlPackage.SYSTEM:
return validateSystem((org.polarsys.chess.fla.flaxml.System)value, diagnostics, context);
case FlaxmlPackage.FAILURE_TYPE:
return validateFailureType((FailureType)value, diagnostics, context);
case FlaxmlPackage.FAILURE_TYPE_OBJECT:
return validateFailureTypeObject((FailureType)value, diagnostics, context);
case FlaxmlPackage.PATTERN_TYPE:
return validatePatternType((String)value, diagnostics, context);
default:
return true;
}
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateComponent(Component component, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(component, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateComponents(Components components, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(components, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateCompositeComponent(CompositeComponent compositeComponent, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(compositeComponent, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateConnection(Connection connection, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(connection, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateConnections(Connections connections, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(connections, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateDocumentRoot(DocumentRoot documentRoot, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(documentRoot, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateFailure(Failure failure, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(failure, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateFptcRules(FptcRules fptcRules, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(fptcRules, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateInputPort(InputPort inputPort, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(inputPort, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateInputPorts(InputPorts inputPorts, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(inputPorts, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(namedElement, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateOutputPort(OutputPort outputPort, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(outputPort, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateOutputPorts(OutputPorts outputPorts, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(outputPorts, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateRuleString(RuleString ruleString, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(ruleString, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateSimpleComponent(SimpleComponent simpleComponent, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(simpleComponent, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateSystem(org.polarsys.chess.fla.flaxml.System system, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validate_EveryDefaultConstraint(system, diagnostics, context);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateFailureType(FailureType failureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
return true;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validateFailureTypeObject(FailureType failureTypeObject, DiagnosticChain diagnostics, Map<Object, Object> context) {
return true;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validatePatternType(String patternType, DiagnosticChain diagnostics, Map<Object, Object> context) {
boolean result = validatePatternType_Pattern(patternType, diagnostics, context);
return result;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @see #validatePatternType_Pattern
*/
public static final PatternMatcher [][] PATTERN_TYPE__PATTERN__VALUES =
new PatternMatcher [][] {
new PatternMatcher [] {
XMLTypeUtil.createPatternMatcher("[^>]+\\.[^>]+->[^>]+\\.[^>]+")
}
};
/**
* Validates the Pattern constraint of '<em>Pattern Type</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public boolean validatePatternType_Pattern(String patternType, DiagnosticChain diagnostics, Map<Object, Object> context) {
return validatePattern(FlaxmlPackage.Literals.PATTERN_TYPE, patternType, PATTERN_TYPE__PATTERN__VALUES, diagnostics, context);
}
/**
* Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public ResourceLocator getResourceLocator() {
// TODO
// Specialize this to return a resource locator for messages specific to this validator.
// Ensure that you remove @generated or mark it @generated NOT
return super.getResourceLocator();
}
} //FlaxmlValidator