org.eclipse.uml2.uml.internal.operations.StructuralFeatureActionOperations Maven / Gradle / Ivy
/*
* Copyright (c) 2005, 2011 IBM Corporation, CEA, 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
* Kenn Hussey (CEA) - 327039, 351774
*
*/
package org.eclipse.uml2.uml.internal.operations;
import java.util.Map;
import org.eclipse.emf.common.util.BasicDiagnostic;
import org.eclipse.emf.common.util.Diagnostic;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.uml2.uml.StructuralFeatureAction;
import org.eclipse.uml2.uml.util.UMLValidator;
/**
*
* A static utility class that provides operations related to 'Structural Feature Action' model objects.
*
*
*
* The following operations are supported:
*
* - {@link org.eclipse.uml2.uml.StructuralFeatureAction#validateVisibility(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Validate Visibility}
* - {@link org.eclipse.uml2.uml.StructuralFeatureAction#validateMultiplicity(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Validate Multiplicity}
* - {@link org.eclipse.uml2.uml.StructuralFeatureAction#validateNotStatic(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Validate Not Static}
* - {@link org.eclipse.uml2.uml.StructuralFeatureAction#validateOneFeaturingClassifier(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Validate One Featuring Classifier}
* - {@link org.eclipse.uml2.uml.StructuralFeatureAction#validateSameType(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Validate Same Type}
*
*
*
* @generated
*/
public class StructuralFeatureActionOperations
extends ActionOperations {
/**
*
*
* @generated
*/
protected StructuralFeatureActionOperations() {
super();
}
/**
*
*
*
* The structural feature must not be static.
* self.structuralFeature.isStatic = #false
* @param structuralFeatureAction The receiving 'Structural Feature Action' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @generated
*/
public static boolean validateNotStatic(
StructuralFeatureAction structuralFeatureAction,
DiagnosticChain diagnostics, Map context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics
.add(new BasicDiagnostic(
Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.STRUCTURAL_FEATURE_ACTION__NOT_STATIC,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE
.getString(
"_UI_GenericInvariant_diagnostic", new Object[]{"validateNotStatic", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(structuralFeatureAction, context)}), //$NON-NLS-1$ //$NON-NLS-2$
new Object[]{structuralFeatureAction}));
}
return false;
}
return true;
}
/**
*
*
*
* The structural feature must either be owned by the type of the object input pin, or it must be an owned end of a binary association with the type of the opposite end being the type of the object input pin.
* self.structuralFeature.featuringClassifier.oclAsType(Type)->includes(self.object.type) or
* self.structuralFeature.oclAsType(Property).opposite.type = self.object.type
* @param structuralFeatureAction The receiving 'Structural Feature Action' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @generated
*/
public static boolean validateSameType(
StructuralFeatureAction structuralFeatureAction,
DiagnosticChain diagnostics, Map context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics
.add(new BasicDiagnostic(
Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.STRUCTURAL_FEATURE_ACTION__SAME_TYPE,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE
.getString(
"_UI_GenericInvariant_diagnostic", new Object[]{"validateSameType", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(structuralFeatureAction, context)}), //$NON-NLS-1$ //$NON-NLS-2$
new Object[]{structuralFeatureAction}));
}
return false;
}
return true;
}
/**
*
*
*
* The multiplicity of the object input pin must be 1..1.
* self.object.lowerBound()=1 and self.object.upperBound()=1
* @param structuralFeatureAction The receiving 'Structural Feature Action' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @generated
*/
public static boolean validateMultiplicity(
StructuralFeatureAction structuralFeatureAction,
DiagnosticChain diagnostics, Map context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics
.add(new BasicDiagnostic(
Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.STRUCTURAL_FEATURE_ACTION__MULTIPLICITY,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE
.getString(
"_UI_GenericInvariant_diagnostic", new Object[]{"validateMultiplicity", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(structuralFeatureAction, context)}), //$NON-NLS-1$ //$NON-NLS-2$
new Object[]{structuralFeatureAction}));
}
return false;
}
return true;
}
/**
*
*
*
* Visibility of structural feature must allow access to the object performing the action.
* let host : Classifier = self.context in
* self.structuralFeature.visibility = #public
* or host = self.structuralFeature.featuringClassifier.type
* or (self.structuralFeature.visibility = #protected and host.allSupertypes
* ->includes(self.structuralFeature.featuringClassifier.type)))
*
* @param structuralFeatureAction The receiving 'Structural Feature Action' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @generated
*/
public static boolean validateVisibility(
StructuralFeatureAction structuralFeatureAction,
DiagnosticChain diagnostics, Map context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics
.add(new BasicDiagnostic(
Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.STRUCTURAL_FEATURE_ACTION__VISIBILITY,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE
.getString(
"_UI_GenericInvariant_diagnostic", new Object[]{"validateVisibility", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(structuralFeatureAction, context)}), //$NON-NLS-1$ //$NON-NLS-2$
new Object[]{structuralFeatureAction}));
}
return false;
}
return true;
}
/**
*
*
*
* A structural feature has exactly one featuringClassifier.
* self.structuralFeature.featuringClassifier->size() = 1
* @param structuralFeatureAction The receiving 'Structural Feature Action' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @generated
*/
public static boolean validateOneFeaturingClassifier(
StructuralFeatureAction structuralFeatureAction,
DiagnosticChain diagnostics, Map context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics
.add(new BasicDiagnostic(
Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.STRUCTURAL_FEATURE_ACTION__ONE_FEATURING_CLASSIFIER,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE
.getString(
"_UI_GenericInvariant_diagnostic", new Object[]{"validateOneFeaturingClassifier", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(structuralFeatureAction, context)}), //$NON-NLS-1$ //$NON-NLS-2$
new Object[]{structuralFeatureAction}));
}
return false;
}
return true;
}
} // StructuralFeatureActionOperations