Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
org.eclipse.ocl.expressions.util.ExpressionsValidator Maven / Gradle / Ivy
/**
*
*
* Copyright (c) 2008 IBM Corporation, Zeligsoft Inc., and others.
* 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
*
* Contributors:
* IBM - Initial API and implementation
* Zeligsoft - Bug 207365
*
*
*
* $Id: ExpressionsValidator.java,v 1.3 2010/04/23 05:53:03 ewillink Exp $
*/
package org.eclipse.ocl.expressions.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.ocl.expressions.AssociationClassCallExp;
import org.eclipse.ocl.expressions.BooleanLiteralExp;
import org.eclipse.ocl.expressions.CallExp;
import org.eclipse.ocl.expressions.CollectionItem;
import org.eclipse.ocl.expressions.CollectionKind;
import org.eclipse.ocl.expressions.CollectionLiteralExp;
import org.eclipse.ocl.expressions.CollectionLiteralPart;
import org.eclipse.ocl.expressions.CollectionRange;
import org.eclipse.ocl.expressions.EnumLiteralExp;
import org.eclipse.ocl.expressions.ExpressionsPackage;
import org.eclipse.ocl.expressions.FeatureCallExp;
import org.eclipse.ocl.expressions.IfExp;
import org.eclipse.ocl.expressions.IntegerLiteralExp;
import org.eclipse.ocl.expressions.InvalidLiteralExp;
import org.eclipse.ocl.expressions.IterateExp;
import org.eclipse.ocl.expressions.IteratorExp;
import org.eclipse.ocl.expressions.LetExp;
import org.eclipse.ocl.expressions.LiteralExp;
import org.eclipse.ocl.expressions.LoopExp;
import org.eclipse.ocl.expressions.MessageExp;
import org.eclipse.ocl.expressions.NavigationCallExp;
import org.eclipse.ocl.expressions.NullLiteralExp;
import org.eclipse.ocl.expressions.NumericLiteralExp;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.ocl.expressions.OperationCallExp;
import org.eclipse.ocl.expressions.PrimitiveLiteralExp;
import org.eclipse.ocl.expressions.PropertyCallExp;
import org.eclipse.ocl.expressions.RealLiteralExp;
import org.eclipse.ocl.expressions.StateExp;
import org.eclipse.ocl.expressions.StringLiteralExp;
import org.eclipse.ocl.expressions.TupleLiteralExp;
import org.eclipse.ocl.expressions.TupleLiteralPart;
import org.eclipse.ocl.expressions.TypeExp;
import org.eclipse.ocl.expressions.UnlimitedNaturalLiteralExp;
import org.eclipse.ocl.expressions.UnspecifiedValueExp;
import org.eclipse.ocl.expressions.Variable;
import org.eclipse.ocl.expressions.VariableExp;
import org.eclipse.ocl.internal.OCLPlugin;
/**
*
* The Validator for the model.
*
* @see org.eclipse.ocl.expressions.ExpressionsPackage
* @generated
*/
public class ExpressionsValidator
extends EObjectValidator {
/**
* The cached model package
*
*
* @generated
*/
public static final ExpressionsValidator INSTANCE = new ExpressionsValidator();
/**
* 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.
*
*
* @see org.eclipse.emf.common.util.Diagnostic#getSource()
* @see org.eclipse.emf.common.util.Diagnostic#getCode()
* @generated
*/
public static final String DIAGNOSTIC_SOURCE = "org.eclipse.ocl.expressions"; //$NON-NLS-1$
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Boolean Type' of 'Boolean Literal Exp'.
*
*
* @generated
*/
public static final int BOOLEAN_LITERAL_EXP__BOOLEAN_TYPE = 1;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Item Type' of 'Collection Item'.
*
*
* @generated
*/
public static final int COLLECTION_ITEM__ITEM_TYPE = 2;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check No Collection Instances' of 'Collection Literal Exp'.
*
*
* @generated
*/
public static final int COLLECTION_LITERAL_EXP__NO_COLLECTION_INSTANCES = 3;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Set Kind' of 'Collection Literal Exp'.
*
*
* @generated
*/
public static final int COLLECTION_LITERAL_EXP__SET_KIND = 4;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Sequence Kind' of 'Collection Literal Exp'.
*
*
* @generated
*/
public static final int COLLECTION_LITERAL_EXP__SEQUENCE_KIND = 5;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Bag Kind' of 'Collection Literal Exp'.
*
*
* @generated
*/
public static final int COLLECTION_LITERAL_EXP__BAG_KIND = 6;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Element Type' of 'Collection Literal Exp'.
*
*
* @generated
*/
public static final int COLLECTION_LITERAL_EXP__ELEMENT_TYPE = 7;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Range Type' of 'Collection Range'.
*
*
* @generated
*/
public static final int COLLECTION_RANGE__RANGE_TYPE = 8;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Enum Type' of 'Enum Literal Exp'.
*
*
* @generated
*/
public static final int ENUM_LITERAL_EXP__ENUM_TYPE = 9;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Boolean Condition' of 'If Exp'.
*
*
* @generated
*/
public static final int IF_EXP__BOOLEAN_CONDITION = 10;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check If Type' of 'If Exp'.
*
*
* @generated
*/
public static final int IF_EXP__IF_TYPE = 11;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Integer Type' of 'Integer Literal Exp'.
*
*
* @generated
*/
public static final int INTEGER_LITERAL_EXP__INTEGER_TYPE = 12;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Natural Type' of 'Unlimited Natural Literal Exp'.
*
*
* @generated
*/
public static final int UNLIMITED_NATURAL_LITERAL_EXP__NATURAL_TYPE = 13;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Iterate Type' of 'Iterate Exp'.
*
*
* @generated
*/
public static final int ITERATE_EXP__ITERATE_TYPE = 14;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Body Type' of 'Iterate Exp'.
*
*
* @generated
*/
public static final int ITERATE_EXP__BODY_TYPE = 15;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Result Init' of 'Iterate Exp'.
*
*
* @generated
*/
public static final int ITERATE_EXP__RESULT_INIT = 16;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Source Collection' of 'Loop Exp'.
*
*
* @generated
*/
public static final int LOOP_EXP__SOURCE_COLLECTION = 17;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Loop Variable Init' of 'Loop Exp'.
*
*
* @generated
*/
public static final int LOOP_EXP__LOOP_VARIABLE_INIT = 18;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Loop Variable Type' of 'Loop Exp'.
*
*
* @generated
*/
public static final int LOOP_EXP__LOOP_VARIABLE_TYPE = 19;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Init Type' of 'Variable'.
*
*
* @generated
*/
public static final int VARIABLE__INIT_TYPE = 20;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Boolean Type' of 'Iterator Exp'.
*
*
* @generated
*/
public static final int ITERATOR_EXP__BOOLEAN_TYPE = 21;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Collect Type' of 'Iterator Exp'.
*
*
* @generated
*/
public static final int ITERATOR_EXP__COLLECT_TYPE = 22;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Select Reject Type' of 'Iterator Exp'.
*
*
* @generated
*/
public static final int ITERATOR_EXP__SELECT_REJECT_TYPE = 23;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Boolean Body Type' of 'Iterator Exp'.
*
*
* @generated
*/
public static final int ITERATOR_EXP__BOOLEAN_BODY_TYPE = 24;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Let Type' of 'Let Exp'.
*
*
* @generated
*/
public static final int LET_EXP__LET_TYPE = 25;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Operation Arguments' of 'Message Exp'.
*
*
* @generated
*/
public static final int MESSAGE_EXP__OPERATION_ARGUMENTS = 26;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Signal Arguments' of 'Message Exp'.
*
*
* @generated
*/
public static final int MESSAGE_EXP__SIGNAL_ARGUMENTS = 27;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Target Defines Operation' of 'Message Exp'.
*
*
* @generated
*/
public static final int MESSAGE_EXP__TARGET_DEFINES_OPERATION = 28;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Has Operation Or Signal' of 'Message Exp'.
*
*
* @generated
*/
public static final int MESSAGE_EXP__HAS_OPERATION_OR_SIGNAL = 29;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Target Not Collection' of 'Message Exp'.
*
*
* @generated
*/
public static final int MESSAGE_EXP__TARGET_NOT_COLLECTION = 30;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Arguments Conform' of 'Operation Call Exp'.
*
*
* @generated
*/
public static final int OPERATION_CALL_EXP__ARGUMENTS_CONFORM = 31;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Argument Count' of 'Operation Call Exp'.
*
*
* @generated
*/
public static final int OPERATION_CALL_EXP__ARGUMENT_COUNT = 32;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Property Type' of 'Property Call Exp'.
*
*
* @generated
*/
public static final int PROPERTY_CALL_EXP__PROPERTY_TYPE = 33;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Real Type' of 'Real Literal Exp'.
*
*
* @generated
*/
public static final int REAL_LITERAL_EXP__REAL_TYPE = 34;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check String Type' of 'String Literal Exp'.
*
*
* @generated
*/
public static final int STRING_LITERAL_EXP__STRING_TYPE = 35;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Tuple Type' of 'Tuple Literal Exp'.
*
*
* @generated
*/
public static final int TUPLE_LITERAL_EXP__TUPLE_TYPE = 36;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Parts Unique' of 'Tuple Literal Exp'.
*
*
* @generated
*/
public static final int TUPLE_LITERAL_EXP__PARTS_UNIQUE = 37;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Value Type' of 'Tuple Literal Part'.
*
*
* @generated
*/
public static final int TUPLE_LITERAL_PART__VALUE_TYPE = 38;
/**
* The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Check Var Type' of 'Variable Exp'.
*
*
* @generated
*/
public static final int VARIABLE_EXP__VAR_TYPE = 39;
/**
* A constant with a fixed name that can be used as the base value for additional hand written constants.
*
*
* @generated
*/
private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 39;
/**
* A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
*
*
* @generated
*/
protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
/**
* Creates an instance of the switch.
*
*
* @generated
*/
public ExpressionsValidator() {
super();
}
/**
* Returns the package of this validator switch.
*
*
* @generated
*/
@Override
protected EPackage getEPackage() {
return ExpressionsPackage.eINSTANCE;
}
/**
* Calls validateXXX for the corresponding classifier of the model.
*
*
* @generated
*/
@Override
protected boolean validate(int classifierID, Object value,
DiagnosticChain diagnostics, Map context) {
switch (classifierID) {
case ExpressionsPackage.ASSOCIATION_CLASS_CALL_EXP :
return validateAssociationClassCallExp(
(AssociationClassCallExp) value, diagnostics, context);
case ExpressionsPackage.NAVIGATION_CALL_EXP :
return validateNavigationCallExp(
(NavigationCallExp) value, diagnostics, context);
case ExpressionsPackage.FEATURE_CALL_EXP :
return validateFeatureCallExp((FeatureCallExp) value,
diagnostics, context);
case ExpressionsPackage.CALL_EXP :
return validateCallExp((CallExp) value, diagnostics, context);
case ExpressionsPackage.OCL_EXPRESSION :
return validateOCLExpression((OCLExpression) value,
diagnostics, context);
case ExpressionsPackage.BOOLEAN_LITERAL_EXP :
return validateBooleanLiteralExp((BooleanLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.PRIMITIVE_LITERAL_EXP :
return validatePrimitiveLiteralExp(
(PrimitiveLiteralExp) value, diagnostics, context);
case ExpressionsPackage.LITERAL_EXP :
return validateLiteralExp((LiteralExp) value, diagnostics,
context);
case ExpressionsPackage.COLLECTION_ITEM :
return validateCollectionItem((CollectionItem) value,
diagnostics, context);
case ExpressionsPackage.COLLECTION_LITERAL_PART :
return validateCollectionLiteralPart(
(CollectionLiteralPart) value, diagnostics, context);
case ExpressionsPackage.COLLECTION_LITERAL_EXP :
return validateCollectionLiteralExp(
(CollectionLiteralExp) value, diagnostics, context);
case ExpressionsPackage.COLLECTION_RANGE :
return validateCollectionRange((CollectionRange) value,
diagnostics, context);
case ExpressionsPackage.ENUM_LITERAL_EXP :
return validateEnumLiteralExp((EnumLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.IF_EXP :
return validateIfExp((IfExp) value, diagnostics, context);
case ExpressionsPackage.INTEGER_LITERAL_EXP :
return validateIntegerLiteralExp((IntegerLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.NUMERIC_LITERAL_EXP :
return validateNumericLiteralExp((NumericLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.UNLIMITED_NATURAL_LITERAL_EXP :
return validateUnlimitedNaturalLiteralExp(
(UnlimitedNaturalLiteralExp) value, diagnostics, context);
case ExpressionsPackage.INVALID_LITERAL_EXP :
return validateInvalidLiteralExp((InvalidLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.ITERATE_EXP :
return validateIterateExp((IterateExp) value,
diagnostics, context);
case ExpressionsPackage.LOOP_EXP :
return validateLoopExp((LoopExp) value, diagnostics,
context);
case ExpressionsPackage.VARIABLE :
return validateVariable((Variable) value, diagnostics,
context);
case ExpressionsPackage.ITERATOR_EXP :
return validateIteratorExp((IteratorExp) value,
diagnostics, context);
case ExpressionsPackage.LET_EXP :
return validateLetExp((LetExp) value, diagnostics,
context);
case ExpressionsPackage.MESSAGE_EXP :
return validateMessageExp((MessageExp) value,
diagnostics, context);
case ExpressionsPackage.NULL_LITERAL_EXP :
return validateNullLiteralExp((NullLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.OPERATION_CALL_EXP :
return validateOperationCallExp((OperationCallExp) value,
diagnostics, context);
case ExpressionsPackage.PROPERTY_CALL_EXP :
return validatePropertyCallExp((PropertyCallExp) value,
diagnostics, context);
case ExpressionsPackage.REAL_LITERAL_EXP :
return validateRealLiteralExp((RealLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.STATE_EXP :
return validateStateExp((StateExp) value, diagnostics,
context);
case ExpressionsPackage.STRING_LITERAL_EXP :
return validateStringLiteralExp((StringLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.TUPLE_LITERAL_EXP :
return validateTupleLiteralExp((TupleLiteralExp) value,
diagnostics, context);
case ExpressionsPackage.TUPLE_LITERAL_PART :
return validateTupleLiteralPart((TupleLiteralPart) value,
diagnostics, context);
case ExpressionsPackage.TYPE_EXP :
return validateTypeExp((TypeExp) value, diagnostics, context);
case ExpressionsPackage.UNSPECIFIED_VALUE_EXP :
return validateUnspecifiedValueExp(
(UnspecifiedValueExp) value, diagnostics, context);
case ExpressionsPackage.VARIABLE_EXP :
return validateVariableExp((VariableExp) value,
diagnostics, context);
case ExpressionsPackage.COLLECTION_KIND :
return validateCollectionKind((CollectionKind) value,
diagnostics, context);
default :
return true;
}
}
/**
*
*
* @generated
*/
public boolean validateAssociationClassCallExp(
AssociationClassCallExp associationClassCallExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(associationClassCallExp,
diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateNavigationCallExp(
NavigationCallExp navigationCallExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(navigationCallExp, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateFeatureCallExp(FeatureCallExp featureCallExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(featureCallExp, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateCallExp(CallExp callExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(callExp, diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateOCLExpression(OCLExpression oclExpression,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(oclExpression, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateBooleanLiteralExp(
BooleanLiteralExp booleanLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(booleanLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(booleanLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(booleanLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(booleanLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
booleanLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(booleanLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(booleanLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(booleanLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(booleanLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateBooleanLiteralExp_checkBooleanType(
booleanLiteralExp, diagnostics, context);
return result;
}
/**
* Validates the checkBooleanType constraint of 'Boolean Literal Exp '.
*
*
* @generated
*/
public boolean validateBooleanLiteralExp_checkBooleanType(
BooleanLiteralExp booleanLiteralExp,
DiagnosticChain diagnostics, Map context) {
return booleanLiteralExp.checkBooleanType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validatePrimitiveLiteralExp(
PrimitiveLiteralExp primitiveLiteralExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(primitiveLiteralExp,
diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateLiteralExp(LiteralExp literalExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(literalExp, diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateCollectionItem(CollectionItem collectionItem,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(collectionItem, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(collectionItem,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(collectionItem,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(collectionItem,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
collectionItem, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(collectionItem, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(collectionItem, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(collectionItem, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(collectionItem, diagnostics,
context);
if (result || diagnostics != null)
result &= validateCollectionItem_checkItemType(collectionItem,
diagnostics, context);
return result;
}
/**
* Validates the checkItemType constraint of 'Collection Item '.
*
*
* @generated
*/
public boolean validateCollectionItem_checkItemType(
CollectionItem collectionItem, DiagnosticChain diagnostics,
Map context) {
return collectionItem.checkItemType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateCollectionLiteralPart(
CollectionLiteralPart collectionLiteralPart,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(collectionLiteralPart,
diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateCollectionLiteralExp(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(collectionLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(collectionLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(collectionLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(collectionLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(collectionLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(collectionLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(collectionLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionLiteralExp_checkNoCollectionInstances(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionLiteralExp_checkSetKind(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionLiteralExp_checkSequenceKind(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionLiteralExp_checkBagKind(
collectionLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionLiteralExp_checkElementType(
collectionLiteralExp, diagnostics, context);
return result;
}
/**
* Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp '.
*
*
* @generated
*/
public boolean validateCollectionLiteralExp_checkNoCollectionInstances(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
return collectionLiteralExp.checkNoCollectionInstances(diagnostics,
context);
}
/**
* Validates the checkSetKind constraint of 'Collection Literal Exp '.
*
*
* @generated
*/
public boolean validateCollectionLiteralExp_checkSetKind(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
return collectionLiteralExp.checkSetKind(diagnostics, context);
}
/**
* Validates the checkSequenceKind constraint of 'Collection Literal Exp '.
*
*
* @generated
*/
public boolean validateCollectionLiteralExp_checkSequenceKind(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
return collectionLiteralExp.checkSequenceKind(diagnostics, context);
}
/**
* Validates the checkBagKind constraint of 'Collection Literal Exp '.
*
*
* @generated
*/
public boolean validateCollectionLiteralExp_checkBagKind(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
return collectionLiteralExp.checkBagKind(diagnostics, context);
}
/**
* Validates the checkElementType constraint of 'Collection Literal Exp '.
*
*
* @generated
*/
public boolean validateCollectionLiteralExp_checkElementType(
CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics, Map context) {
return collectionLiteralExp.checkElementType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateCollectionRange(CollectionRange collectionRange,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(collectionRange, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(collectionRange,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(collectionRange,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(collectionRange,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
collectionRange, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(collectionRange, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(collectionRange, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(collectionRange, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(collectionRange,
diagnostics, context);
if (result || diagnostics != null)
result &= validateCollectionRange_checkRangeType(collectionRange,
diagnostics, context);
return result;
}
/**
* Validates the checkRangeType constraint of 'Collection Range '.
*
*
* @generated
*/
public boolean validateCollectionRange_checkRangeType(
CollectionRange collectionRange, DiagnosticChain diagnostics,
Map context) {
return collectionRange.checkRangeType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(enumLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(enumLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(enumLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(enumLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
enumLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(enumLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(enumLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(enumLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(enumLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateEnumLiteralExp_checkEnumType(enumLiteralExp,
diagnostics, context);
return result;
}
/**
* Validates the checkEnumType constraint of 'Enum Literal Exp '.
*
*
* @generated
*/
public boolean validateEnumLiteralExp_checkEnumType(
EnumLiteralExp enumLiteralExp, DiagnosticChain diagnostics,
Map context) {
return enumLiteralExp.checkEnumType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateIfExp(IfExp ifExp, DiagnosticChain diagnostics,
Map context) {
if (!validate_NoCircularContainment(ifExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(ifExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(ifExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(ifExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(ifExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(ifExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(ifExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(ifExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(ifExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateIfExp_checkBooleanCondition(ifExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateIfExp_checkIfType(ifExp, diagnostics, context);
return result;
}
/**
* Validates the checkBooleanCondition constraint of 'If Exp '.
*
*
* @generated
*/
public boolean validateIfExp_checkBooleanCondition(IfExp ifExp,
DiagnosticChain diagnostics, Map context) {
return ifExp.checkBooleanCondition(diagnostics, context);
}
/**
* Validates the checkIfType constraint of 'If Exp '.
*
*
* @generated
*/
public boolean validateIfExp_checkIfType(IfExp ifExp,
DiagnosticChain diagnostics, Map context) {
return ifExp.checkIfType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateIntegerLiteralExp(
IntegerLiteralExp integerLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(integerLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(integerLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(integerLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(integerLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
integerLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(integerLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(integerLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(integerLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(integerLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIntegerLiteralExp_checkIntegerType(
integerLiteralExp, diagnostics, context);
return result;
}
/**
* Validates the checkIntegerType constraint of 'Integer Literal Exp '.
*
*
* @generated
*/
public boolean validateIntegerLiteralExp_checkIntegerType(
IntegerLiteralExp integerLiteralExp,
DiagnosticChain diagnostics, Map context) {
return integerLiteralExp.checkIntegerType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateNumericLiteralExp(
NumericLiteralExp numericLiteralExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(numericLiteralExp, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateUnlimitedNaturalLiteralExp(
UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(unlimitedNaturalLiteralExp,
diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(
unlimitedNaturalLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(
unlimitedNaturalLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(
unlimitedNaturalLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
unlimitedNaturalLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(unlimitedNaturalLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(unlimitedNaturalLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(unlimitedNaturalLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(unlimitedNaturalLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateUnlimitedNaturalLiteralExp_checkNaturalType(
unlimitedNaturalLiteralExp, diagnostics, context);
return result;
}
/**
* Validates the checkNaturalType constraint of 'Unlimited Natural Literal Exp '.
*
*
* @generated
*/
public boolean validateUnlimitedNaturalLiteralExp_checkNaturalType(
UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
DiagnosticChain diagnostics, Map context) {
return unlimitedNaturalLiteralExp
.checkNaturalType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateInvalidLiteralExp(
InvalidLiteralExp invalidLiteralExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(invalidLiteralExp, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateIterateExp(IterateExp iterateExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(iterateExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(iterateExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(iterateExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(iterateExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(iterateExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(iterateExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateLoopExp_checkSourceCollection(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableInit(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableType(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIterateExp_checkIterateType(iterateExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIterateExp_checkBodyType(iterateExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateIterateExp_checkResultInit(iterateExp,
diagnostics, context);
return result;
}
/**
* Validates the checkIterateType constraint of 'Iterate Exp '.
*
*
* @generated
*/
public boolean validateIterateExp_checkIterateType(
IterateExp iterateExp, DiagnosticChain diagnostics,
Map context) {
return iterateExp.checkIterateType(diagnostics, context);
}
/**
* Validates the checkBodyType constraint of 'Iterate Exp '.
*
*
* @generated
*/
public boolean validateIterateExp_checkBodyType(
IterateExp iterateExp, DiagnosticChain diagnostics,
Map context) {
return iterateExp.checkBodyType(diagnostics, context);
}
/**
* Validates the checkResultInit constraint of 'Iterate Exp '.
*
*
* @generated
*/
public boolean validateIterateExp_checkResultInit(
IterateExp iterateExp, DiagnosticChain diagnostics,
Map context) {
return iterateExp.checkResultInit(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateLoopExp(LoopExp loopExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(loopExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(loopExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(loopExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(loopExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(loopExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(loopExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(loopExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(loopExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(loopExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateLoopExp_checkSourceCollection(loopExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableInit(loopExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableType(loopExp,
diagnostics, context);
return result;
}
/**
* Validates the checkSourceCollection constraint of 'Loop Exp '.
*
*
* @generated
*/
public boolean validateLoopExp_checkSourceCollection(LoopExp loopExp,
DiagnosticChain diagnostics, Map context) {
return loopExp.checkSourceCollection(diagnostics, context);
}
/**
* Validates the checkLoopVariableInit constraint of 'Loop Exp '.
*
*
* @generated
*/
public boolean validateLoopExp_checkLoopVariableInit(LoopExp loopExp,
DiagnosticChain diagnostics, Map context) {
return loopExp.checkLoopVariableInit(diagnostics, context);
}
/**
* Validates the checkLoopVariableType constraint of 'Loop Exp '.
*
*
* @generated
*/
public boolean validateLoopExp_checkLoopVariableType(LoopExp loopExp,
DiagnosticChain diagnostics, Map context) {
return loopExp.checkLoopVariableType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateVariable(Variable variable,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(variable, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(variable,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(variable, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(variable, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(variable,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(variable, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(variable, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(variable, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(variable, diagnostics,
context);
if (result || diagnostics != null)
result &= validateVariable_checkInitType(variable, diagnostics,
context);
return result;
}
/**
* Validates the checkInitType constraint of 'Variable '.
*
*
* @generated
*/
public boolean validateVariable_checkInitType(Variable variable,
DiagnosticChain diagnostics, Map context) {
return variable.checkInitType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateIteratorExp(IteratorExp iteratorExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(iteratorExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(iteratorExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(iteratorExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(iteratorExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(iteratorExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(iteratorExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateLoopExp_checkSourceCollection(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableInit(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateLoopExp_checkLoopVariableType(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIteratorExp_checkBooleanType(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIteratorExp_checkCollectType(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIteratorExp_checkSelectRejectType(iteratorExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateIteratorExp_checkBooleanBodyType(iteratorExp,
diagnostics, context);
return result;
}
/**
* Validates the checkBooleanType constraint of 'Iterator Exp '.
*
*
* @generated
*/
public boolean validateIteratorExp_checkBooleanType(
IteratorExp iteratorExp, DiagnosticChain diagnostics,
Map context) {
return iteratorExp.checkBooleanType(diagnostics, context);
}
/**
* Validates the checkCollectType constraint of 'Iterator Exp '.
*
*
* @generated
*/
public boolean validateIteratorExp_checkCollectType(
IteratorExp iteratorExp, DiagnosticChain diagnostics,
Map context) {
return iteratorExp.checkCollectType(diagnostics, context);
}
/**
* Validates the checkSelectRejectType constraint of 'Iterator Exp '.
*
*
* @generated
*/
public boolean validateIteratorExp_checkSelectRejectType(
IteratorExp iteratorExp, DiagnosticChain diagnostics,
Map context) {
return iteratorExp.checkSelectRejectType(diagnostics, context);
}
/**
* Validates the checkBooleanBodyType constraint of 'Iterator Exp '.
*
*
* @generated
*/
public boolean validateIteratorExp_checkBooleanBodyType(
IteratorExp iteratorExp, DiagnosticChain diagnostics,
Map context) {
return iteratorExp.checkBooleanBodyType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateLetExp(LetExp letExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(letExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(letExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(letExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(letExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(letExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(letExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(letExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(letExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(letExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateLetExp_checkLetType(letExp, diagnostics, context);
return result;
}
/**
* Validates the checkLetType constraint of 'Let Exp '.
*
*
* @generated
*/
public boolean validateLetExp_checkLetType(LetExp letExp,
DiagnosticChain diagnostics, Map context) {
return letExp.checkLetType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateMessageExp(MessageExp messageExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(messageExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(messageExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(messageExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(messageExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(messageExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(messageExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateMessageExp_checkOperationArguments(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateMessageExp_checkSignalArguments(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateMessageExp_checkTargetDefinesOperation(
messageExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateMessageExp_checkHasOperationOrSignal(messageExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateMessageExp_checkTargetNotCollection(messageExp,
diagnostics, context);
return result;
}
/**
* Validates the checkOperationArguments constraint of 'Message Exp '.
*
*
* @generated
*/
public boolean validateMessageExp_checkOperationArguments(
MessageExp messageExp, DiagnosticChain diagnostics,
Map context) {
return messageExp.checkOperationArguments(diagnostics, context);
}
/**
* Validates the checkSignalArguments constraint of 'Message Exp '.
*
*
* @generated
*/
public boolean validateMessageExp_checkSignalArguments(
MessageExp messageExp, DiagnosticChain diagnostics,
Map context) {
return messageExp.checkSignalArguments(diagnostics, context);
}
/**
* Validates the checkTargetDefinesOperation constraint of 'Message Exp '.
*
*
* @generated
*/
public boolean validateMessageExp_checkTargetDefinesOperation(
MessageExp messageExp, DiagnosticChain diagnostics,
Map context) {
return messageExp.checkTargetDefinesOperation(diagnostics, context);
}
/**
* Validates the checkHasOperationOrSignal constraint of 'Message Exp '.
*
*
* @generated
*/
public boolean validateMessageExp_checkHasOperationOrSignal(
MessageExp messageExp, DiagnosticChain diagnostics,
Map context) {
return messageExp.checkHasOperationOrSignal(diagnostics, context);
}
/**
* Validates the checkTargetNotCollection constraint of 'Message Exp '.
*
*
* @generated
*/
public boolean validateMessageExp_checkTargetNotCollection(
MessageExp messageExp, DiagnosticChain diagnostics,
Map context) {
return messageExp.checkTargetNotCollection(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(nullLiteralExp, diagnostics,
context);
}
/**
*
*
* @generated
*/
public boolean validateOperationCallExp(
OperationCallExp operationCallExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(operationCallExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(operationCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(operationCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(operationCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
operationCallExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(operationCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(operationCallExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(operationCallExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(operationCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateOperationCallExp_checkArgumentsConform(
operationCallExp, diagnostics, context);
if (result || diagnostics != null)
result &= validateOperationCallExp_checkArgumentCount(
operationCallExp, diagnostics, context);
return result;
}
/**
* Validates the checkArgumentsConform constraint of 'Operation Call Exp '.
*
*
* @generated
*/
public boolean validateOperationCallExp_checkArgumentsConform(
OperationCallExp operationCallExp,
DiagnosticChain diagnostics, Map context) {
return operationCallExp.checkArgumentsConform(diagnostics, context);
}
/**
* Validates the checkArgumentCount constraint of 'Operation Call Exp '.
*
*
* @generated
*/
public boolean validateOperationCallExp_checkArgumentCount(
OperationCallExp operationCallExp,
DiagnosticChain diagnostics, Map context) {
return operationCallExp.checkArgumentCount(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validatePropertyCallExp(
PropertyCallExp propertyCallExp, DiagnosticChain diagnostics,
Map context) {
if (!validate_NoCircularContainment(propertyCallExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(propertyCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(propertyCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(propertyCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
propertyCallExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(propertyCallExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(propertyCallExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(propertyCallExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(propertyCallExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validatePropertyCallExp_checkPropertyType(
propertyCallExp, diagnostics, context);
return result;
}
/**
* Validates the checkPropertyType constraint of 'Property Call Exp '.
*
*
* @generated
*/
public boolean validatePropertyCallExp_checkPropertyType(
PropertyCallExp propertyCallExp, DiagnosticChain diagnostics,
Map context) {
return propertyCallExp.checkPropertyType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(realLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(realLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(realLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(realLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
realLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(realLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(realLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(realLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(realLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateRealLiteralExp_checkRealType(realLiteralExp,
diagnostics, context);
return result;
}
/**
* Validates the checkRealType constraint of 'Real Literal Exp '.
*
*
* @generated
*/
public boolean validateRealLiteralExp_checkRealType(
RealLiteralExp realLiteralExp, DiagnosticChain diagnostics,
Map context) {
return realLiteralExp.checkRealType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateStateExp(StateExp stateExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(stateExp, diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateStringLiteralExp(
StringLiteralExp stringLiteralExp, DiagnosticChain diagnostics,
Map context) {
if (!validate_NoCircularContainment(stringLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(stringLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(stringLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(stringLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
stringLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(stringLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(stringLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(stringLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(stringLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateStringLiteralExp_checkStringType(
stringLiteralExp, diagnostics, context);
return result;
}
/**
* Validates the checkStringType constraint of 'String Literal Exp '.
*
*
* @generated
*/
public boolean validateStringLiteralExp_checkStringType(
StringLiteralExp stringLiteralExp, DiagnosticChain diagnostics,
Map context) {
return stringLiteralExp.checkStringType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateTupleLiteralExp(
TupleLiteralExp tupleLiteralExp, DiagnosticChain diagnostics,
Map context) {
if (!validate_NoCircularContainment(tupleLiteralExp, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(tupleLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(tupleLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(tupleLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
tupleLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(tupleLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(tupleLiteralExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(tupleLiteralExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(tupleLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateTupleLiteralExp_checkTupleType(tupleLiteralExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validateTupleLiteralExp_checkPartsUnique(tupleLiteralExp,
diagnostics, context);
return result;
}
/**
* Validates the checkTupleType constraint of 'Tuple Literal Exp '.
*
*
* @generated
*/
public boolean validateTupleLiteralExp_checkTupleType(
TupleLiteralExp tupleLiteralExp, DiagnosticChain diagnostics,
Map context) {
return tupleLiteralExp.checkTupleType(diagnostics, context);
}
/**
* Validates the checkPartsUnique constraint of 'Tuple Literal Exp '.
*
*
* @generated
*/
public boolean validateTupleLiteralExp_checkPartsUnique(
TupleLiteralExp tupleLiteralExp, DiagnosticChain diagnostics,
Map context) {
return tupleLiteralExp.checkPartsUnique(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateTupleLiteralPart(
TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(tupleLiteralPart, diagnostics,
context))
return false;
boolean result = validate_EveryMultiplicityConforms(tupleLiteralPart,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(tupleLiteralPart,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(tupleLiteralPart,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(
tupleLiteralPart, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(tupleLiteralPart,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_UniqueID(tupleLiteralPart, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(tupleLiteralPart, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(tupleLiteralPart,
diagnostics, context);
if (result || diagnostics != null)
result &= validateTupleLiteralPart_checkValueType(tupleLiteralPart,
diagnostics, context);
return result;
}
/**
* Validates the checkValueType constraint of 'Tuple Literal Part '.
*
*
* @generated
*/
public boolean validateTupleLiteralPart_checkValueType(
TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics, Map context) {
return tupleLiteralPart.checkValueType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateTypeExp(TypeExp typeExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(typeExp, diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateUnspecifiedValueExp(
UnspecifiedValueExp unspecifiedValueExp,
DiagnosticChain diagnostics, Map context) {
return validate_EveryDefaultConstraint(unspecifiedValueExp,
diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateVariableExp(VariableExp variableExp,
DiagnosticChain diagnostics, Map context) {
if (!validate_NoCircularContainment(variableExp, diagnostics, context))
return false;
boolean result = validate_EveryMultiplicityConforms(variableExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryDataValueConforms(variableExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_EveryReferenceIsContained(variableExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryBidirectionalReferenceIsPaired(variableExp,
diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryProxyResolves(variableExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validate_UniqueID(variableExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryKeyUnique(variableExp, diagnostics, context);
if (result || diagnostics != null)
result &= validate_EveryMapEntryUnique(variableExp, diagnostics,
context);
if (result || diagnostics != null)
result &= validateVariableExp_checkVarType(variableExp,
diagnostics, context);
return result;
}
/**
* Validates the checkVarType constraint of 'Variable Exp '.
*
*
* @generated
*/
public boolean validateVariableExp_checkVarType(
VariableExp variableExp, DiagnosticChain diagnostics,
Map context) {
return variableExp.checkVarType(diagnostics, context);
}
/**
*
*
* @generated
*/
public boolean validateCollectionKind(CollectionKind collectionKind,
DiagnosticChain diagnostics, Map context) {
return true;
}
/**
* Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
*
*
* @generated
*/
@Override
public ResourceLocator getResourceLocator() {
return OCLPlugin.INSTANCE;
}
} //ExpressionsValidator
