From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 May 2019 13:46:38 -0400 Subject: Formalize CPS case study for optimization --- .../domains/cps/util/CpsAdapterFactory.java | 252 +++++++++++++++++++ .../dslreasoner/domains/cps/util/CpsSwitch.java | 266 +++++++++++++++++++++ 2 files changed, 518 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsAdapterFactory.java create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsAdapterFactory.java new file mode 100644 index 00000000..83e984a6 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsAdapterFactory.java @@ -0,0 +1,252 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.domains.cps.util; + +import hu.bme.mit.inf.dslreasoner.domains.cps.*; + +import org.eclipse.emf.common.notify.Adapter; +import org.eclipse.emf.common.notify.Notifier; + +import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * The Adapter Factory for the model. + * It provides an adapter createXXX method for each class of the model. + * + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage + * @generated + */ +public class CpsAdapterFactory extends AdapterFactoryImpl { + /** + * The cached model package. + * + * + * @generated + */ + protected static CpsPackage modelPackage; + + /** + * Creates an instance of the adapter factory. + * + * + * @generated + */ + public CpsAdapterFactory() { + if (modelPackage == null) { + modelPackage = CpsPackage.eINSTANCE; + } + } + + /** + * Returns whether this factory is applicable for the type of the object. + * + * This implementation returns true if the object is either the model's package or is an instance object of the model. + * + * @return whether this factory is applicable for the type of the object. + * @generated + */ + @Override + public boolean isFactoryForType(Object object) { + if (object == modelPackage) { + return true; + } + if (object instanceof EObject) { + return ((EObject) object).eClass().getEPackage() == modelPackage; + } + return false; + } + + /** + * The switch that delegates to the createXXX methods. + * + * + * @generated + */ + protected CpsSwitch modelSwitch = new CpsSwitch() { + @Override + public Adapter caseCyberPhysicalSystem(CyberPhysicalSystem object) { + return createCyberPhysicalSystemAdapter(); + } + + @Override + public Adapter caseApplicationType(ApplicationType object) { + return createApplicationTypeAdapter(); + } + + @Override + public Adapter caseHostType(HostType object) { + return createHostTypeAdapter(); + } + + @Override + public Adapter caseRequest(Request object) { + return createRequestAdapter(); + } + + @Override + public Adapter caseRequirement(Requirement object) { + return createRequirementAdapter(); + } + + @Override + public Adapter caseApplicationInstance(ApplicationInstance object) { + return createApplicationInstanceAdapter(); + } + + @Override + public Adapter caseResourceRequirement(ResourceRequirement object) { + return createResourceRequirementAdapter(); + } + + @Override + public Adapter caseHostInstance(HostInstance object) { + return createHostInstanceAdapter(); + } + + @Override + public Adapter defaultCase(EObject object) { + return createEObjectAdapter(); + } + }; + + /** + * Creates an adapter for the target. + * + * + * @param target the object to adapt. + * @return the adapter for the target. + * @generated + */ + @Override + public Adapter createAdapter(Notifier target) { + return modelSwitch.doSwitch((EObject) target); + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem Cyber Physical System}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem + * @generated + */ + public Adapter createCyberPhysicalSystemAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType Application Type}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType + * @generated + */ + public Adapter createApplicationTypeAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostType Host Type}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostType + * @generated + */ + public Adapter createHostTypeAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.Request Request}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.Request + * @generated + */ + public Adapter createRequestAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.Requirement Requirement}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.Requirement + * @generated + */ + public Adapter createRequirementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance Application Instance}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance + * @generated + */ + public Adapter createApplicationInstanceAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ResourceRequirement Resource Requirement}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.ResourceRequirement + * @generated + */ + public Adapter createResourceRequirementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance Host Instance}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance + * @generated + */ + public Adapter createHostInstanceAdapter() { + return null; + } + + /** + * Creates a new adapter for the default case. + * + * This default implementation returns null. + * + * @return the new adapter. + * @generated + */ + public Adapter createEObjectAdapter() { + return null; + } + +} //CpsAdapterFactory diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java new file mode 100644 index 00000000..28b630a9 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java @@ -0,0 +1,266 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.domains.cps.util; + +import hu.bme.mit.inf.dslreasoner.domains.cps.*; + +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.util.Switch; + +/** + * + * The Switch for the model's inheritance hierarchy. + * It supports the call {@link #doSwitch(EObject) doSwitch(object)} + * to invoke the caseXXX method for each class of the model, + * starting with the actual class of the object + * and proceeding up the inheritance hierarchy + * until a non-null result is returned, + * which is the result of the switch. + * + * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage + * @generated + */ +public class CpsSwitch extends Switch { + /** + * The cached model package + * + * + * @generated + */ + protected static CpsPackage modelPackage; + + /** + * Creates an instance of the switch. + * + * + * @generated + */ + public CpsSwitch() { + if (modelPackage == null) { + modelPackage = CpsPackage.eINSTANCE; + } + } + + /** + * Checks whether this is a switch for the given package. + * + * + * @param ePackage the package in question. + * @return whether this is a switch for the given package. + * @generated + */ + @Override + protected boolean isSwitchFor(EPackage ePackage) { + return ePackage == modelPackage; + } + + /** + * Calls caseXXX for each class of the model until one returns a non null result; it yields that result. + * + * + * @return the first non-null result returned by a caseXXX call. + * @generated + */ + @Override + protected T doSwitch(int classifierID, EObject theEObject) { + switch (classifierID) { + case CpsPackage.CYBER_PHYSICAL_SYSTEM: { + CyberPhysicalSystem cyberPhysicalSystem = (CyberPhysicalSystem) theEObject; + T result = caseCyberPhysicalSystem(cyberPhysicalSystem); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.APPLICATION_TYPE: { + ApplicationType applicationType = (ApplicationType) theEObject; + T result = caseApplicationType(applicationType); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.HOST_TYPE: { + HostType hostType = (HostType) theEObject; + T result = caseHostType(hostType); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.REQUEST: { + Request request = (Request) theEObject; + T result = caseRequest(request); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.REQUIREMENT: { + Requirement requirement = (Requirement) theEObject; + T result = caseRequirement(requirement); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.APPLICATION_INSTANCE: { + ApplicationInstance applicationInstance = (ApplicationInstance) theEObject; + T result = caseApplicationInstance(applicationInstance); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.RESOURCE_REQUIREMENT: { + ResourceRequirement resourceRequirement = (ResourceRequirement) theEObject; + T result = caseResourceRequirement(resourceRequirement); + if (result == null) + result = defaultCase(theEObject); + return result; + } + case CpsPackage.HOST_INSTANCE: { + HostInstance hostInstance = (HostInstance) theEObject; + T result = caseHostInstance(hostInstance); + if (result == null) + result = defaultCase(theEObject); + return result; + } + default: + return defaultCase(theEObject); + } + } + + /** + * Returns the result of interpreting the object as an instance of 'Cyber Physical System'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Cyber Physical System'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseCyberPhysicalSystem(CyberPhysicalSystem object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Application Type'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Application Type'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseApplicationType(ApplicationType object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Host Type'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Host Type'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseHostType(HostType object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Request'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Request'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRequest(Request object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Requirement'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Requirement'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRequirement(Requirement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Application Instance'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Application Instance'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseApplicationInstance(ApplicationInstance object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Resource Requirement'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Resource Requirement'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseResourceRequirement(ResourceRequirement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Host Instance'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Host Instance'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseHostInstance(HostInstance object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'EObject'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch, but this is the last case anyway. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'EObject'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) + * @generated + */ + @Override + public T defaultCase(EObject object) { + return null; + } + +} //CpsSwitch -- cgit v1.2.3-54-g00ecf