org.eclipse.ocl.xtext.basecs.util

Class BaseCSValidator

java.lang.Object

EObjectValidator

org.eclipse.ocl.xtext.basecs.util.BaseCSValidator

public class BaseCSValidator
extends EObjectValidator

The Validator for the model.

See Also:

BaseCSPackage

EMF generated code

Field Summary

Fields

Modifier and Type	Field and Description
static String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static BaseCSValidator	INSTANCE The cached model package

Constructor Summary

Constructors

Constructor and Description
BaseCSValidator() Creates an instance of the switch.

Method Summary

Modifier and Type	Method and Description
ResourceLocator	getResourceLocator() Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
boolean	validate_EveryProxyResolves(EObject eObject, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnnotationCS(AnnotationCS annotationCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnnotationElementCS(AnnotationElementCS annotationElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAttributeCS(AttributeCS attributeCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBigNumber(Number bigNumber, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClassCS(ClassCS classCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstraintCS(ConstraintCS constraintCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateContextLessElementCS(ContextLessElementCS contextLessElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataTypeCS(DataTypeCS dataTypeCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDetailCS(DetailCS detailCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDocumentationCS(DocumentationCS documentationCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateElementCS(ElementCS elementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateElementRefCS(ElementRefCS elementRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumerationCS(EnumerationCS enumerationCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumerationLiteralCS(EnumerationLiteralCS enumerationLiteralCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeatureCS(FeatureCS featureCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateImportCS(ImportCS importCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLambdaTypeCS(LambdaTypeCS lambdaTypeCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateModelElementCS(ModelElementCS modelElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateModelElementRefCS(ModelElementRefCS modelElementRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMultiplicityBoundsCS(MultiplicityBoundsCS multiplicityBoundsCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMultiplicityCS(MultiplicityCS multiplicityCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMultiplicityStringCS(MultiplicityStringCS multiplicityStringCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamedElementCS(NamedElementCS namedElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamespaceCS(NamespaceCS namespaceCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOperationCS(OperationCS operationCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePackageCS(PackageCS packageCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePackageOwnerCS(PackageOwnerCS packageOwnerCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParameterCS(ParameterCS parameterCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePathElementCS(PathElementCS pathElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePathElementWithURICS(PathElementWithURICS pathElementWithURICS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePathNameCS(PathNameCS pathNameCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePivotableElementCS(PivotableElementCS pivotableElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePrimitiveTypeRefCS(PrimitiveTypeRefCS primitiveTypeRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateReferenceCS(ReferenceCS referenceCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRootCS_TestConstraint(RootCS rootCS, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the TestConstraint constraint of 'Root CS'.
boolean	validateRootCS(RootCS rootCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRootPackageCS(RootPackageCS rootPackageCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateScopeFilter(ScopeFilter scopeFilter, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSpecificationCS(SpecificationCS specificationCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStructuralFeatureCS(StructuralFeatureCS structuralFeatureCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStructuredClassCS(StructuredClassCS structuredClassCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTemplateableElementCS(TemplateableElementCS templateableElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTemplateBindingCS(TemplateBindingCS templateBindingCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTemplateParameterCS(TemplateParameterCS templateParameterCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTemplateParameterSubstitutionCS(TemplateParameterSubstitutionCS templateParameterSubstitutionCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTemplateSignatureCS(TemplateSignatureCS templateSignatureCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTuplePartCS(TuplePartCS tuplePartCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTupleTypeCS(TupleTypeCS tupleTypeCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeCS(TypeCS typeCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypedElementCS(TypedElementCS typedElementCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypedRefCS(TypedRefCS typedRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypedTypeRefCS(TypedTypeRefCS typedTypeRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeParameterCS(TypeParameterCS typeParameterCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeRefCS(TypeRefCS typeRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVisitableCS(VisitableCS visitableCS, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateWildcardTypeRefCS(WildcardTypeRefCS wildcardTypeRefCS, DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final BaseCSValidator INSTANCE

The cached model package

EMF generated code

DIAGNOSTIC_SOURCE

public static final String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic, Diagnostic, Constant Field Values

EMF generated code

Constructor Detail

BaseCSValidator

public BaseCSValidator()

Creates an instance of the switch.

EMF generated code

Method Detail

validateAnnotationCS

public boolean validateAnnotationCS(AnnotationCS annotationCS,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

EMF generated code

validateAnnotationElementCS

public boolean validateAnnotationElementCS(AnnotationElementCS annotationElementCS,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

EMF generated code

validateAttributeCS

public boolean validateAttributeCS(AttributeCS attributeCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateClassCS

public boolean validateClassCS(ClassCS classCS,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

EMF generated code

validateConstraintCS

public boolean validateConstraintCS(ConstraintCS constraintCS,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

EMF generated code

validateContextLessElementCS

public boolean validateContextLessElementCS(ContextLessElementCS contextLessElementCS,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

EMF generated code

validateDataTypeCS

public boolean validateDataTypeCS(DataTypeCS dataTypeCS,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

EMF generated code

validateDetailCS

public boolean validateDetailCS(DetailCS detailCS,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

EMF generated code

validateDocumentationCS

public boolean validateDocumentationCS(DocumentationCS documentationCS,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

EMF generated code

validateElementCS

public boolean validateElementCS(ElementCS elementCS,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validateElementRefCS

public boolean validateElementRefCS(ElementRefCS elementRefCS,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

EMF generated code

validateEnumerationCS

public boolean validateEnumerationCS(EnumerationCS enumerationCS,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

EMF generated code

validateEnumerationLiteralCS

public boolean validateEnumerationLiteralCS(EnumerationLiteralCS enumerationLiteralCS,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

EMF generated code

validateFeatureCS

public boolean validateFeatureCS(FeatureCS featureCS,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validateImportCS

public boolean validateImportCS(ImportCS importCS,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

EMF generated code

validateLambdaTypeCS

public boolean validateLambdaTypeCS(LambdaTypeCS lambdaTypeCS,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

EMF generated code

validateModelElementCS

public boolean validateModelElementCS(ModelElementCS modelElementCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateModelElementRefCS

public boolean validateModelElementRefCS(ModelElementRefCS modelElementRefCS,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

EMF generated code

validateMultiplicityBoundsCS

public boolean validateMultiplicityBoundsCS(MultiplicityBoundsCS multiplicityBoundsCS,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

EMF generated code

validateMultiplicityCS

public boolean validateMultiplicityCS(MultiplicityCS multiplicityCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateMultiplicityStringCS

public boolean validateMultiplicityStringCS(MultiplicityStringCS multiplicityStringCS,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

EMF generated code

validateNamedElementCS

public boolean validateNamedElementCS(NamedElementCS namedElementCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateNamespaceCS

public boolean validateNamespaceCS(NamespaceCS namespaceCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateOperationCS

public boolean validateOperationCS(OperationCS operationCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validatePackageCS

public boolean validatePackageCS(PackageCS packageCS,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validatePackageOwnerCS

public boolean validatePackageOwnerCS(PackageOwnerCS packageOwnerCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateParameterCS

public boolean validateParameterCS(ParameterCS parameterCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validatePathElementCS

public boolean validatePathElementCS(PathElementCS pathElementCS,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

EMF generated code

validatePathElementWithURICS

public boolean validatePathElementWithURICS(PathElementWithURICS pathElementWithURICS,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

EMF generated code

validatePathNameCS

public boolean validatePathNameCS(PathNameCS pathNameCS,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

EMF generated code

validatePivotableElementCS

public boolean validatePivotableElementCS(PivotableElementCS pivotableElementCS,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

EMF generated code

validatePrimitiveTypeRefCS

public boolean validatePrimitiveTypeRefCS(PrimitiveTypeRefCS primitiveTypeRefCS,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

EMF generated code

validateReferenceCS

public boolean validateReferenceCS(ReferenceCS referenceCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateRootCS

public boolean validateRootCS(RootCS rootCS,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

EMF generated code

validateRootCS_TestConstraint

public boolean validateRootCS_TestConstraint(RootCS rootCS,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Validates the TestConstraint constraint of 'Root CS'.

EMF generated code

validateRootPackageCS

public boolean validateRootPackageCS(RootPackageCS rootPackageCS,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

EMF generated code

validateSpecificationCS

public boolean validateSpecificationCS(SpecificationCS specificationCS,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

EMF generated code

validateStructuredClassCS

public boolean validateStructuredClassCS(StructuredClassCS structuredClassCS,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

EMF generated code

validateStructuralFeatureCS

public boolean validateStructuralFeatureCS(StructuralFeatureCS structuralFeatureCS,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

EMF generated code

validateTemplateBindingCS

public boolean validateTemplateBindingCS(TemplateBindingCS templateBindingCS,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

EMF generated code

validateTemplateParameterCS

public boolean validateTemplateParameterCS(TemplateParameterCS templateParameterCS,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

EMF generated code

validateTemplateParameterSubstitutionCS

public boolean validateTemplateParameterSubstitutionCS(TemplateParameterSubstitutionCS templateParameterSubstitutionCS,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

EMF generated code

validateTemplateSignatureCS

public boolean validateTemplateSignatureCS(TemplateSignatureCS templateSignatureCS,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

EMF generated code

validateTemplateableElementCS

public boolean validateTemplateableElementCS(TemplateableElementCS templateableElementCS,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

EMF generated code

validateTuplePartCS

public boolean validateTuplePartCS(TuplePartCS tuplePartCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateTupleTypeCS

public boolean validateTupleTypeCS(TupleTypeCS tupleTypeCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateTypeCS

public boolean validateTypeCS(TypeCS typeCS,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

EMF generated code

validateTypeParameterCS

public boolean validateTypeParameterCS(TypeParameterCS typeParameterCS,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

EMF generated code

validateTypeRefCS

public boolean validateTypeRefCS(TypeRefCS typeRefCS,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validateTypedElementCS

public boolean validateTypedElementCS(TypedElementCS typedElementCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateTypedRefCS

public boolean validateTypedRefCS(TypedRefCS typedRefCS,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

EMF generated code

validateTypedTypeRefCS

public boolean validateTypedTypeRefCS(TypedTypeRefCS typedTypeRefCS,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

EMF generated code

validateVisitableCS

public boolean validateVisitableCS(VisitableCS visitableCS,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

validateWildcardTypeRefCS

public boolean validateWildcardTypeRefCS(WildcardTypeRefCS wildcardTypeRefCS,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

EMF generated code

validateBigNumber

public boolean validateBigNumber(Number bigNumber,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validateScopeFilter

public boolean validateScopeFilter(ScopeFilter scopeFilter,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

EMF generated code

getResourceLocator

public ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

EMF generated code

validate_EveryProxyResolves

public boolean validate_EveryProxyResolves(EObject eObject,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)