From 304ad4964ce2d5e22432bfe7d3ca68bf0917f317 Mon Sep 17 00:00:00 2001 From: Cornelius Date: Sat, 26 Aug 2023 20:45:32 +0200 Subject: [PATCH] Finished Maven build --- .DS_Store | Bin 32772 -> 34820 bytes .project | 11 + de.tu-bs.cs.isf.cbc.model/.DS_Store | Bin 8196 -> 8196 bytes de.tu-bs.cs.isf.cbc.model/pom.xml | 17 +- .../cs/isf/cbc/cbcclass/impl/MethodImpl.java | 871 ++++++++++++++++++ .../cbc/cbcmodel/impl/JavaVariablesImpl.java | 248 +++++ de.tu-bs.cs.isf.cbc.tool/.DS_Store | Bin 6148 -> 6148 bytes de.tu-bs.cs.isf.cbc.util/.DS_Store | Bin 8196 -> 8196 bytes de.tu-bs.cs.isf.cbc.util/META-INF/MANIFEST.MF | 2 +- de.tu-bs.cs.isf.cbcclass.tool/.DS_Store | Bin 8196 -> 8196 bytes de.tu-bs.cs.isf.wizards/META-INF/MANIFEST.MF | 6 +- de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store | Bin 6148 -> 6148 bytes de.tu_bs.cs.isf.cbc.statistics/.DS_Store | Bin 6148 -> 6148 bytes de.tu_bs.cs.isf.cbc.statistics/pom.xml | 2 +- de.tu_bs.cs.isf.commands.toolbar/.DS_Store | Bin 6148 -> 6148 bytes de.tu_bs.cs.isf.lattice/.DS_Store | Bin 6148 -> 6148 bytes pom.xml | 21 - 17 files changed, 1146 insertions(+), 32 deletions(-) create mode 100644 .project create mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcclass/impl/MethodImpl.java create mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcmodel/impl/JavaVariablesImpl.java diff --git a/.DS_Store b/.DS_Store index 22b35c76f8293b582e9f0325c66c6f6617d8eda0..c60448a7a28bcb55e13e0e6372fca5b2ed2adce0 100644 GIT binary patch delta 1182 zcmaKsX>3$g6vxm1cB=2ew0&jhrc*mI1%@TvrZ63;Wd>^LN(NcV7FxTEtxgwHt7Ky7 zG&Z7O49o%JH$Y;7QE1_+At9`RKocN=5C}^_6B7u;#3sgsFX(*??No!lrfBL=5f_HX_23-j+h5h*CB6Mt0gtao}*^SW2SuQVtJ<6F{ZiYJlnD%G8GwTW-C0Si>#gh7wl{Zmu51stGS&q7qSwYNylJ}ASDS)yssPD<9SyVzkT17$Xq5=Ax_RtS>oKDasx=z2)eHx?3^aOxF z0<1_w1~QR_8OTQ=ir_{mDp7@Mti)QZ#|CUfE8al}9q7b|=tKW-b=6_<2_p4#?udxd5k)eKE@{s+?k1$u>U(a-dN{-DQr0aIZh z2QIW0U?F^{z%s?K26b42daP3cPRe&$!2JZ0Cq8yAWXba`H^IF72O%WU23uJQMSAb2a9|e+7t1XRpvOJZUshqp`^y%~8ejILSpI!!k!*Y8BQ0L$hibk2Yn{RFvf6)V zn9f7BC9*t_pBN7x+vt})tG7%#jnPoSW1BkoXoD)gr&fE|#+HVq{AS~DJf~{0+0i^r z{?<5(iF~rJX^u!5?>Y0YIb;2*@xi7{xxZxu|5zRG=4ddPLqS81)Vp4sbVU3rsaz1U z$f@0%rtrRoj6`!VjPF&GV21o+eY55H8#O&vJP}T5bHIA|y?Y6q5?YZfV&mmga}`88 Tp2@w>YEMo~RG(}sEW3G~&~2v8 zM?~GZHa5&;VwB&^qae;Qx!Of&@_La39;xbTLlXlF9R*_(%gK&*4wEM<8&3{W4Fu{h zv=n2P3JnX7h~$}USnfP|LxIKQ4Pi=~Q`L$XnHZ5u87c`e4=O)W60#_Vr8)2 zUmDz#y$xiTyb+olq6{aC8r~N_%PGKcMM6?aTEo_NO#^*9BP8LkkoE%VP zF!@`&=)?v)Rxw}*LIexqB`2>)*sytN;t9shhm!9wZvL2hj8Pyb-7q*gKeqs=jzP>M zPJMD?RoLVt0jJ4+0>_wS11E1R6`gDqA + + CorC + + + + + + + + diff --git a/de.tu-bs.cs.isf.cbc.model/.DS_Store b/de.tu-bs.cs.isf.cbc.model/.DS_Store index 09eb5aeea21d2cf05e0dba4803f1ae5070b2c01c..07e277c969d914a212634de43caa60d28df3d45e 100644 GIT binary patch delta 101 zcmZp1XmOa}FQUxAz`)4BAi$8Ela!yI1LQFXY%H9{KCyvsGdl+h2Ur0!LlQ$KLtaWT hRMBQ0fs2Hwr=94s7+s+;8nPO{bK zq#Fh&=jRpx)iW?~89xS+Yz!p~i9j9c45t-o65m)h3y9ue9C*iU001$^O=tiB diff --git a/de.tu-bs.cs.isf.cbc.model/pom.xml b/de.tu-bs.cs.isf.cbc.model/pom.xml index e33687838..157328085 100644 --- a/de.tu-bs.cs.isf.cbc.model/pom.xml +++ b/de.tu-bs.cs.isf.cbc.model/pom.xml @@ -58,14 +58,15 @@ maven-clean-plugin 3.1.0 - - - ${project.basedir}/src-gen/ - - **/* - - - + + + ${project.basedir}/src-gen/ + + **/MethodImpl.java + **/JavaVariablesImpl.java + + + diff --git a/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcclass/impl/MethodImpl.java b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcclass/impl/MethodImpl.java new file mode 100644 index 000000000..63ae72b32 --- /dev/null +++ b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcclass/impl/MethodImpl.java @@ -0,0 +1,871 @@ +/** + */ +package de.tu_bs.cs.isf.cbc.cbcclass.impl; + +import de.tu_bs.cs.isf.cbc.cbcclass.CbcclassPackage; +import de.tu_bs.cs.isf.cbc.cbcclass.Method; +import de.tu_bs.cs.isf.cbc.cbcclass.ModelClass; +import de.tu_bs.cs.isf.cbc.cbcclass.Parameter; +import de.tu_bs.cs.isf.cbc.cbcclass.Visibility; + +import de.tu_bs.cs.isf.cbc.cbcmodel.CbCFormula; +import de.tu_bs.cs.isf.cbc.cbcmodel.CbcmodelPackage; +import de.tu_bs.cs.isf.cbc.cbcmodel.Condition; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +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.MinimalEObjectImpl; + +import org.eclipse.emf.ecore.util.EObjectContainmentEList; +import org.eclipse.emf.ecore.util.EcoreUtil; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Method'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getCbcDiagramURI Cbc Diagram URI}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getName Name}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getAssignable Assignable}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getCbcStartTriple Cbc Start Triple}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getParentClass Parent Class}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getPrecondition Precondition}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getPostcondition Postcondition}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getReturnType Return Type}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getParameters Parameters}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getVisibility Visibility}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#getSignature Signature}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcclass.impl.MethodImpl#isIsStatic Is Static}
    • + *
+ * + * @generated + */ +public class MethodImpl extends MinimalEObjectImpl.Container implements Method +{ + /** + * The default value of the '{@link #getCbcDiagramURI() Cbc Diagram URI}' attribute. + * + * + * @see #getCbcDiagramURI() + * @generated + * @ordered + */ + protected static final String CBC_DIAGRAM_URI_EDEFAULT = null; + + /** + * The cached value of the '{@link #getCbcDiagramURI() Cbc Diagram URI}' attribute. + * + * + * @see #getCbcDiagramURI() + * @generated + * @ordered + */ + protected String cbcDiagramURI = CBC_DIAGRAM_URI_EDEFAULT; + + /** + * The default value of the '{@link #getName() Name}' attribute. + * + * + * @see #getName() + * @generated + * @ordered + */ + protected static final String NAME_EDEFAULT = null; + + /** + * The cached value of the '{@link #getName() Name}' attribute. + * + * + * @see #getName() + * @generated + * @ordered + */ + protected String name = NAME_EDEFAULT; + + /** + * The default value of the '{@link #getAssignable() Assignable}' attribute. + * + * + * @see #getAssignable() + * @generated + * @ordered + */ + protected static final String ASSIGNABLE_EDEFAULT = null; + + /** + * The cached value of the '{@link #getAssignable() Assignable}' attribute. + * + * + * @see #getAssignable() + * @generated + * @ordered + */ + protected String assignable = ASSIGNABLE_EDEFAULT; + + /** + * The cached value of the '{@link #getCbcStartTriple() Cbc Start Triple}' reference. + * + * + * @see #getCbcStartTriple() + * @generated + * @ordered + */ + protected CbCFormula cbcStartTriple; + + /** + * The default value of the '{@link #getReturnType() Return Type}' attribute. + * + * + * @see #getReturnType() + * @generated + * @ordered + */ + protected static final String RETURN_TYPE_EDEFAULT = null; + + /** + * The cached value of the '{@link #getReturnType() Return Type}' attribute. + * + * + * @see #getReturnType() + * @generated + * @ordered + */ + protected String returnType = RETURN_TYPE_EDEFAULT; + + /** + * The cached value of the '{@link #getParameters() Parameters}' containment reference list. + * + * + * @see #getParameters() + * @generated + * @ordered + */ + protected EList parameters; + + /** + * The default value of the '{@link #getVisibility() Visibility}' attribute. + * + * + * @see #getVisibility() + * @generated + * @ordered + */ + protected static final Visibility VISIBILITY_EDEFAULT = Visibility.PUBLIC; + + /** + * The cached value of the '{@link #getVisibility() Visibility}' attribute. + * + * + * @see #getVisibility() + * @generated + * @ordered + */ + protected Visibility visibility = VISIBILITY_EDEFAULT; + + /** + * The default value of the '{@link #getSignature() Signature}' attribute. + * + * + * @see #getSignature() + * @generated + * @ordered + */ + protected static final String SIGNATURE_EDEFAULT = null; + + /** + * The default value of the '{@link #isIsStatic() Is Static}' attribute. + * + * + * @see #isIsStatic() + * @generated + * @ordered + */ + protected static final boolean IS_STATIC_EDEFAULT = false; + + /** + * The cached value of the '{@link #isIsStatic() Is Static}' attribute. + * + * + * @see #isIsStatic() + * @generated + * @ordered + */ + protected boolean isStatic = IS_STATIC_EDEFAULT; + + /** + * + * + * @generated + */ + protected MethodImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return CbcclassPackage.Literals.METHOD; + } + + /** + * + * + * @generated + */ + @Override + public String getCbcDiagramURI() + { + return cbcDiagramURI; + } + + /** + * + * + * @generated + */ + @Override + public void setCbcDiagramURI(String newCbcDiagramURI) + { + String oldCbcDiagramURI = cbcDiagramURI; + cbcDiagramURI = newCbcDiagramURI; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__CBC_DIAGRAM_URI, oldCbcDiagramURI, cbcDiagramURI)); + } + + /** + * + * + * @generated + */ + @Override + public String getName() + { + return name; + } + + /** + * + * + * @generated + */ + @Override + public void setName(String newName) + { + String oldName = name; + name = newName; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__NAME, oldName, name)); + } + + /** + * + * + * @generated + */ + @Override + public String getAssignable() + { + return assignable; + } + + /** + * + * + * @generated + */ + @Override + public void setAssignable(String newAssignable) + { + String oldAssignable = assignable; + assignable = newAssignable; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__ASSIGNABLE, oldAssignable, assignable)); + } + + /** + * + * + * @generated + */ + @Override + public CbCFormula getCbcStartTriple() + { + if (cbcStartTriple != null && cbcStartTriple.eIsProxy()) + { + InternalEObject oldCbcStartTriple = (InternalEObject)cbcStartTriple; + cbcStartTriple = (CbCFormula)eResolveProxy(oldCbcStartTriple); + if (cbcStartTriple != oldCbcStartTriple) + { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CbcclassPackage.METHOD__CBC_START_TRIPLE, oldCbcStartTriple, cbcStartTriple)); + } + } + return cbcStartTriple; + } + + /** + * + * + * @generated + */ + public CbCFormula basicGetCbcStartTriple() + { + return cbcStartTriple; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetCbcStartTriple(CbCFormula newCbcStartTriple, NotificationChain msgs) + { + CbCFormula oldCbcStartTriple = cbcStartTriple; + cbcStartTriple = newCbcStartTriple; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__CBC_START_TRIPLE, oldCbcStartTriple, newCbcStartTriple); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setCbcStartTriple(CbCFormula newCbcStartTriple) + { + if (newCbcStartTriple != cbcStartTriple) + { + NotificationChain msgs = null; + if (cbcStartTriple != null) + msgs = ((InternalEObject)cbcStartTriple).eInverseRemove(this, CbcmodelPackage.CB_CFORMULA__METHOD_OBJ, CbCFormula.class, msgs); + if (newCbcStartTriple != null) + msgs = ((InternalEObject)newCbcStartTriple).eInverseAdd(this, CbcmodelPackage.CB_CFORMULA__METHOD_OBJ, CbCFormula.class, msgs); + msgs = basicSetCbcStartTriple(newCbcStartTriple, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__CBC_START_TRIPLE, newCbcStartTriple, newCbcStartTriple)); + } + + /** + * + * + * @generated + */ + @Override + public ModelClass getParentClass() + { + if (eContainerFeatureID() != CbcclassPackage.METHOD__PARENT_CLASS) return null; + return (ModelClass)eInternalContainer(); + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetParentClass(ModelClass newParentClass, NotificationChain msgs) + { + msgs = eBasicSetContainer((InternalEObject)newParentClass, CbcclassPackage.METHOD__PARENT_CLASS, msgs); + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setParentClass(ModelClass newParentClass) + { + if (newParentClass != eInternalContainer() || (eContainerFeatureID() != CbcclassPackage.METHOD__PARENT_CLASS && newParentClass != null)) + { + if (EcoreUtil.isAncestor(this, newParentClass)) + throw new IllegalArgumentException("Recursive containment not allowed for " + toString()); + NotificationChain msgs = null; + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + if (newParentClass != null) + msgs = ((InternalEObject)newParentClass).eInverseAdd(this, CbcclassPackage.MODEL_CLASS__METHODS, ModelClass.class, msgs); + msgs = basicSetParentClass(newParentClass, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__PARENT_CLASS, newParentClass, newParentClass)); + } + + /** + * + * + * @generated + */ + @Override + public Condition getPrecondition() + { + Condition precondition = basicGetPrecondition(); + return precondition != null && precondition.eIsProxy() ? (Condition)eResolveProxy((InternalEObject)precondition) : precondition; + } + + /** + * + * + * @generated + */ + public Condition basicGetPrecondition() + { + return cbcStartTriple.getStatement().getPreCondition(); + } + + /** + * + * + * @generated + */ + @Override + public void setPrecondition(Condition newPrecondition) + { + // TODO: implement this method to set the 'Precondition' reference + // Ensure that you remove @generated or mark it @generated NOT + throw new UnsupportedOperationException(); + } + + /** + * + * + * @generated + */ + @Override + public Condition getPostcondition() + { + Condition postcondition = basicGetPostcondition(); + return postcondition != null && postcondition.eIsProxy() ? (Condition)eResolveProxy((InternalEObject)postcondition) : postcondition; + } + + /** + * + * + * @generated + */ + public Condition basicGetPostcondition() + { + return cbcStartTriple.getStatement().getPostCondition(); + } + + /** + * + * + * @generated + */ + @Override + public void setPostcondition(Condition newPostcondition) + { + // TODO: implement this method to set the 'Postcondition' reference + // Ensure that you remove @generated or mark it @generated NOT + throw new UnsupportedOperationException(); + } + + /** + * + * + * @generated + */ + @Override + public String getReturnType() + { + return returnType; + } + + /** + * + * + * @generated + */ + @Override + public void setReturnType(String newReturnType) + { + String oldReturnType = returnType; + returnType = newReturnType; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__RETURN_TYPE, oldReturnType, returnType)); + } + + /** + * + * + * @generated + */ + @Override + public EList getParameters() + { + if (parameters == null) + { + parameters = new EObjectContainmentEList(Parameter.class, this, CbcclassPackage.METHOD__PARAMETERS); + } + return parameters; + } + + /** + * + * + * @generated + */ + @Override + public Visibility getVisibility() + { + return visibility; + } + + /** + * + * + * @generated + */ + @Override + public void setVisibility(Visibility newVisibility) + { + Visibility oldVisibility = visibility; + visibility = newVisibility == null ? VISIBILITY_EDEFAULT : newVisibility; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__VISIBILITY, oldVisibility, visibility)); + } + + /** + * + * + * @generated + */ + @Override + public String getSignature() + { + String staticString = isStatic ? "static " : ""; String params = ""; if (getParameters().size() > 0) { for (Parameter param : parameters) { if (!param.getName().equals("ret")) { params += param.getType() + " " + param.getName() + ", "; } } params = params.substring(0, params.length() - 2); } return visibility.toString().toLowerCase() + " " + staticString + returnType + " " + name + "(" + params + ")"; + } + + /** + * + * + * @generated + */ + @Override + public void setSignature(String newSignature) + { + // TODO: implement this method to set the 'Signature' attribute + // Ensure that you remove @generated or mark it @generated NOT + throw new UnsupportedOperationException(); + } + + /** + * + * + * @generated + */ + @Override + public boolean isIsStatic() + { + return isStatic; + } + + /** + * + * + * @generated + */ + @Override + public void setIsStatic(boolean newIsStatic) + { + boolean oldIsStatic = isStatic; + isStatic = newIsStatic; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CbcclassPackage.METHOD__IS_STATIC, oldIsStatic, isStatic)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + if (cbcStartTriple != null) + msgs = ((InternalEObject)cbcStartTriple).eInverseRemove(this, CbcmodelPackage.CB_CFORMULA__METHOD_OBJ, CbCFormula.class, msgs); + return basicSetCbcStartTriple((CbCFormula)otherEnd, msgs); + case CbcclassPackage.METHOD__PARENT_CLASS: + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + return basicSetParentClass((ModelClass)otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + return basicSetCbcStartTriple(null, msgs); + case CbcclassPackage.METHOD__PARENT_CLASS: + return basicSetParentClass(null, msgs); + case CbcclassPackage.METHOD__PARAMETERS: + return ((InternalEList)getParameters()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) + { + switch (eContainerFeatureID()) + { + case CbcclassPackage.METHOD__PARENT_CLASS: + return eInternalContainer().eInverseRemove(this, CbcclassPackage.MODEL_CLASS__METHODS, ModelClass.class, msgs); + } + return super.eBasicRemoveFromContainerFeature(msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_DIAGRAM_URI: + return getCbcDiagramURI(); + case CbcclassPackage.METHOD__NAME: + return getName(); + case CbcclassPackage.METHOD__ASSIGNABLE: + return getAssignable(); + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + if (resolve) return getCbcStartTriple(); + return basicGetCbcStartTriple(); + case CbcclassPackage.METHOD__PARENT_CLASS: + return getParentClass(); + case CbcclassPackage.METHOD__PRECONDITION: + if (resolve) return getPrecondition(); + return basicGetPrecondition(); + case CbcclassPackage.METHOD__POSTCONDITION: + if (resolve) return getPostcondition(); + return basicGetPostcondition(); + case CbcclassPackage.METHOD__RETURN_TYPE: + return getReturnType(); + case CbcclassPackage.METHOD__PARAMETERS: + return getParameters(); + case CbcclassPackage.METHOD__VISIBILITY: + return getVisibility(); + case CbcclassPackage.METHOD__SIGNATURE: + return getSignature(); + case CbcclassPackage.METHOD__IS_STATIC: + return isIsStatic(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_DIAGRAM_URI: + setCbcDiagramURI((String)newValue); + return; + case CbcclassPackage.METHOD__NAME: + setName((String)newValue); + return; + case CbcclassPackage.METHOD__ASSIGNABLE: + setAssignable((String)newValue); + return; + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + setCbcStartTriple((CbCFormula)newValue); + return; + case CbcclassPackage.METHOD__PARENT_CLASS: + setParentClass((ModelClass)newValue); + return; + case CbcclassPackage.METHOD__PRECONDITION: + setPrecondition((Condition)newValue); + return; + case CbcclassPackage.METHOD__POSTCONDITION: + setPostcondition((Condition)newValue); + return; + case CbcclassPackage.METHOD__RETURN_TYPE: + setReturnType((String)newValue); + return; + case CbcclassPackage.METHOD__PARAMETERS: + getParameters().clear(); + getParameters().addAll((Collection)newValue); + return; + case CbcclassPackage.METHOD__VISIBILITY: + setVisibility((Visibility)newValue); + return; + case CbcclassPackage.METHOD__SIGNATURE: + setSignature((String)newValue); + return; + case CbcclassPackage.METHOD__IS_STATIC: + setIsStatic((Boolean)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_DIAGRAM_URI: + setCbcDiagramURI(CBC_DIAGRAM_URI_EDEFAULT); + return; + case CbcclassPackage.METHOD__NAME: + setName(NAME_EDEFAULT); + return; + case CbcclassPackage.METHOD__ASSIGNABLE: + setAssignable(ASSIGNABLE_EDEFAULT); + return; + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + setCbcStartTriple((CbCFormula)null); + return; + case CbcclassPackage.METHOD__PARENT_CLASS: + setParentClass((ModelClass)null); + return; + case CbcclassPackage.METHOD__PRECONDITION: + setPrecondition((Condition)null); + return; + case CbcclassPackage.METHOD__POSTCONDITION: + setPostcondition((Condition)null); + return; + case CbcclassPackage.METHOD__RETURN_TYPE: + setReturnType(RETURN_TYPE_EDEFAULT); + return; + case CbcclassPackage.METHOD__PARAMETERS: + getParameters().clear(); + return; + case CbcclassPackage.METHOD__VISIBILITY: + setVisibility(VISIBILITY_EDEFAULT); + return; + case CbcclassPackage.METHOD__SIGNATURE: + setSignature(SIGNATURE_EDEFAULT); + return; + case CbcclassPackage.METHOD__IS_STATIC: + setIsStatic(IS_STATIC_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case CbcclassPackage.METHOD__CBC_DIAGRAM_URI: + return CBC_DIAGRAM_URI_EDEFAULT == null ? cbcDiagramURI != null : !CBC_DIAGRAM_URI_EDEFAULT.equals(cbcDiagramURI); + case CbcclassPackage.METHOD__NAME: + return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); + case CbcclassPackage.METHOD__ASSIGNABLE: + return ASSIGNABLE_EDEFAULT == null ? assignable != null : !ASSIGNABLE_EDEFAULT.equals(assignable); + case CbcclassPackage.METHOD__CBC_START_TRIPLE: + return cbcStartTriple != null; + case CbcclassPackage.METHOD__PARENT_CLASS: + return getParentClass() != null; + case CbcclassPackage.METHOD__PRECONDITION: + return basicGetPrecondition() != null; + case CbcclassPackage.METHOD__POSTCONDITION: + return basicGetPostcondition() != null; + case CbcclassPackage.METHOD__RETURN_TYPE: + return RETURN_TYPE_EDEFAULT == null ? returnType != null : !RETURN_TYPE_EDEFAULT.equals(returnType); + case CbcclassPackage.METHOD__PARAMETERS: + return parameters != null && !parameters.isEmpty(); + case CbcclassPackage.METHOD__VISIBILITY: + return visibility != VISIBILITY_EDEFAULT; + case CbcclassPackage.METHOD__SIGNATURE: + return SIGNATURE_EDEFAULT == null ? getSignature() != null : !SIGNATURE_EDEFAULT.equals(getSignature()); + case CbcclassPackage.METHOD__IS_STATIC: + return isStatic != IS_STATIC_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (cbcDiagramURI: "); + result.append(cbcDiagramURI); + result.append(", name: "); + result.append(name); + result.append(", assignable: "); + result.append(assignable); + result.append(", returnType: "); + result.append(returnType); + result.append(", visibility: "); + result.append(visibility); + result.append(", isStatic: "); + result.append(isStatic); + result.append(')'); + return result.toString(); + } + +} //MethodImpl diff --git a/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcmodel/impl/JavaVariablesImpl.java b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcmodel/impl/JavaVariablesImpl.java new file mode 100644 index 000000000..37d8e4331 --- /dev/null +++ b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcmodel/impl/JavaVariablesImpl.java @@ -0,0 +1,248 @@ +/** + */ +package de.tu_bs.cs.isf.cbc.cbcmodel.impl; + +import de.tu_bs.cs.isf.cbc.cbcclass.Field; +import de.tu_bs.cs.isf.cbc.cbcclass.Parameter; + +import de.tu_bs.cs.isf.cbc.cbcmodel.CbcmodelPackage; +import de.tu_bs.cs.isf.cbc.cbcmodel.JavaVariable; +import de.tu_bs.cs.isf.cbc.cbcmodel.JavaVariables; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.NotificationChain; + +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.MinimalEObjectImpl; + +import org.eclipse.emf.ecore.util.EObjectContainmentEList; +import org.eclipse.emf.ecore.util.EObjectResolvingEList; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Java Variables'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link de.tu_bs.cs.isf.cbc.cbcmodel.impl.JavaVariablesImpl#getVariables Variables}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcmodel.impl.JavaVariablesImpl#getFields Fields}
    • + *
  • {@link de.tu_bs.cs.isf.cbc.cbcmodel.impl.JavaVariablesImpl#getParams Params}
    • + *
+ * + * @generated + */ +public class JavaVariablesImpl extends MinimalEObjectImpl.Container implements JavaVariables +{ + /** + * The cached value of the '{@link #getVariables() Variables}' containment reference list. + * + * + * @see #getVariables() + * @generated + * @ordered + */ + protected EList variables; + + /** + * The cached value of the '{@link #getFields() Fields}' reference list. + * + * + * @see #getFields() + * @generated + * @ordered + */ + protected EList fields; + + /** + * The cached value of the '{@link #getParams() Params}' containment reference list. + * + * + * @see #getParams() + * @generated + * @ordered + */ + protected EList params; + + /** + * + * + * @generated + */ + protected JavaVariablesImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return CbcmodelPackage.Literals.JAVA_VARIABLES; + } + + /** + * + * + * @generated + */ + @Override + public EList getVariables() + { + if (variables == null) + { + variables = new EObjectContainmentEList(JavaVariable.class, this, CbcmodelPackage.JAVA_VARIABLES__VARIABLES); + } + return variables; + } + + /** + * + * + * @generated + */ + @Override + public EList getFields() + { + if (fields == null) + { + fields = new EObjectResolvingEList(Field.class, this, CbcmodelPackage.JAVA_VARIABLES__FIELDS); + } + return fields; + } + + /** + * + * + * @generated + */ + @Override + public EList getParams() + { + if (params == null) + { + params = new EObjectContainmentEList(Parameter.class, this, CbcmodelPackage.JAVA_VARIABLES__PARAMS); + } + return params; + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case CbcmodelPackage.JAVA_VARIABLES__VARIABLES: + return ((InternalEList)getVariables()).basicRemove(otherEnd, msgs); + case CbcmodelPackage.JAVA_VARIABLES__PARAMS: + return ((InternalEList)getParams()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case CbcmodelPackage.JAVA_VARIABLES__VARIABLES: + return getVariables(); + case CbcmodelPackage.JAVA_VARIABLES__FIELDS: + return getFields(); + case CbcmodelPackage.JAVA_VARIABLES__PARAMS: + return getParams(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case CbcmodelPackage.JAVA_VARIABLES__VARIABLES: + getVariables().clear(); + getVariables().addAll((Collection)newValue); + return; + case CbcmodelPackage.JAVA_VARIABLES__FIELDS: + getFields().clear(); + getFields().addAll((Collection)newValue); + return; + case CbcmodelPackage.JAVA_VARIABLES__PARAMS: + getParams().clear(); + getParams().addAll((Collection)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case CbcmodelPackage.JAVA_VARIABLES__VARIABLES: + getVariables().clear(); + return; + case CbcmodelPackage.JAVA_VARIABLES__FIELDS: + getFields().clear(); + return; + case CbcmodelPackage.JAVA_VARIABLES__PARAMS: + getParams().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case CbcmodelPackage.JAVA_VARIABLES__VARIABLES: + return variables != null && !variables.isEmpty(); + case CbcmodelPackage.JAVA_VARIABLES__FIELDS: + return fields != null && !fields.isEmpty(); + case CbcmodelPackage.JAVA_VARIABLES__PARAMS: + return params != null && !params.isEmpty(); + } + return super.eIsSet(featureID); + } + +} //JavaVariablesImpl diff --git a/de.tu-bs.cs.isf.cbc.tool/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/.DS_Store index b9664577d0aa214d2af57c6d86e9cf285312cb8b..0695e075488d8c0632736ec8049a3486e795c148 100644 GIT binary patch delta 20 ccmZoMXffEZgO!nC@=n%Oj0~Go*cJ!^07?i3p#T5? delta 20 ccmZoMXffEZgO!nS@=n%OjEtL8*cJ!^07@DLqW}N^ diff --git a/de.tu-bs.cs.isf.cbc.util/.DS_Store b/de.tu-bs.cs.isf.cbc.util/.DS_Store index 50d7e9d865c802940551f68fcaf926845433a9dd..48b7969c1010fbe2ae20cd5f797cd18835612f5d 100644 GIT binary patch delta 14 VcmZp1XmQxEQiPFV^D2=jZU86{1kC^d delta 14 VcmZp1XmQxEQiPFl^D2=jZU8721kL~e diff --git a/de.tu-bs.cs.isf.cbc.util/META-INF/MANIFEST.MF b/de.tu-bs.cs.isf.cbc.util/META-INF/MANIFEST.MF index 6bd3553dc..85ab5cd74 100644 --- a/de.tu-bs.cs.isf.cbc.util/META-INF/MANIFEST.MF +++ b/de.tu-bs.cs.isf.cbc.util/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Parser Bundle-SymbolicName: de.tu-bs.cs.isf.cbc.util Bundle-Version: 1.0.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-17 +Bundle-RequiredExecutionEnvironment: JavaSE-16 Require-Bundle: de.tu-bs.cs.isf.cbc.model;bundle-version="0.1.0", org.key_project.core, org.key_project.util, diff --git a/de.tu-bs.cs.isf.cbcclass.tool/.DS_Store b/de.tu-bs.cs.isf.cbcclass.tool/.DS_Store index fb777b663dd387fb984a60ef6285cfdc95912345..90c3267f5da28d00da2e89e28bbb2f3112af09d4 100644 GIT binary patch delta 14 VcmZp1XmQvuLx7QS^GtzkegG#k1i1hJ delta 14 VcmZp1XmQvuLx7QC^GtzkegG#e1h@bI diff --git a/de.tu-bs.cs.isf.wizards/META-INF/MANIFEST.MF b/de.tu-bs.cs.isf.wizards/META-INF/MANIFEST.MF index e28d666a3..0da8faba2 100644 --- a/de.tu-bs.cs.isf.wizards/META-INF/MANIFEST.MF +++ b/de.tu-bs.cs.isf.wizards/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: ExampleWizard Bundle-SymbolicName: de.tu-bs.cs.isf.wizards;singleton:=true Bundle-Version: 1.0.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-17 +Bundle-RequiredExecutionEnvironment: JavaSE-16 Import-Package: com.google.common.io;version="2.2.0", de.tu_bs.cs.isf.cbc.cbcmodel, org.eclipse.core.resources, @@ -17,6 +17,10 @@ Import-Package: com.google.common.io;version="2.2.0", org.eclipse.jface.dialogs, org.eclipse.jface.viewers, org.eclipse.jface.wizard, + org.eclipse.swt.events, + org.eclipse.swt.graphics, + org.eclipse.swt.layout, + org.eclipse.swt.widgets, org.eclipse.ui.internal, org.osgi.framework;version="1.8.0" Export-Package: de.tu_bs.cs.isf.corc.exampleWizard, diff --git a/de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store b/de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store index 2dd7e27d527e411dd23b6df992aeda5f8bc09c56..20c567cfa04aa211875a3a90b08969a4b1be0c78 100644 GIT binary patch delta 67 zcmZoMXfc=|#>B)qu~2NHo+2a9#(>?7j69opSh^WEi*g9DOl*kT%+A5j0aUVCkmEb^ VWPTAx4hA4#WME*~93irX82~e24-EhS delta 202 zcmZoMXfc=|#>B!ku~2NHo+6{b#(>?7i#IScF$!$vVd`eAXJaT~NMtBtNM}f8D9K4T z3{K9^EnonH&wGIsihORqi%U{YeiBfej~|1Q*(Tm{o{rGdss$ FegGEo6A1tS delta 41 xcmZoMXfc@J&nUJrU^g?P*km4-!;_z}v@kMG&Sq`e%)$1babknfW_FIh`~V*j4fOy3 diff --git a/de.tu_bs.cs.isf.cbc.statistics/pom.xml b/de.tu_bs.cs.isf.cbc.statistics/pom.xml index 48d70ece8..bd35c2eb2 100644 --- a/de.tu_bs.cs.isf.cbc.statistics/pom.xml +++ b/de.tu_bs.cs.isf.cbc.statistics/pom.xml @@ -57,7 +57,7 @@ - ${basedir}/../de.tu_bs.cs.isf.cbc.statistics/src-gen/ + ${project.basedir}/src-gen/ **/* diff --git a/de.tu_bs.cs.isf.commands.toolbar/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/.DS_Store index e780be6adcb8337c6490329251d9fcc3b2a3842c..c9cfbf584190a6a111568350d7f8b3cdc86e2198 100644 GIT binary patch delta 14 VcmZoMXffFEnU#@Y^A}bDApj{L1mFMw delta 14 VcmZoMXffFEnU#@o^A}bDApj{R1mOSx diff --git a/de.tu_bs.cs.isf.lattice/.DS_Store b/de.tu_bs.cs.isf.lattice/.DS_Store index 03852462e17f52dda014925eeec6d66e22df1238..756f51ead4350039220cb741f5797e8bb5969582 100644 GIT binary patch delta 28 kcmZoMXfc@J&nU7nU^g?P$Yvgv*-RTt6BswMbNuB80D<-h<^TWy delta 161 zcmZoMXfc@J&nU4mU^g?P#AY6r*-Z6p3?&SS3`Gp-45 true - - - org.apache.maven.plugins - maven-clean-plugin - 2.5 - - - gen-clean - - clean - - - - - ${basedir}/xtend-gen - - - - - -