/** | |
* <copyright> | |
* | |
* Copyright (c) 2015 Willink Transformations 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: | |
* E.D.Willink - Initial API and implementation | |
* | |
* </copyright> | |
*/ | |
package codegen.company.impl; | |
import codegen.company.CodegencompanyPackage; | |
import codegen.company.CodegencompanyTables; | |
import codegen.company.Company; | |
import codegen.company.Employee; | |
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.pivot.evaluation.Executor; | |
import org.eclipse.ocl.pivot.ids.IdResolver; | |
import org.eclipse.ocl.pivot.ids.TypeId; | |
import org.eclipse.ocl.pivot.internal.utilities.PivotUtilInternal; | |
import org.eclipse.ocl.pivot.library.classifier.ClassifierAllInstancesOperation; | |
import org.eclipse.ocl.pivot.library.collection.CollectionExcludingOperation; | |
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.logical.BooleanAndOperation; | |
import org.eclipse.ocl.pivot.library.logical.BooleanImpliesOperation; | |
import org.eclipse.ocl.pivot.library.logical.BooleanNotOperation; | |
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.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.SetValue; | |
/** | |
* <!-- 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 codegen.company.impl.EmployeeImpl#getName <em>Name</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#getManager <em>Manager</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#getCompany <em>Company</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#getDirectReports <em>Direct Reports</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#getAllReports <em>All Reports</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#getReportingChain <em>Reporting Chain</em>}</li> | |
* <li>{@link codegen.company.impl.EmployeeImpl#isHasNameAsAttribute <em>Has Name As Attribute</em>}</li> | |
* </ul> | |
* | |
* @generated | |
*/ | |
public class EmployeeImpl extends EObjectImpl implements Employee { | |
/** | |
* 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 | |
*/ | |
public String getName() { | |
return name; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setName(String newName) { | |
String oldName = name; | |
name = newName; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, CodegencompanyPackage.EMPLOYEE__NAME, oldName, name)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
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, CodegencompanyPackage.EMPLOYEE__MANAGER, oldManager, manager)); | |
} | |
} | |
return manager; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public Employee basicGetManager() { | |
return manager; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setManager(Employee newManager) { | |
Employee oldManager = manager; | |
manager = newManager; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, CodegencompanyPackage.EMPLOYEE__MANAGER, oldManager, manager)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public Company getCompany() { | |
if (eContainerFeatureID() != CodegencompanyPackage.EMPLOYEE__COMPANY) return null; | |
return (Company)eInternalContainer(); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public NotificationChain basicSetCompany(Company newCompany, NotificationChain msgs) { | |
msgs = eBasicSetContainer((InternalEObject)newCompany, CodegencompanyPackage.EMPLOYEE__COMPANY, msgs); | |
return msgs; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setCompany(Company newCompany) { | |
if (newCompany != eInternalContainer() || (eContainerFeatureID() != CodegencompanyPackage.EMPLOYEE__COMPANY && 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, CodegencompanyPackage.COMPANY__EMPLOYEES, Company.class, msgs); | |
msgs = basicSetCompany(newCompany, msgs); | |
if (msgs != null) msgs.dispatch(); | |
} | |
else if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, CodegencompanyPackage.EMPLOYEE__COMPANY, newCompany, newCompany)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public EList<Employee> getDirectReports() { | |
/** | |
* company.employees?->select(manager = self) | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IdResolver idResolver = executor.getIdResolver(); | |
@SuppressWarnings("null") | |
final @NonNull /*@Thrown*/ Company company = this.getCompany(); | |
@SuppressWarnings("null") | |
final @NonNull /*@Thrown*/ List<Employee> employees = company.getEmployees(); | |
final @NonNull /*@Thrown*/ OrderedSetValue BOXED_employees = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, employees); | |
final @NonNull /*@Thrown*/ OrderedSetValue safe_null_sources = (OrderedSetValue)CollectionExcludingOperation.INSTANCE.evaluate(BOXED_employees, null); | |
@NonNull /*@Thrown*/ OrderedSetValue.Accumulator accumulator = ValueUtil.createOrderedSetAccumulatorValue(CodegencompanyTables.ORD_CLSSid_Employee); | |
@NonNull Iterator<?> ITERATOR__1 = safe_null_sources.iterator(); | |
@NonNull /*@Thrown*/ OrderedSetValue select; | |
while (true) { | |
if (!ITERATOR__1.hasNext()) { | |
select = accumulator; | |
break; | |
} | |
@SuppressWarnings("null") | |
@NonNull /*@NonInvalid*/ Employee _1 = (Employee)ITERATOR__1.next(); | |
/** | |
* manager = self | |
*/ | |
final @Nullable /*@Thrown*/ Employee manager_0 = _1.getManager(); | |
final /*@Thrown*/ boolean eq = this.equals(manager_0); | |
// | |
if (eq == ValueUtil.TRUE_VALUE) { | |
accumulator.add(_1); | |
} | |
} | |
final @NonNull /*@Thrown*/ List<Employee> ECORE_select = ((IdResolver.IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, select); | |
return (EList<Employee>)ECORE_select; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public EList<Employee> getAllReports() { | |
/** | |
* Employee.allInstances()->select(reportsTo(self)) | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IdResolver idResolver = executor.getIdResolver(); | |
final @NonNull /*@NonInvalid*/ org.eclipse.ocl.pivot.Class TYP_company_c_c_Employee_0 = idResolver.getClass(CodegencompanyTables.CLSSid_Employee, null); | |
final @NonNull /*@NonInvalid*/ SetValue allInstances = ClassifierAllInstancesOperation.INSTANCE.evaluate(executor, CodegencompanyTables.SET_CLSSid_Employee, TYP_company_c_c_Employee_0); | |
@NonNull /*@Thrown*/ SetValue.Accumulator accumulator = ValueUtil.createSetAccumulatorValue(CodegencompanyTables.SET_CLSSid_Employee); | |
@NonNull Iterator<?> ITERATOR__1 = allInstances.iterator(); | |
@NonNull /*@Thrown*/ SetValue select; | |
while (true) { | |
if (!ITERATOR__1.hasNext()) { | |
select = accumulator; | |
break; | |
} | |
@SuppressWarnings("null") | |
@NonNull /*@NonInvalid*/ Employee _1 = (Employee)ITERATOR__1.next(); | |
/** | |
* reportsTo(self) | |
*/ | |
final /*@Thrown*/ boolean reportsTo = _1.reportsTo(this); | |
// | |
if (reportsTo == ValueUtil.TRUE_VALUE) { | |
accumulator.add(_1); | |
} | |
} | |
final @NonNull /*@Thrown*/ List<Employee> ECORE_select = ((IdResolver.IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, select); | |
return (EList<Employee>)ECORE_select; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public EList<Employee> getReportingChain() { | |
/** | |
* | |
* if manager.oclIsUndefined() | |
* then OrderedSet{} | |
* else manager?.reportingChain->prepend(manager) | |
* endif | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IdResolver idResolver = executor.getIdResolver(); | |
@Nullable /*@Caught*/ Object CAUGHT_manager_0; | |
try { | |
final @Nullable /*@Thrown*/ Employee manager_0 = this.getManager(); | |
CAUGHT_manager_0 = manager_0; | |
} | |
catch (Exception e) { | |
CAUGHT_manager_0 = ValueUtil.createInvalidValue(e); | |
} | |
final /*@NonInvalid*/ boolean symbol_6 = (CAUGHT_manager_0 == null) || (CAUGHT_manager_0 instanceof InvalidValueException); | |
@NonNull /*@Thrown*/ OrderedSetValue symbol_8; | |
if (symbol_6) { | |
symbol_8 = CodegencompanyTables.OrderedSet; | |
} | |
else { | |
final @Nullable /*@Thrown*/ Employee manager_2 = this.getManager(); | |
@Nullable /*@Caught*/ Object CAUGHT_manager_1; | |
try { | |
CAUGHT_manager_1 = manager_2; | |
} | |
catch (Exception e) { | |
CAUGHT_manager_1 = ValueUtil.createInvalidValue(e); | |
} | |
final @NonNull /*@NonInvalid*/ Object symbol_7 = CAUGHT_manager_1 == null; | |
@Nullable /*@Thrown*/ OrderedSetValue safe_reportingChain_source; | |
if (symbol_7 == Boolean.TRUE) { | |
safe_reportingChain_source = null; | |
} | |
else { | |
assert manager_2 != null; | |
@SuppressWarnings("null") | |
final @NonNull /*@Thrown*/ List<Employee> reportingChain = manager_2.getReportingChain(); | |
final @NonNull /*@Thrown*/ OrderedSetValue BOXED_reportingChain = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, reportingChain); | |
safe_reportingChain_source = BOXED_reportingChain; | |
} | |
final @NonNull /*@Thrown*/ OrderedSetValue prepend = (OrderedSetValue)OrderedCollectionPrependOperation.INSTANCE.evaluate(safe_reportingChain_source, manager_2); | |
symbol_8 = prepend; | |
} | |
final @NonNull /*@Thrown*/ List<Employee> ECORE_symbol_8 = ((IdResolver.IdResolverExtension)idResolver).ecoreValueOfAll(Employee.class, symbol_8); | |
return (EList<Employee>)ECORE_symbol_8; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public boolean isHasNameAsAttribute() { | |
/** | |
* name <> null | |
*/ | |
final @Nullable /*@Thrown*/ String name = this.getName(); | |
final /*@Thrown*/ boolean ne = name != null; | |
return ne; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public boolean reportsTo(final Employee manager) { | |
/** | |
* self.reportingChain->includes(manager) | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IdResolver idResolver = executor.getIdResolver(); | |
@SuppressWarnings("null") | |
final @NonNull /*@Thrown*/ List<Employee> reportingChain = this.getReportingChain(); | |
final @NonNull /*@Thrown*/ 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 | |
*/ | |
public boolean hasNameAsOperation() { | |
/** | |
* name <> null | |
*/ | |
final @Nullable /*@Thrown*/ String name = this.getName(); | |
final /*@Thrown*/ boolean ne = name != null; | |
return ne; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public boolean noManagerImpliesDirectReports(final DiagnosticChain diagnostics, final Map<Object, Object> context) { | |
/** | |
* | |
* inv noManagerImpliesDirectReports: | |
* let | |
* severity : Integer[1] = 'Employee::noManagerImpliesDirectReports'.getSeverity() | |
* in | |
* if severity <= 0 | |
* then true | |
* else | |
* let | |
* status : OclAny[?] = manager.oclIsUndefined() implies | |
* directReports->size() > 0 | |
* in | |
* 'Employee::noManagerImpliesDirectReports'.logDiagnostic(self, null, diagnostics, context, null, severity, status, 0) | |
* endif | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IdResolver idResolver = executor.getIdResolver(); | |
final @NonNull /*@NonInvalid*/ IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyTables.STR_Employee_c_c_noManagerImpliesDirectReports); | |
final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue(); | |
/*@NonInvalid*/ boolean symbol_1; | |
if (le) { | |
symbol_1 = ValueUtil.TRUE_VALUE; | |
} | |
else { | |
@Nullable /*@Caught*/ Object CAUGHT_status; | |
try { | |
@Nullable /*@Caught*/ Object CAUGHT_manager; | |
try { | |
final @Nullable /*@Thrown*/ Employee manager = this.getManager(); | |
CAUGHT_manager = manager; | |
} | |
catch (Exception e) { | |
CAUGHT_manager = ValueUtil.createInvalidValue(e); | |
} | |
final /*@NonInvalid*/ boolean symbol_0 = (CAUGHT_manager == null) || (CAUGHT_manager instanceof InvalidValueException); | |
@NonNull /*@Caught*/ Object CAUGHT_gt; | |
try { | |
@SuppressWarnings("null") | |
final @NonNull /*@Thrown*/ List<Employee> directReports = this.getDirectReports(); | |
final @NonNull /*@Thrown*/ OrderedSetValue BOXED_directReports = idResolver.createOrderedSetOfAll(CodegencompanyTables.ORD_CLSSid_Employee, directReports); | |
final @NonNull /*@Thrown*/ IntegerValue size = CollectionSizeOperation.INSTANCE.evaluate(BOXED_directReports); | |
final /*@Thrown*/ boolean gt = OclComparableGreaterThanOperation.INSTANCE.evaluate(executor, size, CodegencompanyTables.INT_0).booleanValue(); | |
CAUGHT_gt = gt; | |
} | |
catch (Exception e) { | |
CAUGHT_gt = ValueUtil.createInvalidValue(e); | |
} | |
final @Nullable /*@Thrown*/ Boolean status = BooleanImpliesOperation.INSTANCE.evaluate(symbol_0, CAUGHT_gt); | |
CAUGHT_status = status; | |
} | |
catch (Exception e) { | |
CAUGHT_status = ValueUtil.createInvalidValue(e); | |
} | |
final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, CodegencompanyTables.STR_Employee_c_c_noManagerImpliesDirectReports, this, null, diagnostics, context, null, severity_0, CAUGHT_status, CodegencompanyTables.INT_0).booleanValue(); | |
symbol_1 = logDiagnostic; | |
} | |
return Boolean.TRUE == symbol_1; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public boolean mustHaveName(final DiagnosticChain diagnostics, final Map<Object, Object> context) { | |
/** | |
* | |
* inv mustHaveName: | |
* let severity : Integer[1] = 'Employee::mustHaveName'.getSeverity() | |
* in | |
* if severity <= 0 | |
* then true | |
* else | |
* let | |
* status : OclAny[?] = not name.oclIsUndefined() and hasNameAsAttribute and | |
* hasNameAsOperation() | |
* in | |
* let | |
* message : String[?] = if status <> true | |
* then 'Employee must have a name' | |
* else null | |
* endif | |
* in | |
* 'Employee::mustHaveName'.logDiagnostic(self, null, diagnostics, context, message, severity, status, 0) | |
* endif | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyTables.STR_Employee_c_c_mustHaveName); | |
final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue(); | |
/*@NonInvalid*/ boolean symbol_1; | |
if (le) { | |
symbol_1 = ValueUtil.TRUE_VALUE; | |
} | |
else { | |
@Nullable /*@Caught*/ Object CAUGHT_status; | |
try { | |
@Nullable /*@Caught*/ Object CAUGHT_and; | |
try { | |
@Nullable /*@Caught*/ Object CAUGHT_name; | |
try { | |
final @Nullable /*@Thrown*/ String name = this.getName(); | |
CAUGHT_name = name; | |
} | |
catch (Exception e) { | |
CAUGHT_name = ValueUtil.createInvalidValue(e); | |
} | |
final /*@NonInvalid*/ boolean symbol_0 = (CAUGHT_name == null) || (CAUGHT_name instanceof InvalidValueException); | |
final @Nullable /*@NonInvalid*/ Boolean not = BooleanNotOperation.INSTANCE.evaluate(symbol_0); | |
@Nullable /*@Caught*/ Object CAUGHT_hasNameAsAttribute; | |
try { | |
final @Nullable /*@Thrown*/ Boolean hasNameAsAttribute = this.isHasNameAsAttribute(); | |
CAUGHT_hasNameAsAttribute = hasNameAsAttribute; | |
} | |
catch (Exception e) { | |
CAUGHT_hasNameAsAttribute = ValueUtil.createInvalidValue(e); | |
} | |
final @Nullable /*@Thrown*/ Boolean and = BooleanAndOperation.INSTANCE.evaluate(not, CAUGHT_hasNameAsAttribute); | |
CAUGHT_and = and; | |
} | |
catch (Exception e) { | |
CAUGHT_and = ValueUtil.createInvalidValue(e); | |
} | |
@NonNull /*@Caught*/ Object CAUGHT_hasNameAsOperation; | |
try { | |
final /*@Thrown*/ boolean hasNameAsOperation = this.hasNameAsOperation(); | |
CAUGHT_hasNameAsOperation = hasNameAsOperation; | |
} | |
catch (Exception e) { | |
CAUGHT_hasNameAsOperation = ValueUtil.createInvalidValue(e); | |
} | |
final @Nullable /*@Thrown*/ Boolean status = BooleanAndOperation.INSTANCE.evaluate(CAUGHT_and, CAUGHT_hasNameAsOperation); | |
CAUGHT_status = status; | |
} | |
catch (Exception e) { | |
CAUGHT_status = ValueUtil.createInvalidValue(e); | |
} | |
if (CAUGHT_status instanceof InvalidValueException) { | |
throw (InvalidValueException)CAUGHT_status; | |
} | |
final /*@Thrown*/ boolean ne = CAUGHT_status == Boolean.FALSE; | |
@Nullable /*@NonInvalid*/ String message_0; | |
if (ne) { | |
message_0 = CodegencompanyTables.STR_Employee_32_must_32_have_32_a_32_name; | |
} | |
else { | |
message_0 = null; | |
} | |
final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, CodegencompanyTables.STR_Employee_c_c_mustHaveName, this, null, diagnostics, context, message_0, severity_0, CAUGHT_status, CodegencompanyTables.INT_0).booleanValue(); | |
symbol_1 = logDiagnostic; | |
} | |
return Boolean.TRUE == symbol_1; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public boolean mustHaveNonEmptyName(final DiagnosticChain diagnostics, final Map<Object, Object> context) { | |
/** | |
* | |
* inv mustHaveNonEmptyName: | |
* let severity : Integer[1] = 'Employee::mustHaveNonEmptyName'.getSeverity() | |
* in | |
* if severity <= 0 | |
* then true | |
* else | |
* let status : OclAny[?] = name->notEmpty() implies name.size() > 0 | |
* in | |
* 'Employee::mustHaveNonEmptyName'.logDiagnostic(self, null, diagnostics, context, null, severity, status, 0) | |
* endif | |
*/ | |
final @NonNull /*@NonInvalid*/ Executor executor = PivotUtilInternal.getExecutor(this); | |
final @NonNull /*@NonInvalid*/ IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, CodegencompanyTables.STR_Employee_c_c_mustHaveNonEmptyName); | |
final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, CodegencompanyTables.INT_0).booleanValue(); | |
/*@NonInvalid*/ boolean symbol_0; | |
if (le) { | |
symbol_0 = ValueUtil.TRUE_VALUE; | |
} | |
else { | |
@Nullable /*@Caught*/ Object CAUGHT_status; | |
try { | |
@NonNull /*@Caught*/ Object CAUGHT_notEmpty; | |
try { | |
final @Nullable /*@Thrown*/ String name = this.getName(); | |
final @NonNull /*@Thrown*/ 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); | |
} | |
@NonNull /*@Caught*/ Object CAUGHT_gt; | |
try { | |
final @Nullable /*@Thrown*/ String name_0 = this.getName(); | |
final @NonNull /*@Thrown*/ 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); | |
} | |
final @Nullable /*@Thrown*/ Boolean status = BooleanImpliesOperation.INSTANCE.evaluate(CAUGHT_notEmpty, CAUGHT_gt); | |
CAUGHT_status = status; | |
} | |
catch (Exception e) { | |
CAUGHT_status = ValueUtil.createInvalidValue(e); | |
} | |
final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, CodegencompanyTables.STR_Employee_c_c_mustHaveNonEmptyName, this, null, diagnostics, context, null, severity_0, CAUGHT_status, CodegencompanyTables.INT_0).booleanValue(); | |
symbol_0 = logDiagnostic; | |
} | |
return Boolean.TRUE == symbol_0; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | |
switch (featureID) { | |
case CodegencompanyPackage.EMPLOYEE__COMPANY: | |
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 CodegencompanyPackage.EMPLOYEE__COMPANY: | |
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 CodegencompanyPackage.EMPLOYEE__COMPANY: | |
return eInternalContainer().eInverseRemove(this, CodegencompanyPackage.COMPANY__EMPLOYEES, 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 CodegencompanyPackage.EMPLOYEE__NAME: | |
return getName(); | |
case CodegencompanyPackage.EMPLOYEE__MANAGER: | |
if (resolve) return getManager(); | |
return basicGetManager(); | |
case CodegencompanyPackage.EMPLOYEE__COMPANY: | |
return getCompany(); | |
case CodegencompanyPackage.EMPLOYEE__DIRECT_REPORTS: | |
return getDirectReports(); | |
case CodegencompanyPackage.EMPLOYEE__ALL_REPORTS: | |
return getAllReports(); | |
case CodegencompanyPackage.EMPLOYEE__REPORTING_CHAIN: | |
return getReportingChain(); | |
case CodegencompanyPackage.EMPLOYEE__HAS_NAME_AS_ATTRIBUTE: | |
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 CodegencompanyPackage.EMPLOYEE__NAME: | |
setName((String)newValue); | |
return; | |
case CodegencompanyPackage.EMPLOYEE__MANAGER: | |
setManager((Employee)newValue); | |
return; | |
case CodegencompanyPackage.EMPLOYEE__COMPANY: | |
setCompany((Company)newValue); | |
return; | |
} | |
super.eSet(featureID, newValue); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public void eUnset(int featureID) { | |
switch (featureID) { | |
case CodegencompanyPackage.EMPLOYEE__NAME: | |
setName(NAME_EDEFAULT); | |
return; | |
case CodegencompanyPackage.EMPLOYEE__MANAGER: | |
setManager((Employee)null); | |
return; | |
case CodegencompanyPackage.EMPLOYEE__COMPANY: | |
setCompany((Company)null); | |
return; | |
} | |
super.eUnset(featureID); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public boolean eIsSet(int featureID) { | |
switch (featureID) { | |
case CodegencompanyPackage.EMPLOYEE__NAME: | |
return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | |
case CodegencompanyPackage.EMPLOYEE__MANAGER: | |
return manager != null; | |
case CodegencompanyPackage.EMPLOYEE__COMPANY: | |
return getCompany() != null; | |
case CodegencompanyPackage.EMPLOYEE__DIRECT_REPORTS: | |
return !getDirectReports().isEmpty(); | |
case CodegencompanyPackage.EMPLOYEE__ALL_REPORTS: | |
return !getAllReports().isEmpty(); | |
case CodegencompanyPackage.EMPLOYEE__REPORTING_CHAIN: | |
return !getReportingChain().isEmpty(); | |
case CodegencompanyPackage.EMPLOYEE__HAS_NAME_AS_ATTRIBUTE: | |
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 CodegencompanyPackage.EMPLOYEE___REPORTS_TO__EMPLOYEE: | |
return reportsTo((Employee)arguments.get(0)); | |
case CodegencompanyPackage.EMPLOYEE___HAS_NAME_AS_OPERATION: | |
return hasNameAsOperation(); | |
case CodegencompanyPackage.EMPLOYEE___NO_MANAGER_IMPLIES_DIRECT_REPORTS__DIAGNOSTICCHAIN_MAP: | |
return noManagerImpliesDirectReports((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1)); | |
case CodegencompanyPackage.EMPLOYEE___MUST_HAVE_NAME__DIAGNOSTICCHAIN_MAP: | |
return mustHaveName((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1)); | |
case CodegencompanyPackage.EMPLOYEE___MUST_HAVE_NON_EMPTY_NAME__DIAGNOSTICCHAIN_MAP: | |
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(); | |
StringBuffer result = new StringBuffer(super.toString()); | |
result.append(" (name: "); //$NON-NLS-1$ | |
result.append(name); | |
result.append(')'); | |
return result.toString(); | |
} | |
} //EmployeeImpl |