blob: 7a7ea603021500456f5869be067b8d1b760c4131 [file] [log] [blame]
/**
* Copyright (c) 2017 CEA LIST.
*
* 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:
* Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
* - Initial API and Implementation
*/
package org.eclipse.efm.execution.core.workflow.impl;
import org.eclipse.efm.execution.core.workflow.CoverageWorker;
import org.eclipse.efm.execution.core.workflow.Director;
import org.eclipse.efm.execution.core.workflow.NamedObject;
import org.eclipse.efm.execution.core.workflow.Serializer;
import org.eclipse.efm.execution.core.workflow.SupervisorWorker;
import org.eclipse.efm.execution.core.workflow.TestWorker;
import org.eclipse.efm.execution.core.workflow.Worker;
import org.eclipse.efm.execution.core.workflow.Workflow;
import org.eclipse.efm.execution.core.workflow.WorkflowFactory;
import org.eclipse.efm.execution.core.workflow.WorkflowPackage;
import org.eclipse.efm.execution.core.workflow.common.CommonPackage;
import org.eclipse.efm.execution.core.workflow.common.impl.CommonPackageImpl;
import org.eclipse.efm.execution.core.workflow.coverage.CoveragePackage;
import org.eclipse.efm.execution.core.workflow.coverage.impl.CoveragePackageImpl;
import org.eclipse.efm.execution.core.workflow.serializer.SerializerPackage;
import org.eclipse.efm.execution.core.workflow.serializer.impl.SerializerPackageImpl;
import org.eclipse.efm.execution.core.workflow.test.TestPackage;
import org.eclipse.efm.execution.core.workflow.test.impl.TestPackageImpl;
import org.eclipse.emf.ecore.EAttribute;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.EReference;
import org.eclipse.emf.ecore.impl.EPackageImpl;
/**
* <!-- begin-user-doc -->
* An implementation of the model <b>Package</b>.
* <!-- end-user-doc -->
* @generated
*/
public class WorkflowPackageImpl extends EPackageImpl implements WorkflowPackage {
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass namedObjectEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass workflowEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass directorEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass workerEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass supervisorWorkerEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass coverageWorkerEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass testWorkerEClass = null;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private EClass serializerEClass = null;
/**
* Creates an instance of the model <b>Package</b>, registered with
* {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
* package URI value.
* <p>Note: the correct way to create the package is via the static
* factory method {@link #init init()}, which also performs
* initialization of the package, or returns the registered package,
* if one already exists.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.eclipse.emf.ecore.EPackage.Registry
* @see org.eclipse.efm.execution.core.workflow.WorkflowPackage#eNS_URI
* @see #init()
* @generated
*/
private WorkflowPackageImpl() {
super(eNS_URI, WorkflowFactory.eINSTANCE);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private static boolean isInited = false;
/**
* Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
*
* <p>This method is used to initialize {@link WorkflowPackage#eINSTANCE} when that field is accessed.
* Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see #eNS_URI
* @see #createPackageContents()
* @see #initializePackageContents()
* @generated
*/
public static WorkflowPackage init() {
if (isInited) return (WorkflowPackage)EPackage.Registry.INSTANCE.getEPackage(WorkflowPackage.eNS_URI);
// Obtain or create and register package
WorkflowPackageImpl theWorkflowPackage = (WorkflowPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof WorkflowPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new WorkflowPackageImpl());
isInited = true;
// Obtain or create and register interdependencies
CommonPackageImpl theCommonPackage = (CommonPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(CommonPackage.eNS_URI) instanceof CommonPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(CommonPackage.eNS_URI) : CommonPackage.eINSTANCE);
CoveragePackageImpl theCoveragePackage = (CoveragePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(CoveragePackage.eNS_URI) instanceof CoveragePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(CoveragePackage.eNS_URI) : CoveragePackage.eINSTANCE);
TestPackageImpl theTestPackage = (TestPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(TestPackage.eNS_URI) instanceof TestPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(TestPackage.eNS_URI) : TestPackage.eINSTANCE);
SerializerPackageImpl theSerializerPackage = (SerializerPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(SerializerPackage.eNS_URI) instanceof SerializerPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(SerializerPackage.eNS_URI) : SerializerPackage.eINSTANCE);
// Create package meta-data objects
theWorkflowPackage.createPackageContents();
theCommonPackage.createPackageContents();
theCoveragePackage.createPackageContents();
theTestPackage.createPackageContents();
theSerializerPackage.createPackageContents();
// Initialize created meta-data
theWorkflowPackage.initializePackageContents();
theCommonPackage.initializePackageContents();
theCoveragePackage.initializePackageContents();
theTestPackage.initializePackageContents();
theSerializerPackage.initializePackageContents();
// Mark meta-data to indicate it can't be changed
theWorkflowPackage.freeze();
// Update the registry and return the package
EPackage.Registry.INSTANCE.put(WorkflowPackage.eNS_URI, theWorkflowPackage);
return theWorkflowPackage;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getNamedObject() {
return namedObjectEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getNamedObject_Name() {
return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getNamedObject_Description() {
return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getNamedObject_Comment() {
return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getWorkflow() {
return workflowEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_Manifest() {
return (EReference)workflowEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_Workspace() {
return (EReference)workflowEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_Director() {
return (EReference)workflowEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_SymbexOption() {
return (EReference)workflowEClass.getEStructuralFeatures().get(3);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_Console() {
return (EReference)workflowEClass.getEStructuralFeatures().get(4);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_ShellMode() {
return (EReference)workflowEClass.getEStructuralFeatures().get(5);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorkflow_DeveloperTuning() {
return (EReference)workflowEClass.getEStructuralFeatures().get(6);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getDirector() {
return directorEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Manifest() {
return (EReference)directorEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Workflow() {
return (EReference)directorEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Project() {
return (EReference)directorEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Supervisor() {
return (EReference)directorEClass.getEStructuralFeatures().get(3);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Worker() {
return (EReference)directorEClass.getEStructuralFeatures().get(4);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_Console() {
return (EReference)directorEClass.getEStructuralFeatures().get(5);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getDirector_DeveloperTuning() {
return (EReference)directorEClass.getEStructuralFeatures().get(6);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getWorker() {
return workerEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorker_Manifest() {
return (EReference)workerEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorker_Director() {
return (EReference)workerEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getWorker_Console() {
return (EReference)workerEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getSupervisorWorker() {
return supervisorWorkerEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSupervisorWorker_Limit() {
return (EReference)supervisorWorkerEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSupervisorWorker_Queue() {
return (EReference)supervisorWorkerEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSupervisorWorker_Extender() {
return (EReference)supervisorWorkerEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSupervisorWorker_Redundancy() {
return (EReference)supervisorWorkerEClass.getEStructuralFeatures().get(3);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getCoverageWorker() {
return coverageWorkerEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getCoverageWorker_Trace() {
return (EReference)coverageWorkerEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_NormalizationEnabled() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_MinimizationEnabled() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_StopWhenComplete() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(3);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_BreakEnabled() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(4);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_SliceWhenComplete() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(5);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_HeuristicEnabled() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(6);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getCoverageWorker_Scope() {
return (EAttribute)coverageWorkerEClass.getEStructuralFeatures().get(7);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getCoverageWorker_HeuristicConfig() {
return (EReference)coverageWorkerEClass.getEStructuralFeatures().get(8);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getTestWorker() {
return testWorkerEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EClass getSerializer() {
return serializerEClass;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSerializer_Format() {
return (EReference)serializerEClass.getEStructuralFeatures().get(0);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EReference getSerializer_Trace() {
return (EReference)serializerEClass.getEStructuralFeatures().get(1);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getSerializer_FolderName() {
return (EAttribute)serializerEClass.getEStructuralFeatures().get(2);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getSerializer_FileName() {
return (EAttribute)serializerEClass.getEStructuralFeatures().get(3);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getSerializer_EnabledNormalization() {
return (EAttribute)serializerEClass.getEStructuralFeatures().get(4);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getSerializer_EnabledInitialValuesPrinting() {
return (EAttribute)serializerEClass.getEStructuralFeatures().get(5);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public EAttribute getSerializer_EnabledLifelinesPrinting() {
return (EAttribute)serializerEClass.getEStructuralFeatures().get(6);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public WorkflowFactory getWorkflowFactory() {
return (WorkflowFactory)getEFactoryInstance();
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private boolean isCreated = false;
/**
* Creates the meta-model objects for the package. This method is
* guarded to have no affect on any invocation but its first.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public void createPackageContents() {
if (isCreated) return;
isCreated = true;
// Create classes and their features
namedObjectEClass = createEClass(NAMED_OBJECT);
createEAttribute(namedObjectEClass, NAMED_OBJECT__NAME);
createEAttribute(namedObjectEClass, NAMED_OBJECT__DESCRIPTION);
createEAttribute(namedObjectEClass, NAMED_OBJECT__COMMENT);
workflowEClass = createEClass(WORKFLOW);
createEReference(workflowEClass, WORKFLOW__MANIFEST);
createEReference(workflowEClass, WORKFLOW__WORKSPACE);
createEReference(workflowEClass, WORKFLOW__DIRECTOR);
createEReference(workflowEClass, WORKFLOW__SYMBEX_OPTION);
createEReference(workflowEClass, WORKFLOW__CONSOLE);
createEReference(workflowEClass, WORKFLOW__SHELL_MODE);
createEReference(workflowEClass, WORKFLOW__DEVELOPER_TUNING);
directorEClass = createEClass(DIRECTOR);
createEReference(directorEClass, DIRECTOR__MANIFEST);
createEReference(directorEClass, DIRECTOR__WORKFLOW);
createEReference(directorEClass, DIRECTOR__PROJECT);
createEReference(directorEClass, DIRECTOR__SUPERVISOR);
createEReference(directorEClass, DIRECTOR__WORKER);
createEReference(directorEClass, DIRECTOR__CONSOLE);
createEReference(directorEClass, DIRECTOR__DEVELOPER_TUNING);
workerEClass = createEClass(WORKER);
createEReference(workerEClass, WORKER__MANIFEST);
createEReference(workerEClass, WORKER__DIRECTOR);
createEReference(workerEClass, WORKER__CONSOLE);
supervisorWorkerEClass = createEClass(SUPERVISOR_WORKER);
createEReference(supervisorWorkerEClass, SUPERVISOR_WORKER__LIMIT);
createEReference(supervisorWorkerEClass, SUPERVISOR_WORKER__QUEUE);
createEReference(supervisorWorkerEClass, SUPERVISOR_WORKER__EXTENDER);
createEReference(supervisorWorkerEClass, SUPERVISOR_WORKER__REDUNDANCY);
coverageWorkerEClass = createEClass(COVERAGE_WORKER);
createEReference(coverageWorkerEClass, COVERAGE_WORKER__TRACE);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__NORMALIZATION_ENABLED);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__MINIMIZATION_ENABLED);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__STOP_WHEN_COMPLETE);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__BREAK_ENABLED);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__SLICE_WHEN_COMPLETE);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__HEURISTIC_ENABLED);
createEAttribute(coverageWorkerEClass, COVERAGE_WORKER__SCOPE);
createEReference(coverageWorkerEClass, COVERAGE_WORKER__HEURISTIC_CONFIG);
testWorkerEClass = createEClass(TEST_WORKER);
serializerEClass = createEClass(SERIALIZER);
createEReference(serializerEClass, SERIALIZER__FORMAT);
createEReference(serializerEClass, SERIALIZER__TRACE);
createEAttribute(serializerEClass, SERIALIZER__FOLDER_NAME);
createEAttribute(serializerEClass, SERIALIZER__FILE_NAME);
createEAttribute(serializerEClass, SERIALIZER__ENABLED_NORMALIZATION);
createEAttribute(serializerEClass, SERIALIZER__ENABLED_INITIAL_VALUES_PRINTING);
createEAttribute(serializerEClass, SERIALIZER__ENABLED_LIFELINES_PRINTING);
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private boolean isInitialized = false;
/**
* Complete the initialization of the package and its meta-model. This
* method is guarded to have no affect on any invocation but its first.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public void initializePackageContents() {
if (isInitialized) return;
isInitialized = true;
// Initialize package
setName(eNAME);
setNsPrefix(eNS_PREFIX);
setNsURI(eNS_URI);
// Obtain other dependent packages
CommonPackage theCommonPackage = (CommonPackage)EPackage.Registry.INSTANCE.getEPackage(CommonPackage.eNS_URI);
CoveragePackage theCoveragePackage = (CoveragePackage)EPackage.Registry.INSTANCE.getEPackage(CoveragePackage.eNS_URI);
TestPackage theTestPackage = (TestPackage)EPackage.Registry.INSTANCE.getEPackage(TestPackage.eNS_URI);
SerializerPackage theSerializerPackage = (SerializerPackage)EPackage.Registry.INSTANCE.getEPackage(SerializerPackage.eNS_URI);
// Add subpackages
getESubpackages().add(theCommonPackage);
getESubpackages().add(theCoveragePackage);
getESubpackages().add(theTestPackage);
getESubpackages().add(theSerializerPackage);
// Create type parameters
// Set bounds for type parameters
// Add supertypes to classes
workflowEClass.getESuperTypes().add(this.getNamedObject());
directorEClass.getESuperTypes().add(this.getNamedObject());
workerEClass.getESuperTypes().add(this.getNamedObject());
supervisorWorkerEClass.getESuperTypes().add(this.getWorker());
coverageWorkerEClass.getESuperTypes().add(this.getWorker());
testWorkerEClass.getESuperTypes().add(this.getWorker());
serializerEClass.getESuperTypes().add(this.getWorker());
// Initialize classes, features, and operations; add parameters
initEClass(namedObjectEClass, NamedObject.class, "NamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getNamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getNamedObject_Description(), ecorePackage.getEString(), "description", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getNamedObject_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(workflowEClass, Workflow.class, "Workflow", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getWorkflow_Manifest(), theCommonPackage.getManifest(), null, "manifest", null, 1, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_Workspace(), theCommonPackage.getWorkspace(), null, "workspace", null, 0, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_Director(), this.getDirector(), null, "director", null, 0, -1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_SymbexOption(), theCommonPackage.getSymbexOption(), null, "symbexOption", null, 0, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_Console(), theCommonPackage.getConsoleLogFormat(), null, "console", null, 0, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_ShellMode(), theCommonPackage.getShellMode(), null, "shellMode", null, 0, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorkflow_DeveloperTuning(), theCommonPackage.getDeveloperTuningOption(), null, "developerTuning", null, 0, 1, Workflow.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(directorEClass, Director.class, "Director", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getDirector_Manifest(), theCommonPackage.getManifest(), null, "manifest", null, 1, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_Workflow(), this.getWorkflow(), null, "workflow", null, 0, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_Project(), theCommonPackage.getProject(), null, "project", null, 0, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_Supervisor(), this.getSupervisorWorker(), null, "supervisor", null, 0, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_Worker(), this.getWorker(), null, "worker", null, 0, -1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_Console(), theCommonPackage.getConsoleLogFormat(), null, "console", null, 0, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getDirector_DeveloperTuning(), theCommonPackage.getDeveloperTuningOption(), null, "developerTuning", null, 0, 1, Director.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(workerEClass, Worker.class, "Worker", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getWorker_Manifest(), theCommonPackage.getManifest(), null, "manifest", null, 1, 1, Worker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorker_Director(), this.getDirector(), null, "director", null, 0, 1, Worker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getWorker_Console(), theCommonPackage.getConsoleLogFormat(), null, "console", null, 0, 1, Worker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(supervisorWorkerEClass, SupervisorWorker.class, "SupervisorWorker", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getSupervisorWorker_Limit(), theCommonPackage.getGraphExplorationLimit(), null, "limit", null, 0, 1, SupervisorWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getSupervisorWorker_Queue(), theCommonPackage.getGraphExplorationQueue(), null, "queue", null, 0, 1, SupervisorWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getSupervisorWorker_Extender(), theCommonPackage.getTraceSpecification(), null, "extender", null, 0, 1, SupervisorWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getSupervisorWorker_Redundancy(), theCommonPackage.getRedundancyDetection(), null, "redundancy", null, 0, 1, SupervisorWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(coverageWorkerEClass, CoverageWorker.class, "CoverageWorker", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getCoverageWorker_Trace(), theCommonPackage.getTraceSpecification(), null, "trace", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_NormalizationEnabled(), ecorePackage.getEBoolean(), "normalizationEnabled", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_MinimizationEnabled(), ecorePackage.getEBoolean(), "minimizationEnabled", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_StopWhenComplete(), ecorePackage.getEBoolean(), "stopWhenComplete", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_BreakEnabled(), ecorePackage.getEBoolean(), "breakEnabled", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_SliceWhenComplete(), ecorePackage.getEBoolean(), "sliceWhenComplete", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_HeuristicEnabled(), ecorePackage.getEBoolean(), "heuristicEnabled", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getCoverageWorker_Scope(), theCommonPackage.getCoverageScopeKind(), "scope", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getCoverageWorker_HeuristicConfig(), theCommonPackage.getCoverageHeuristic(), null, "heuristicConfig", null, 0, 1, CoverageWorker.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(testWorkerEClass, TestWorker.class, "TestWorker", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEClass(serializerEClass, Serializer.class, "Serializer", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getSerializer_Format(), theCommonPackage.getTraceSpecification(), null, "format", null, 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getSerializer_Trace(), theCommonPackage.getTraceSpecification(), null, "trace", null, 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getSerializer_FolderName(), ecorePackage.getEString(), "folderName", null, 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getSerializer_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getSerializer_EnabledNormalization(), ecorePackage.getEBoolean(), "enabledNormalization", null, 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getSerializer_EnabledInitialValuesPrinting(), ecorePackage.getEBoolean(), "enabledInitialValuesPrinting", "false", 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getSerializer_EnabledLifelinesPrinting(), ecorePackage.getEBoolean(), "enabledLifelinesPrinting", "false", 0, 1, Serializer.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
// Create resource
createResource(eNS_URI);
// Create annotations
// http://www.eclipse.org/OCL/Import
createImportAnnotations();
}
/**
* Initializes the annotations for <b>http://www.eclipse.org/OCL/Import</b>.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected void createImportAnnotations() {
String source = "http://www.eclipse.org/OCL/Import";
addAnnotation
(this,
source,
new String[] {
"ecore", "http://www.eclipse.org/emf/2002/Ecore"
});
}
} //WorkflowPackageImpl