| /**
|
| * <copyright>
|
| *
|
| * Copyright (c) 2015, 2020 Willink Transformations and others.
|
| * All rights reserved. This program and the accompanying materials
|
| * are made available under the terms of the Eclipse Public License v2.0
|
| * which accompanies this distribution, and is available at
|
| * http://www.eclipse.org/legal/epl-v20.html
|
| *
|
| * Contributors:
|
| * E.D.Willink - Initial API and implementation
|
| *
|
| * </copyright>
|
| */ |
| package org.eclipse.ocl.examples.xtext.tests.codegen.company.impl;
|
|
|
| import java.lang.reflect.InvocationTargetException;
|
| import java.util.Iterator;
|
| import java.util.List;
|
| import java.util.Map;
|
|
|
| import org.eclipse.emf.common.notify.Notification;
|
| import org.eclipse.emf.common.notify.NotificationChain;
|
| import org.eclipse.emf.common.util.DiagnosticChain;
|
| import org.eclipse.emf.common.util.EList;
|
| import org.eclipse.emf.ecore.EClass;
|
| import org.eclipse.emf.ecore.InternalEObject;
|
| import org.eclipse.emf.ecore.impl.ENotificationImpl;
|
| import org.eclipse.emf.ecore.impl.EObjectImpl;
|
| import org.eclipse.emf.ecore.util.EcoreUtil;
|
| import org.eclipse.jdt.annotation.NonNull;
|
| import org.eclipse.jdt.annotation.Nullable;
|
| import org.eclipse.ocl.examples.xtext.tests.codegen.company.CodegencompanyPackage;
|
| import org.eclipse.ocl.examples.xtext.tests.codegen.company.CodegencompanyTables;
|
| import org.eclipse.ocl.examples.xtext.tests.codegen.company.Company;
|
| import org.eclipse.ocl.examples.xtext.tests.codegen.company.Employee;
|
| import org.eclipse.ocl.pivot.evaluation.Executor;
|
| import org.eclipse.ocl.pivot.ids.IdResolver;
|
| import org.eclipse.ocl.pivot.ids.IdResolver.IdResolverExtension;
|
| import org.eclipse.ocl.pivot.ids.TypeId;
|
| import org.eclipse.ocl.pivot.library.classifier.ClassifierAllInstancesOperation;
|
| import org.eclipse.ocl.pivot.library.collection.CollectionIncludesOperation;
|
| import org.eclipse.ocl.pivot.library.collection.CollectionNotEmptyOperation;
|
| import org.eclipse.ocl.pivot.library.collection.CollectionSizeOperation;
|
| import org.eclipse.ocl.pivot.library.collection.OrderedCollectionPrependOperation;
|
| import org.eclipse.ocl.pivot.library.oclany.OclAnyOclAsSetOperation;
|
| import org.eclipse.ocl.pivot.library.oclany.OclComparableGreaterThanOperation;
|
| import org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation;
|
| import org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation;
|
| import org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation;
|
| import org.eclipse.ocl.pivot.library.string.StringSizeOperation;
|
| import org.eclipse.ocl.pivot.utilities.PivotUtil;
|
| import org.eclipse.ocl.pivot.utilities.ValueUtil;
|
| import org.eclipse.ocl.pivot.values.IntegerValue;
|
| import org.eclipse.ocl.pivot.values.InvalidValueException;
|
| import org.eclipse.ocl.pivot.values.OrderedSetValue;
|
| import org.eclipse.ocl.pivot.values.OrderedSetValue.Accumulator;
|
| import org.eclipse.ocl.pivot.values.SetValue;
|
| import org.eclipse.ocl.pivot.values.TupleValue;
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * An implementation of the model object '<em><b>Employee</b></em>'.
|
| * <!-- end-user-doc -->
|
| * <p>
|
| * The following features are implemented:
|
| * </p>
|
| * <ul>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getName <em>Name</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getManager <em>Manager</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getCompany <em>Company</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getDirectReports <em>Direct Reports</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getAllReports <em>All Reports</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#getReportingChain <em>Reporting Chain</em>}</li>
|
| * <li>{@link org.eclipse.ocl.examples.xtext.tests.codegen.company.impl.EmployeeImpl#isHasNameAsAttribute <em>Has Name As Attribute</em>}</li>
|
| * </ul>
|
| *
|
| * @generated
|
| */
|
| public class EmployeeImpl extends EObjectImpl implements Employee {
|
| /**
|
| * The number of structural features of the '<em>Employee</em>' class.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| * @ordered
|
| */
|
| public static final int EMPLOYEE_FEATURE_COUNT = 7;
|
|
|
| /**
|
| * The number of operations of the '<em>Employee</em>' class.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| * @ordered
|
| */
|
| public static final int EMPLOYEE_OPERATION_COUNT = 5;
|
|
|
| /**
|
| * The default value of the '{@link #getName() <em>Name</em>}' attribute.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @see #getName()
|
| * @generated
|
| * @ordered
|
| */
|
| protected static final String NAME_EDEFAULT = null;
|
|
|
| /**
|
| * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @see #getName()
|
| * @generated
|
| * @ordered
|
| */
|
| protected String name = NAME_EDEFAULT;
|
|
|
| /**
|
| * The cached value of the '{@link #getManager() <em>Manager</em>}' reference.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @see #getManager()
|
| * @generated
|
| * @ordered
|
| */
|
| protected Employee manager;
|
|
|
| /**
|
| * The default value of the '{@link #isHasNameAsAttribute() <em>Has Name As Attribute</em>}' attribute.
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @see #isHasNameAsAttribute()
|
| * @generated
|
| * @ordered
|
| */
|
| protected static final boolean HAS_NAME_AS_ATTRIBUTE_EDEFAULT = false;
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| protected EmployeeImpl() {
|
| super();
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| protected EClass eStaticClass() {
|
| return CodegencompanyPackage.Literals.EMPLOYEE;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public String getName() {
|
| return name;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public void setName(String newName) {
|
| String oldName = name;
|
| name = newName;
|
| if (eNotificationRequired())
|
| eNotify(new ENotificationImpl(this, Notification.SET, 0, oldName, name));
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public Employee getManager() {
|
| if (manager != null && manager.eIsProxy()) {
|
| InternalEObject oldManager = (InternalEObject)manager;
|
| manager = (Employee)eResolveProxy(oldManager);
|
| if (manager != oldManager) {
|
| if (eNotificationRequired())
|
| eNotify(new ENotificationImpl(this, Notification.RESOLVE, 1, oldManager, manager));
|
| }
|
| }
|
| return manager;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| public Employee basicGetManager() {
|
| return manager;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public void setManager(Employee newManager) {
|
| Employee oldManager = manager;
|
| manager = newManager;
|
| if (eNotificationRequired())
|
| eNotify(new ENotificationImpl(this, Notification.SET, 1, oldManager, manager));
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public Company getCompany() {
|
| if (eContainerFeatureID() != (2)) return null;
|
| return (Company)eInternalContainer();
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| public NotificationChain basicSetCompany(Company newCompany, NotificationChain msgs) {
|
| msgs = eBasicSetContainer((InternalEObject)newCompany, 2, msgs);
|
| return msgs;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public void setCompany(Company newCompany) {
|
| if (newCompany != eInternalContainer() || (eContainerFeatureID() != (2) && newCompany != null)) {
|
| if (EcoreUtil.isAncestor(this, newCompany))
|
| throw new IllegalArgumentException("Recursive containment not allowed for " + toString()); //$NON-NLS-1$
|
| NotificationChain msgs = null;
|
| if (eInternalContainer() != null)
|
| msgs = eBasicRemoveFromContainer(msgs);
|
| if (newCompany != null)
|
| msgs = ((InternalEObject)newCompany).eInverseAdd(this, 1, Company.class, msgs);
|
| msgs = basicSetCompany(newCompany, msgs);
|
| if (msgs != null) msgs.dispatch();
|
| }
|
| else if (eNotificationRequired())
|
| eNotify(new ENotificationImpl(this, Notification.SET, 2, newCompany, newCompany));
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public EList<Employee> getDirectReports() {
|
| /**
|
| * company.employees->select(manager = self)
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IdResolver idResolver = executor.getIdResolver();
|
| @SuppressWarnings("null")
|
| final /*@NonInvalid*/ @NonNull Company company = this.getCompany();
|
| @SuppressWarnings("null")
|
| final /*@NonInvalid*/ @NonNull List<Employee> employees = company.getEmployees();
|
| final /*@NonInvalid*/ @NonNull OrderedSetValue BOXED_employees = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, employees);
|
| /*@Thrown*/ @NonNull Accumulator accumulator = ValueUtil.createOrderedSetAccumulatorValue(CodegencompanyTables.ORD_CLSSid_Employee);
|
| @NonNull Iterator<Object> ITERATOR__1 = BOXED_employees.iterator();
|
| /*@NonInvalid*/ @NonNull OrderedSetValue select;
|
| while (true) {
|
| if (!ITERATOR__1.hasNext()) {
|
| select = accumulator;
|
| break;
|
| }
|
| @SuppressWarnings("null")
|
| /*@NonInvalid*/ @NonNull Employee _1 = (@NonNull Employee)ITERATOR__1.next();
|
| /**
|
| * manager = self
|
| */
|
| final /*@NonInvalid*/ @Nullable Employee manager_0 = _1.getManager();
|
| final /*@NonInvalid*/ boolean eq = this.equals(manager_0);
|
| //
|
| if (eq) {
|
| accumulator.add(_1);
|
| }
|
| }
|
| final /*@NonInvalid*/ @NonNull List<Employee> ECORE_select = ((IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, select);
|
| return (EList<Employee>)ECORE_select;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public EList<Employee> getAllReports() {
|
| /**
|
| * Employee.allInstances()->select(reportsTo(self))
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IdResolver idResolver = executor.getIdResolver();
|
| final /*@NonInvalid*/ org.eclipse.ocl.pivot.@NonNull Class TYP_company_c_c_Employee_0 = idResolver.getClass(CodegencompanyTables.CLSSid_Employee, null);
|
| final /*@NonInvalid*/ @NonNull SetValue allInstances = ClassifierAllInstancesOperation.INSTANCE.evaluate(executor, CodegencompanyTables.SET_CLSSid_Employee, TYP_company_c_c_Employee_0);
|
| /*@Thrown*/ org.eclipse.ocl.pivot.values.SetValue.@NonNull Accumulator accumulator = ValueUtil.createSetAccumulatorValue(CodegencompanyTables.SET_CLSSid_Employee);
|
| @NonNull Iterator<Object> ITERATOR__1 = allInstances.iterator();
|
| /*@NonInvalid*/ @NonNull SetValue select;
|
| while (true) {
|
| if (!ITERATOR__1.hasNext()) {
|
| select = accumulator;
|
| break;
|
| }
|
| @SuppressWarnings("null")
|
| /*@NonInvalid*/ @NonNull Employee _1 = (@NonNull Employee)ITERATOR__1.next();
|
| /**
|
| * reportsTo(self)
|
| */
|
| final /*@NonInvalid*/ boolean reportsTo = _1.reportsTo(this);
|
| //
|
| if (reportsTo) {
|
| accumulator.add(_1);
|
| }
|
| }
|
| final /*@NonInvalid*/ @NonNull List<Employee> ECORE_select = ((IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, select);
|
| return (EList<Employee>)ECORE_select;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public EList<Employee> getReportingChain() {
|
| /**
|
| *
|
| * if manager.oclIsUndefined()
|
| * then OrderedSet{}
|
| * else manager?.reportingChain->prepend(manager)
|
| * endif
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IdResolver idResolver = executor.getIdResolver();
|
| final /*@NonInvalid*/ @Nullable Employee manager_2 = this.getManager();
|
| final /*@NonInvalid*/ boolean oclIsUndefined = manager_2 == null;
|
| /*@Thrown*/ @NonNull OrderedSetValue IF_oclIsUndefined;
|
| if (oclIsUndefined) {
|
| IF_oclIsUndefined = CodegencompanyTables.OrderedSet;
|
| }
|
| else {
|
| final /*@NonInvalid*/ @NonNull Object reportingChain = manager_2 == null;
|
| /*@Thrown*/ @Nullable OrderedSetValue safe_reportingChain_source;
|
| if (reportingChain == Boolean.TRUE) {
|
| safe_reportingChain_source = null;
|
| }
|
| else {
|
| assert manager_2 != null;
|
| @SuppressWarnings("null")
|
| final /*@Thrown*/ @NonNull List<Employee> reportingChain_0 = manager_2.getReportingChain();
|
| final /*@Thrown*/ @NonNull OrderedSetValue BOXED_reportingChain_0 = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, reportingChain_0);
|
| safe_reportingChain_source = BOXED_reportingChain_0;
|
| }
|
| if (safe_reportingChain_source == null) {
|
| throw new InvalidValueException("Null \'\'OrderedSet\'\' rather than \'\'OclVoid\'\' value required");
|
| }
|
| final /*@Thrown*/ @NonNull OrderedSetValue prepend = (@Nullable OrderedSetValue)OrderedCollectionPrependOperation.INSTANCE.evaluate(safe_reportingChain_source, manager_2);
|
| IF_oclIsUndefined = prepend;
|
| }
|
| final /*@Thrown*/ @NonNull List<Employee> ECORE_IF_oclIsUndefined = ((IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, IF_oclIsUndefined);
|
| return (EList<Employee>)ECORE_IF_oclIsUndefined;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean isHasNameAsAttribute() {
|
| /**
|
| * name <> null
|
| */
|
| final /*@NonInvalid*/ @Nullable String name = this.getName();
|
| final /*@NonInvalid*/ boolean ne = name != null;
|
| return ne;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean reportsTo(final Employee manager) {
|
| /**
|
| * self.reportingChain->includes(manager)
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IdResolver idResolver = executor.getIdResolver();
|
| @SuppressWarnings("null")
|
| final /*@NonInvalid*/ @NonNull List<Employee> reportingChain = this.getReportingChain();
|
| final /*@NonInvalid*/ @NonNull OrderedSetValue BOXED_reportingChain = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, reportingChain);
|
| final /*@Thrown*/ boolean includes = CollectionIncludesOperation.INSTANCE.evaluate(BOXED_reportingChain, manager).booleanValue();
|
| return includes;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean hasNameAsOperation() {
|
| /**
|
| * name <> null
|
| */
|
| final /*@NonInvalid*/ @Nullable String name = this.getName();
|
| final /*@NonInvalid*/ boolean ne = name != null;
|
| return ne;
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean noManagerImpliesDirectReports(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
|
| final @NonNull String constraintName = "Employee::noManagerImpliesDirectReports";
|
| try {
|
| /**
|
| *
|
| * inv noManagerImpliesDirectReports:
|
| * let severity : Integer[1] = constraintName.getSeverity()
|
| * in
|
| * if severity <= 0
|
| * then true
|
| * else
|
| * let
|
| * result : Boolean[?] = manager.oclIsUndefined() implies
|
| * directReports->size() > 0
|
| * in
|
| * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
|
| * endif
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IdResolver idResolver = executor.getIdResolver();
|
| final /*@NonInvalid*/ @NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyPackage.Literals.EMPLOYEE___NO_MANAGER_IMPLIES_DIRECT_REPORTS__DIAGNOSTICCHAIN_MAP);
|
| final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue();
|
| /*@NonInvalid*/ boolean IF_le;
|
| if (le) {
|
| IF_le = true;
|
| }
|
| else {
|
| final /*@NonInvalid*/ @Nullable Employee manager = this.getManager();
|
| final /*@NonInvalid*/ boolean oclIsUndefined = manager == null;
|
| final /*@NonInvalid*/ @Nullable Boolean result;
|
| if (!oclIsUndefined) {
|
| result = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| @SuppressWarnings("null")
|
| final /*@NonInvalid*/ @NonNull List<Employee> directReports = this.getDirectReports();
|
| final /*@NonInvalid*/ @NonNull OrderedSetValue BOXED_directReports = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, directReports);
|
| final /*@NonInvalid*/ @NonNull IntegerValue size = CollectionSizeOperation.INSTANCE.evaluate(BOXED_directReports);
|
| final /*@NonInvalid*/ boolean gt = OclComparableGreaterThanOperation.INSTANCE.evaluate(executor, size, CodegencompanyTables.INT_0).booleanValue();
|
| if (gt) {
|
| result = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| result = ValueUtil.FALSE_VALUE;
|
| }
|
| }
|
| final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, severity_0, result, CodegencompanyTables.INT_0).booleanValue();
|
| IF_le = logDiagnostic;
|
| }
|
| return IF_le;
|
| }
|
| catch (Throwable e) {
|
| return ValueUtil.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);
|
| }
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean mustHaveName(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
|
| final @NonNull String constraintName = "Employee::mustHaveName";
|
| try {
|
| /**
|
| *
|
| * inv mustHaveName:
|
| * let severity : Integer[1] = constraintName.getSeverity()
|
| * in
|
| * if severity <= 0
|
| * then true
|
| * else
|
| * let
|
| * result : OclAny[1] = let
|
| * status : Boolean[?] = not name.oclIsUndefined() and hasNameAsAttribute and
|
| * hasNameAsOperation()
|
| * in
|
| * if status = true
|
| * then true
|
| * else Tuple{message = 'Employee must have a name', status = status}
|
| * endif
|
| * in
|
| * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
|
| * endif
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyPackage.Literals.EMPLOYEE___MUST_HAVE_NAME__DIAGNOSTICCHAIN_MAP);
|
| final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue();
|
| /*@NonInvalid*/ boolean IF_le;
|
| if (le) {
|
| IF_le = true;
|
| }
|
| else {
|
| /*@Caught*/ @NonNull Object CAUGHT_IF_eq;
|
| try {
|
| /*@Caught*/ @Nullable Object CAUGHT_and;
|
| try {
|
| final /*@NonInvalid*/ @Nullable String name = this.getName();
|
| final /*@NonInvalid*/ boolean oclIsUndefined = name == null;
|
| final /*@NonInvalid*/ @Nullable Boolean not;
|
| if (!oclIsUndefined) {
|
| not = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| if (oclIsUndefined) {
|
| not = ValueUtil.FALSE_VALUE;
|
| }
|
| else {
|
| not = null;
|
| }
|
| }
|
| final /*@Thrown*/ @Nullable Boolean and;
|
| if (not == ValueUtil.FALSE_VALUE) {
|
| and = ValueUtil.FALSE_VALUE;
|
| }
|
| else {
|
| final /*@NonInvalid*/ boolean hasNameAsAttribute = this.isHasNameAsAttribute();
|
| if (!hasNameAsAttribute) {
|
| and = ValueUtil.FALSE_VALUE;
|
| }
|
| else {
|
| if (not == null) {
|
| and = null;
|
| }
|
| else {
|
| and = ValueUtil.TRUE_VALUE;
|
| }
|
| }
|
| }
|
| CAUGHT_and = and;
|
| }
|
| catch (Exception e) {
|
| CAUGHT_and = ValueUtil.createInvalidValue(e);
|
| }
|
| final /*@Thrown*/ @Nullable Boolean status;
|
| if (CAUGHT_and == ValueUtil.FALSE_VALUE) {
|
| status = ValueUtil.FALSE_VALUE;
|
| }
|
| else {
|
| final /*@NonInvalid*/ boolean hasNameAsOperation = this.hasNameAsOperation();
|
| if (!hasNameAsOperation) {
|
| status = ValueUtil.FALSE_VALUE;
|
| }
|
| else {
|
| if (CAUGHT_and instanceof InvalidValueException) {
|
| throw (InvalidValueException)CAUGHT_and;
|
| }
|
| if (CAUGHT_and == null) {
|
| status = null;
|
| }
|
| else {
|
| status = ValueUtil.TRUE_VALUE;
|
| }
|
| }
|
| }
|
| final /*@Thrown*/ boolean eq = status == Boolean.TRUE;
|
| /*@Thrown*/ @NonNull Object IF_eq;
|
| if (eq) {
|
| IF_eq = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| final /*@Thrown*/ @NonNull TupleValue TUP_ = ValueUtil.createTupleOfEach(CodegencompanyTables.TUPLid__0, CodegencompanyTables.STR_Employee_32_must_32_have_32_a_32_name, status);
|
| IF_eq = TUP_;
|
| }
|
| CAUGHT_IF_eq = IF_eq;
|
| }
|
| catch (Exception e) {
|
| CAUGHT_IF_eq = ValueUtil.createInvalidValue(e);
|
| }
|
| final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, severity_0, CAUGHT_IF_eq, CodegencompanyTables.INT_0).booleanValue();
|
| IF_le = logDiagnostic;
|
| }
|
| return IF_le;
|
| }
|
| catch (Throwable e) {
|
| return ValueUtil.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);
|
| }
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean mustHaveNonEmptyName(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
|
| final @NonNull String constraintName = "Employee::mustHaveNonEmptyName";
|
| try {
|
| /**
|
| *
|
| * inv mustHaveNonEmptyName:
|
| * let severity : Integer[1] = constraintName.getSeverity()
|
| * in
|
| * if severity <= 0
|
| * then true
|
| * else
|
| * let result : Boolean[?] = name->notEmpty() implies name.size() > 0
|
| * in
|
| * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
|
| * endif
|
| */
|
| final /*@NonInvalid*/ @NonNull Executor executor = PivotUtil.getExecutor(this);
|
| final /*@NonInvalid*/ @NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyPackage.Literals.EMPLOYEE___MUST_HAVE_NON_EMPTY_NAME__DIAGNOSTICCHAIN_MAP);
|
| final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue();
|
| /*@NonInvalid*/ boolean IF_le;
|
| if (le) {
|
| IF_le = true;
|
| }
|
| else {
|
| /*@Caught*/ @Nullable Object CAUGHT_result;
|
| try {
|
| /*@Caught*/ @NonNull Object CAUGHT_notEmpty;
|
| try {
|
| final /*@NonInvalid*/ @Nullable String name = this.getName();
|
| final /*@Thrown*/ @NonNull SetValue oclAsSet = OclAnyOclAsSetOperation.INSTANCE.evaluate(executor, CodegencompanyTables.SET_PRIMid_String, name);
|
| final /*@Thrown*/ boolean notEmpty = CollectionNotEmptyOperation.INSTANCE.evaluate(oclAsSet).booleanValue();
|
| CAUGHT_notEmpty = notEmpty;
|
| }
|
| catch (Exception e) {
|
| CAUGHT_notEmpty = ValueUtil.createInvalidValue(e);
|
| }
|
| final /*@Thrown*/ @Nullable Boolean result;
|
| if (CAUGHT_notEmpty == ValueUtil.FALSE_VALUE) {
|
| result = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| /*@Caught*/ @NonNull Object CAUGHT_gt;
|
| try {
|
| final /*@NonInvalid*/ @Nullable String name_0 = this.getName();
|
| if (name_0 == null) {
|
| throw new InvalidValueException("Null \'\'String\'\' rather than \'\'OclVoid\'\' value required");
|
| }
|
| final /*@Thrown*/ @NonNull IntegerValue size = StringSizeOperation.INSTANCE.evaluate(name_0);
|
| final /*@Thrown*/ boolean gt = OclComparableGreaterThanOperation.INSTANCE.evaluate(executor, size, CodegencompanyTables.INT_0).booleanValue();
|
| CAUGHT_gt = gt;
|
| }
|
| catch (Exception e) {
|
| CAUGHT_gt = ValueUtil.createInvalidValue(e);
|
| }
|
| if (CAUGHT_gt == ValueUtil.TRUE_VALUE) {
|
| result = ValueUtil.TRUE_VALUE;
|
| }
|
| else {
|
| if (CAUGHT_notEmpty instanceof InvalidValueException) {
|
| throw (InvalidValueException)CAUGHT_notEmpty;
|
| }
|
| if (CAUGHT_gt instanceof InvalidValueException) {
|
| throw (InvalidValueException)CAUGHT_gt;
|
| }
|
| result = ValueUtil.FALSE_VALUE;
|
| }
|
| }
|
| CAUGHT_result = result;
|
| }
|
| catch (Exception e) {
|
| CAUGHT_result = ValueUtil.createInvalidValue(e);
|
| }
|
| final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, severity_0, CAUGHT_result, CodegencompanyTables.INT_0).booleanValue();
|
| IF_le = logDiagnostic;
|
| }
|
| return IF_le;
|
| }
|
| catch (Throwable e) {
|
| return ValueUtil.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);
|
| }
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
|
| switch (featureID) {
|
| case 2:
|
| if (eInternalContainer() != null)
|
| msgs = eBasicRemoveFromContainer(msgs);
|
| return basicSetCompany((Company)otherEnd, msgs);
|
| }
|
| return super.eInverseAdd(otherEnd, featureID, msgs);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
|
| switch (featureID) {
|
| case 2:
|
| return basicSetCompany(null, msgs);
|
| }
|
| return super.eInverseRemove(otherEnd, featureID, msgs);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
|
| switch (eContainerFeatureID()) {
|
| case 2:
|
| return eInternalContainer().eInverseRemove(this, 1, Company.class, msgs);
|
| }
|
| return super.eBasicRemoveFromContainerFeature(msgs);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public Object eGet(int featureID, boolean resolve, boolean coreType) {
|
| switch (featureID) {
|
| case 0:
|
| return getName();
|
| case 1:
|
| if (resolve) return getManager();
|
| return basicGetManager();
|
| case 2:
|
| return getCompany();
|
| case 3:
|
| return getDirectReports();
|
| case 4:
|
| return getAllReports();
|
| case 5:
|
| return getReportingChain();
|
| case 6:
|
| return isHasNameAsAttribute();
|
| }
|
| return super.eGet(featureID, resolve, coreType);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public void eSet(int featureID, Object newValue) {
|
| switch (featureID) {
|
| case 0:
|
| setName((String)newValue);
|
| return;
|
| case 1:
|
| setManager((Employee)newValue);
|
| return;
|
| case 2:
|
| setCompany((Company)newValue);
|
| return;
|
| }
|
| super.eSet(featureID, newValue);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public void eUnset(int featureID) {
|
| switch (featureID) {
|
| case 0:
|
| setName(NAME_EDEFAULT);
|
| return;
|
| case 1:
|
| setManager((Employee)null);
|
| return;
|
| case 2:
|
| setCompany((Company)null);
|
| return;
|
| }
|
| super.eUnset(featureID);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public boolean eIsSet(int featureID) {
|
| switch (featureID) {
|
| case 0:
|
| return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
|
| case 1:
|
| return manager != null;
|
| case 2:
|
| return getCompany() != null;
|
| case 3:
|
| return !getDirectReports().isEmpty();
|
| case 4:
|
| return !getAllReports().isEmpty();
|
| case 5:
|
| return !getReportingChain().isEmpty();
|
| case 6:
|
| return isHasNameAsAttribute() != HAS_NAME_AS_ATTRIBUTE_EDEFAULT;
|
| }
|
| return super.eIsSet(featureID);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| @SuppressWarnings("unchecked")
|
| public Object eInvoke(int operationID, EList<?> arguments) throws InvocationTargetException {
|
| switch (operationID) {
|
| case 0:
|
| return reportsTo((Employee)arguments.get(0));
|
| case 1:
|
| return hasNameAsOperation();
|
| case 2:
|
| return noManagerImpliesDirectReports((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
|
| case 3:
|
| return mustHaveName((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
|
| case 4:
|
| return mustHaveNonEmptyName((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
|
| }
|
| return super.eInvoke(operationID, arguments);
|
| }
|
|
|
| /**
|
| * <!-- begin-user-doc -->
|
| * <!-- end-user-doc -->
|
| * @generated
|
| */
|
| @Override
|
| public String toString() {
|
| if (eIsProxy()) return super.toString();
|
|
|
| StringBuilder result = new StringBuilder(super.toString());
|
| result.append(" (name: "); //$NON-NLS-1$
|
| result.append(name);
|
| result.append(')');
|
| return result.toString();
|
| }
|
|
|
| } //EmployeeImpl
|
