From d7e2de55047e357ca6a4db4709885ca59946a484 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Feb 2018 19:03:35 -0500 Subject: Translated PQueryies are added to annotation. --- .../TransfomedViatraQuery.java | 27 +++++++++++ .../Viatra2LogicAnnotationsPackage.java | 30 ++++++++++++- .../impl/TransfomedViatraQueryImpl.java | 52 ++++++++++++++++++++++ .../impl/Viatra2LogicAnnotationsPackageImpl.java | 11 +++++ 4 files changed, 119 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java index 9eb911d5..717b0436 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java @@ -14,6 +14,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; *

* * * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() @@ -47,4 +48,30 @@ public interface TransfomedViatraQuery extends RelationAnnotation { * @generated */ void setPatternFullyQualifiedName(String value); + + /** + * Returns the value of the 'Pattern PQuery' attribute. + * + *

+ * If the meaning of the 'Pattern PQuery' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Pattern PQuery' attribute. + * @see #setPatternPQuery(Object) + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_PatternPQuery() + * @model required="true" transient="true" + * @generated + */ + Object getPatternPQuery(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery Pattern PQuery}' attribute. + * + * + * @param value the new value of the 'Pattern PQuery' attribute. + * @see #getPatternPQuery() + * @generated + */ + void setPatternPQuery(Object value); } // TransfomedViatraQuery diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java index 0c3de242..97df7608 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java @@ -86,6 +86,15 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ int TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0; + /** + * The feature id for the 'Pattern PQuery' attribute. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; + /** * The number of structural features of the 'Transfomed Viatra Query' class. * @@ -93,7 +102,7 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { * @generated * @ordered */ - int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; + int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; /** * The number of operations of the 'Transfomed Viatra Query' class. @@ -219,6 +228,17 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName(); + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery Pattern PQuery}'. + * + * + * @return the meta object for the attribute 'Pattern PQuery'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery() + * @see #getTransfomedViatraQuery() + * @generated + */ + EAttribute getTransfomedViatraQuery_PatternPQuery(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint Transformed Viatra Wellformedness Constraint}'. * @@ -302,6 +322,14 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = eINSTANCE.getTransfomedViatraQuery_PatternFullyQualifiedName(); + /** + * The meta object literal for the 'Pattern PQuery' attribute feature. + * + * + * @generated + */ + EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class. * diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java index f0d18ee9..d7f9ff68 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java @@ -20,6 +20,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; *

* * * @generated @@ -44,6 +45,24 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements */ protected String patternFullyQualifiedName = PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT; + /** + * The default value of the '{@link #getPatternPQuery() Pattern PQuery}' attribute. + * + * + * @see #getPatternPQuery() + * @generated + * @ordered + */ + protected static final Object PATTERN_PQUERY_EDEFAULT = null; + /** + * The cached value of the '{@link #getPatternPQuery() Pattern PQuery}' attribute. + * + * + * @see #getPatternPQuery() + * @generated + * @ordered + */ + protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT; /** * * @@ -84,6 +103,27 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME, oldPatternFullyQualifiedName, patternFullyQualifiedName)); } + /** + * + * + * @generated + */ + public Object getPatternPQuery() { + return patternPQuery; + } + + /** + * + * + * @generated + */ + public void setPatternPQuery(Object newPatternPQuery) { + Object oldPatternPQuery = patternPQuery; + patternPQuery = newPatternPQuery; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY, oldPatternPQuery, patternPQuery)); + } + /** * * @@ -94,6 +134,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements switch (featureID) { case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: return getPatternFullyQualifiedName(); + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: + return getPatternPQuery(); } return super.eGet(featureID, resolve, coreType); } @@ -109,6 +151,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: setPatternFullyQualifiedName((String)newValue); return; + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: + setPatternPQuery(newValue); + return; } super.eSet(featureID, newValue); } @@ -124,6 +169,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: setPatternFullyQualifiedName(PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT); return; + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: + setPatternPQuery(PATTERN_PQUERY_EDEFAULT); + return; } super.eUnset(featureID); } @@ -138,6 +186,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements switch (featureID) { case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName); + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: + return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); } return super.eIsSet(featureID); } @@ -154,6 +204,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements StringBuffer result = new StringBuffer(super.toString()); result.append(" (patternFullyQualifiedName: "); result.append(patternFullyQualifiedName); + result.append(", patternPQuery: "); + result.append(patternPQuery); result.append(')'); return result.toString(); } diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java index b6992bf9..06965e87 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java @@ -130,6 +130,15 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(0); } + /** + * + * + * @generated + */ + public EAttribute getTransfomedViatraQuery_PatternPQuery() { + return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(1); + } + /** * * @@ -196,6 +205,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements // Create classes and their features transfomedViatraQueryEClass = createEClass(TRANSFOMED_VIATRA_QUERY); createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME); + createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY); transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT); createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY); @@ -242,6 +252,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements // Initialize classes, features, and operations; add parameters initEClass(transfomedViatraQueryEClass, TransfomedViatraQuery.class, "TransfomedViatraQuery", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getTransfomedViatraQuery_PatternPQuery(), ecorePackage.getEJavaObject(), "patternPQuery", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); -- cgit v1.2.3-70-g09d2