From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../DefinedByDerivedFeature.java | 50 +++ .../TransfomedViatraQuery.java | 50 +++ .../TransformedViatraWellformednessConstraint.java | 50 +++ .../Viatra2LogicAnnotationsFactory.java | 60 ++++ .../Viatra2LogicAnnotationsPackage.java | 343 +++++++++++++++++++++ .../impl/DefinedByDerivedFeatureImpl.java | 158 ++++++++++ .../impl/TransfomedViatraQueryImpl.java | 161 ++++++++++ ...nsformedViatraWellformednessConstraintImpl.java | 158 ++++++++++ .../impl/Viatra2LogicAnnotationsFactoryImpl.java | 117 +++++++ .../impl/Viatra2LogicAnnotationsPackageImpl.java | 256 +++++++++++++++ .../Viatra2LogicAnnotationsAdapterFactory.java | 214 +++++++++++++ .../util/Viatra2LogicAnnotationsSwitch.java | 207 +++++++++++++ 12 files changed, 1824 insertions(+) create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java new file mode 100644 index 00000000..ab468027 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/DefinedByDerivedFeature.java @@ -0,0 +1,50 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; + +/** + * + * A representation of the model object 'Defined By Derived Feature'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getDefinedByDerivedFeature() + * @model + * @generated + */ +public interface DefinedByDerivedFeature extends RelationAnnotation { + /** + * Returns the value of the 'Query' reference. + * + *

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

+ * + * @return the value of the 'Query' reference. + * @see #setQuery(TransfomedViatraQuery) + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getDefinedByDerivedFeature_Query() + * @model required="true" + * @generated + */ + TransfomedViatraQuery getQuery(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery Query}' reference. + * + * + * @param value the new value of the 'Query' reference. + * @see #getQuery() + * @generated + */ + void setQuery(TransfomedViatraQuery value); + +} // DefinedByDerivedFeature 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 new file mode 100644 index 00000000..9eb911d5 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java @@ -0,0 +1,50 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; + +/** + * + * A representation of the model object 'Transfomed Viatra Query'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() + * @model + * @generated + */ +public interface TransfomedViatraQuery extends RelationAnnotation { + + /** + * Returns the value of the 'Pattern Fully Qualified Name' attribute. + * + *

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

+ * + * @return the value of the 'Pattern Fully Qualified Name' attribute. + * @see #setPatternFullyQualifiedName(String) + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_PatternFullyQualifiedName() + * @model required="true" + * @generated + */ + String getPatternFullyQualifiedName(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName Pattern Fully Qualified Name}' attribute. + * + * + * @param value the new value of the 'Pattern Fully Qualified Name' attribute. + * @see #getPatternFullyQualifiedName() + * @generated + */ + void setPatternFullyQualifiedName(String value); +} // TransfomedViatraQuery diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java new file mode 100644 index 00000000..04c5480f --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransformedViatraWellformednessConstraint.java @@ -0,0 +1,50 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; + +/** + * + * A representation of the model object 'Transformed Viatra Wellformedness Constraint'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransformedViatraWellformednessConstraint() + * @model + * @generated + */ +public interface TransformedViatraWellformednessConstraint extends AssertionAnnotation { + /** + * Returns the value of the 'Query' reference. + * + *

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

+ * + * @return the value of the 'Query' reference. + * @see #setQuery(TransfomedViatraQuery) + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransformedViatraWellformednessConstraint_Query() + * @model required="true" + * @generated + */ + TransfomedViatraQuery getQuery(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery Query}' reference. + * + * + * @param value the new value of the 'Query' reference. + * @see #getQuery() + * @generated + */ + void setQuery(TransfomedViatraQuery value); + +} // TransformedViatraWellformednessConstraint diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java new file mode 100644 index 00000000..1343bee3 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java @@ -0,0 +1,60 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; + +import org.eclipse.emf.ecore.EFactory; + +/** + * + * The Factory for the model. + * It provides a create method for each non-abstract class of the model. + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage + * @generated + */ +public interface Viatra2LogicAnnotationsFactory extends EFactory { + /** + * The singleton instance of the factory. + * + * + * @generated + */ + Viatra2LogicAnnotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsFactoryImpl.init(); + + /** + * Returns a new object of class 'Transfomed Viatra Query'. + * + * + * @return a new object of class 'Transfomed Viatra Query'. + * @generated + */ + TransfomedViatraQuery createTransfomedViatraQuery(); + + /** + * Returns a new object of class 'Transformed Viatra Wellformedness Constraint'. + * + * + * @return a new object of class 'Transformed Viatra Wellformedness Constraint'. + * @generated + */ + TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint(); + + /** + * Returns a new object of class 'Defined By Derived Feature'. + * + * + * @return a new object of class 'Defined By Derived Feature'. + * @generated + */ + DefinedByDerivedFeature createDefinedByDerivedFeature(); + + /** + * Returns the package supported by this factory. + * + * + * @return the package supported by this factory. + * @generated + */ + Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage(); + +} //Viatra2LogicAnnotationsFactory 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 new file mode 100644 index 00000000..0c3de242 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java @@ -0,0 +1,343 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory + * @model kind="package" + * @generated + */ +public interface Viatra2LogicAnnotationsPackage extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "viatra2logicannotations"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "viatra2logicannotations"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + Viatra2LogicAnnotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl.init(); + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl Transfomed Viatra Query}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery() + * @generated + */ + int TRANSFOMED_VIATRA_QUERY = 0; + + /** + * The feature id for the 'Target' reference. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET; + + /** + * The feature id for the 'Pattern Fully Qualified Name' attribute. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Transfomed Viatra Query' class. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Transfomed Viatra Query' class. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint() + * @generated + */ + int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = 1; + + /** + * The feature id for the 'Target' reference. + * + * + * @generated + * @ordered + */ + int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET; + + /** + * The feature id for the 'Query' reference. + * + * + * @generated + * @ordered + */ + int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Transformed Viatra Wellformedness Constraint' class. + * + * + * @generated + * @ordered + */ + int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Transformed Viatra Wellformedness Constraint' class. + * + * + * @generated + * @ordered + */ + int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl Defined By Derived Feature}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature() + * @generated + */ + int DEFINED_BY_DERIVED_FEATURE = 2; + + /** + * The feature id for the 'Target' reference. + * + * + * @generated + * @ordered + */ + int DEFINED_BY_DERIVED_FEATURE__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET; + + /** + * The feature id for the 'Query' reference. + * + * + * @generated + * @ordered + */ + int DEFINED_BY_DERIVED_FEATURE__QUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Defined By Derived Feature' class. + * + * + * @generated + * @ordered + */ + int DEFINED_BY_DERIVED_FEATURE_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Defined By Derived Feature' class. + * + * + * @generated + * @ordered + */ + int DEFINED_BY_DERIVED_FEATURE_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0; + + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery Transfomed Viatra Query}'. + * + * + * @return the meta object for class 'Transfomed Viatra Query'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery + * @generated + */ + EClass getTransfomedViatraQuery(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName Pattern Fully Qualified Name}'. + * + * + * @return the meta object for the attribute 'Pattern Fully Qualified Name'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName() + * @see #getTransfomedViatraQuery() + * @generated + */ + EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint Transformed Viatra Wellformedness Constraint}'. + * + * + * @return the meta object for class 'Transformed Viatra Wellformedness Constraint'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint + * @generated + */ + EClass getTransformedViatraWellformednessConstraint(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery Query}'. + * + * + * @return the meta object for the reference 'Query'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery() + * @see #getTransformedViatraWellformednessConstraint() + * @generated + */ + EReference getTransformedViatraWellformednessConstraint_Query(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature Defined By Derived Feature}'. + * + * + * @return the meta object for class 'Defined By Derived Feature'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature + * @generated + */ + EClass getDefinedByDerivedFeature(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery Query}'. + * + * + * @return the meta object for the reference 'Query'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery() + * @see #getDefinedByDerivedFeature() + * @generated + */ + EReference getDefinedByDerivedFeature_Query(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl Transfomed Viatra Query}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery() + * @generated + */ + EClass TRANSFOMED_VIATRA_QUERY = eINSTANCE.getTransfomedViatraQuery(); + + /** + * The meta object literal for the 'Pattern Fully Qualified Name' attribute feature. + * + * + * @generated + */ + EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = eINSTANCE.getTransfomedViatraQuery_PatternFullyQualifiedName(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint() + * @generated + */ + EClass TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = eINSTANCE.getTransformedViatraWellformednessConstraint(); + + /** + * The meta object literal for the 'Query' reference feature. + * + * + * @generated + */ + EReference TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = eINSTANCE.getTransformedViatraWellformednessConstraint_Query(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl Defined By Derived Feature}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature() + * @generated + */ + EClass DEFINED_BY_DERIVED_FEATURE = eINSTANCE.getDefinedByDerivedFeature(); + + /** + * The meta object literal for the 'Query' reference feature. + * + * + * @generated + */ + EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query(); + + } + +} //Viatra2LogicAnnotationsPackage diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java new file mode 100644 index 00000000..c2098ed0 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java @@ -0,0 +1,158 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Defined By Derived Feature'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implements DefinedByDerivedFeature { + /** + * The cached value of the '{@link #getQuery() Query}' reference. + * + * + * @see #getQuery() + * @generated + * @ordered + */ + protected TransfomedViatraQuery query; + + /** + * + * + * @generated + */ + protected DefinedByDerivedFeatureImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return Viatra2LogicAnnotationsPackage.Literals.DEFINED_BY_DERIVED_FEATURE; + } + + /** + * + * + * @generated + */ + public TransfomedViatraQuery getQuery() { + if (query != null && query.eIsProxy()) { + InternalEObject oldQuery = (InternalEObject)query; + query = (TransfomedViatraQuery)eResolveProxy(oldQuery); + if (query != oldQuery) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY, oldQuery, query)); + } + } + return query; + } + + /** + * + * + * @generated + */ + public TransfomedViatraQuery basicGetQuery() { + return query; + } + + /** + * + * + * @generated + */ + public void setQuery(TransfomedViatraQuery newQuery) { + TransfomedViatraQuery oldQuery = query; + query = newQuery; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY, oldQuery, query)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY: + if (resolve) return getQuery(); + return basicGetQuery(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY: + setQuery((TransfomedViatraQuery)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY: + setQuery((TransfomedViatraQuery)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE__QUERY: + return query != null; + } + return super.eIsSet(featureID); + } + +} //DefinedByDerivedFeatureImpl 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 new file mode 100644 index 00000000..f0d18ee9 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java @@ -0,0 +1,161 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Transfomed Viatra Query'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements TransfomedViatraQuery { + /** + * The default value of the '{@link #getPatternFullyQualifiedName() Pattern Fully Qualified Name}' attribute. + * + * + * @see #getPatternFullyQualifiedName() + * @generated + * @ordered + */ + protected static final String PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT = null; + /** + * The cached value of the '{@link #getPatternFullyQualifiedName() Pattern Fully Qualified Name}' attribute. + * + * + * @see #getPatternFullyQualifiedName() + * @generated + * @ordered + */ + protected String patternFullyQualifiedName = PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT; + + /** + * + * + * @generated + */ + protected TransfomedViatraQueryImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return Viatra2LogicAnnotationsPackage.Literals.TRANSFOMED_VIATRA_QUERY; + } + + /** + * + * + * @generated + */ + public String getPatternFullyQualifiedName() { + return patternFullyQualifiedName; + } + + /** + * + * + * @generated + */ + public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) { + String oldPatternFullyQualifiedName = patternFullyQualifiedName; + patternFullyQualifiedName = newPatternFullyQualifiedName; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME, oldPatternFullyQualifiedName, patternFullyQualifiedName)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: + return getPatternFullyQualifiedName(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: + setPatternFullyQualifiedName((String)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: + setPatternFullyQualifiedName(PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + 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); + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (patternFullyQualifiedName: "); + result.append(patternFullyQualifiedName); + result.append(')'); + return result.toString(); + } + +} //TransfomedViatraQueryImpl diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java new file mode 100644 index 00000000..be0c3078 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java @@ -0,0 +1,158 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Transformed Viatra Wellformedness Constraint'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class TransformedViatraWellformednessConstraintImpl extends AssertionAnnotationImpl implements TransformedViatraWellformednessConstraint { + /** + * The cached value of the '{@link #getQuery() Query}' reference. + * + * + * @see #getQuery() + * @generated + * @ordered + */ + protected TransfomedViatraQuery query; + + /** + * + * + * @generated + */ + protected TransformedViatraWellformednessConstraintImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return Viatra2LogicAnnotationsPackage.Literals.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT; + } + + /** + * + * + * @generated + */ + public TransfomedViatraQuery getQuery() { + if (query != null && query.eIsProxy()) { + InternalEObject oldQuery = (InternalEObject)query; + query = (TransfomedViatraQuery)eResolveProxy(oldQuery); + if (query != oldQuery) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY, oldQuery, query)); + } + } + return query; + } + + /** + * + * + * @generated + */ + public TransfomedViatraQuery basicGetQuery() { + return query; + } + + /** + * + * + * @generated + */ + public void setQuery(TransfomedViatraQuery newQuery) { + TransfomedViatraQuery oldQuery = query; + query = newQuery; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY, oldQuery, query)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY: + if (resolve) return getQuery(); + return basicGetQuery(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY: + setQuery((TransfomedViatraQuery)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY: + setQuery((TransfomedViatraQuery)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY: + return query != null; + } + return super.eIsSet(featureID); + } + +} //TransformedViatraWellformednessConstraintImpl diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java new file mode 100644 index 00000000..fc8f23c7 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java @@ -0,0 +1,117 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.impl.EFactoryImpl; + +import org.eclipse.emf.ecore.plugin.EcorePlugin; + +/** + * + * An implementation of the model Factory. + * + * @generated + */ +public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements Viatra2LogicAnnotationsFactory { + /** + * Creates the default factory implementation. + * + * + * @generated + */ + public static Viatra2LogicAnnotationsFactory init() { + try { + Viatra2LogicAnnotationsFactory theViatra2LogicAnnotationsFactory = (Viatra2LogicAnnotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Viatra2LogicAnnotationsPackage.eNS_URI); + if (theViatra2LogicAnnotationsFactory != null) { + return theViatra2LogicAnnotationsFactory; + } + } + catch (Exception exception) { + EcorePlugin.INSTANCE.log(exception); + } + return new Viatra2LogicAnnotationsFactoryImpl(); + } + + /** + * Creates an instance of the factory. + * + * + * @generated + */ + public Viatra2LogicAnnotationsFactoryImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + public EObject create(EClass eClass) { + switch (eClass.getClassifierID()) { + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: return createTransfomedViatraQuery(); + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: return createTransformedViatraWellformednessConstraint(); + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: return createDefinedByDerivedFeature(); + default: + throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); + } + } + + /** + * + * + * @generated + */ + public TransfomedViatraQuery createTransfomedViatraQuery() { + TransfomedViatraQueryImpl transfomedViatraQuery = new TransfomedViatraQueryImpl(); + return transfomedViatraQuery; + } + + /** + * + * + * @generated + */ + public TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint() { + TransformedViatraWellformednessConstraintImpl transformedViatraWellformednessConstraint = new TransformedViatraWellformednessConstraintImpl(); + return transformedViatraWellformednessConstraint; + } + + /** + * + * + * @generated + */ + public DefinedByDerivedFeature createDefinedByDerivedFeature() { + DefinedByDerivedFeatureImpl definedByDerivedFeature = new DefinedByDerivedFeatureImpl(); + return definedByDerivedFeature; + } + + /** + * + * + * @generated + */ + public Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage() { + return (Viatra2LogicAnnotationsPackage)getEPackage(); + } + + /** + * + * + * @deprecated + * @generated + */ + @Deprecated + public static Viatra2LogicAnnotationsPackage getPackage() { + return Viatra2LogicAnnotationsPackage.eINSTANCE; + } + +} //Viatra2LogicAnnotationsFactoryImpl 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 new file mode 100644 index 00000000..b6992bf9 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java @@ -0,0 +1,256 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; + +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; + +/** + * + * An implementation of the model Package. + * + * @generated + */ +public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements Viatra2LogicAnnotationsPackage { + /** + * + * + * @generated + */ + private EClass transfomedViatraQueryEClass = null; + + /** + * + * + * @generated + */ + private EClass transformedViatraWellformednessConstraintEClass = null; + + /** + * + * + * @generated + */ + private EClass definedByDerivedFeatureEClass = null; + + /** + * Creates an instance of the model Package, registered with + * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package + * package URI value. + *

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. + * + * + * @see org.eclipse.emf.ecore.EPackage.Registry + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#eNS_URI + * @see #init() + * @generated + */ + private Viatra2LogicAnnotationsPackageImpl() { + super(eNS_URI, Viatra2LogicAnnotationsFactory.eINSTANCE); + } + + /** + * + * + * @generated + */ + private static boolean isInited = false; + + /** + * Creates, registers, and initializes the Package for this model, and for any others upon which it depends. + * + *

This method is used to initialize {@link Viatra2LogicAnnotationsPackage#eINSTANCE} when that field is accessed. + * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. + * + * + * @see #eNS_URI + * @see #createPackageContents() + * @see #initializePackageContents() + * @generated + */ + public static Viatra2LogicAnnotationsPackage init() { + if (isInited) return (Viatra2LogicAnnotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Viatra2LogicAnnotationsPackage.eNS_URI); + + // Obtain or create and register package + Viatra2LogicAnnotationsPackageImpl theViatra2LogicAnnotationsPackage = (Viatra2LogicAnnotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Viatra2LogicAnnotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Viatra2LogicAnnotationsPackageImpl()); + + isInited = true; + + // Initialize simple dependencies + LogiclanguagePackage.eINSTANCE.eClass(); + LogicproblemPackage.eINSTANCE.eClass(); + + // Create package meta-data objects + theViatra2LogicAnnotationsPackage.createPackageContents(); + + // Initialize created meta-data + theViatra2LogicAnnotationsPackage.initializePackageContents(); + + // Mark meta-data to indicate it can't be changed + theViatra2LogicAnnotationsPackage.freeze(); + + + // Update the registry and return the package + EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, theViatra2LogicAnnotationsPackage); + return theViatra2LogicAnnotationsPackage; + } + + /** + * + * + * @generated + */ + public EClass getTransfomedViatraQuery() { + return transfomedViatraQueryEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName() { + return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getTransformedViatraWellformednessConstraint() { + return transformedViatraWellformednessConstraintEClass; + } + + /** + * + * + * @generated + */ + public EReference getTransformedViatraWellformednessConstraint_Query() { + return (EReference)transformedViatraWellformednessConstraintEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getDefinedByDerivedFeature() { + return definedByDerivedFeatureEClass; + } + + /** + * + * + * @generated + */ + public EReference getDefinedByDerivedFeature_Query() { + return (EReference)definedByDerivedFeatureEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory() { + return (Viatra2LogicAnnotationsFactory)getEFactoryInstance(); + } + + /** + * + * + * @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. + * + * + * @generated + */ + public void createPackageContents() { + if (isCreated) return; + isCreated = true; + + // Create classes and their features + transfomedViatraQueryEClass = createEClass(TRANSFOMED_VIATRA_QUERY); + createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME); + + transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT); + createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY); + + definedByDerivedFeatureEClass = createEClass(DEFINED_BY_DERIVED_FEATURE); + createEReference(definedByDerivedFeatureEClass, DEFINED_BY_DERIVED_FEATURE__QUERY); + } + + /** + * + * + * @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. + * + * + * @generated + */ + public void initializePackageContents() { + if (isInitialized) return; + isInitialized = true; + + // Initialize package + setName(eNAME); + setNsPrefix(eNS_PREFIX); + setNsURI(eNS_URI); + + // Obtain other dependent packages + LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); + + // Create type parameters + + // Set bounds for type parameters + + // Add supertypes to classes + transfomedViatraQueryEClass.getESuperTypes().add(theLogicproblemPackage.getRelationAnnotation()); + transformedViatraWellformednessConstraintEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation()); + definedByDerivedFeatureEClass.getESuperTypes().add(theLogicproblemPackage.getRelationAnnotation()); + + // 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); + + 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); + + initEClass(definedByDerivedFeatureEClass, DefinedByDerivedFeature.class, "DefinedByDerivedFeature", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getDefinedByDerivedFeature_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, DefinedByDerivedFeature.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + // Create resource + createResource(eNS_URI); + } + +} //Viatra2LogicAnnotationsPackageImpl diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java new file mode 100644 index 00000000..91bbdc9f --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java @@ -0,0 +1,214 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*; + +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.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage + * @generated + */ +public class Viatra2LogicAnnotationsAdapterFactory extends AdapterFactoryImpl { + /** + * The cached model package. + * + * + * @generated + */ + protected static Viatra2LogicAnnotationsPackage modelPackage; + + /** + * Creates an instance of the adapter factory. + * + * + * @generated + */ + public Viatra2LogicAnnotationsAdapterFactory() { + if (modelPackage == null) { + modelPackage = Viatra2LogicAnnotationsPackage.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 Viatra2LogicAnnotationsSwitch modelSwitch = + new Viatra2LogicAnnotationsSwitch() { + @Override + public Adapter caseTransfomedViatraQuery(TransfomedViatraQuery object) { + return createTransfomedViatraQueryAdapter(); + } + @Override + public Adapter caseTransformedViatraWellformednessConstraint(TransformedViatraWellformednessConstraint object) { + return createTransformedViatraWellformednessConstraintAdapter(); + } + @Override + public Adapter caseDefinedByDerivedFeature(DefinedByDerivedFeature object) { + return createDefinedByDerivedFeatureAdapter(); + } + @Override + public Adapter caseAnnotation(Annotation object) { + return createAnnotationAdapter(); + } + @Override + public Adapter caseRelationAnnotation(RelationAnnotation object) { + return createRelationAnnotationAdapter(); + } + @Override + public Adapter caseAssertionAnnotation(AssertionAnnotation object) { + return createAssertionAnnotationAdapter(); + } + @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.viatra2logic.viatra2logicannotations.TransfomedViatraQuery Transfomed Viatra Query}'. + * + * 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.viatra2logic.viatra2logicannotations.TransfomedViatraQuery + * @generated + */ + public Adapter createTransfomedViatraQueryAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint Transformed Viatra Wellformedness Constraint}'. + * + * 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.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint + * @generated + */ + public Adapter createTransformedViatraWellformednessConstraintAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature Defined By Derived Feature}'. + * + * 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.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature + * @generated + */ + public Adapter createDefinedByDerivedFeatureAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation Annotation}'. + * + * 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.logic.model.logicproblem.Annotation + * @generated + */ + public Adapter createAnnotationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation Relation Annotation}'. + * + * 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.logic.model.logicproblem.RelationAnnotation + * @generated + */ + public Adapter createRelationAnnotationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation Assertion Annotation}'. + * + * 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.logic.model.logicproblem.AssertionAnnotation + * @generated + */ + public Adapter createAssertionAnnotationAdapter() { + 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; + } + +} //Viatra2LogicAnnotationsAdapterFactory diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java new file mode 100644 index 00000000..09288a62 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java @@ -0,0 +1,207 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util; + +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; +import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.*; + +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.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage + * @generated + */ +public class Viatra2LogicAnnotationsSwitch extends Switch { + /** + * The cached model package + * + * + * @generated + */ + protected static Viatra2LogicAnnotationsPackage modelPackage; + + /** + * Creates an instance of the switch. + * + * + * @generated + */ + public Viatra2LogicAnnotationsSwitch() { + if (modelPackage == null) { + modelPackage = Viatra2LogicAnnotationsPackage.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 Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: { + TransfomedViatraQuery transfomedViatraQuery = (TransfomedViatraQuery)theEObject; + T result = caseTransfomedViatraQuery(transfomedViatraQuery); + if (result == null) result = caseRelationAnnotation(transfomedViatraQuery); + if (result == null) result = caseAnnotation(transfomedViatraQuery); + if (result == null) result = defaultCase(theEObject); + return result; + } + case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: { + TransformedViatraWellformednessConstraint transformedViatraWellformednessConstraint = (TransformedViatraWellformednessConstraint)theEObject; + T result = caseTransformedViatraWellformednessConstraint(transformedViatraWellformednessConstraint); + if (result == null) result = caseAssertionAnnotation(transformedViatraWellformednessConstraint); + if (result == null) result = caseAnnotation(transformedViatraWellformednessConstraint); + if (result == null) result = defaultCase(theEObject); + return result; + } + case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: { + DefinedByDerivedFeature definedByDerivedFeature = (DefinedByDerivedFeature)theEObject; + T result = caseDefinedByDerivedFeature(definedByDerivedFeature); + if (result == null) result = caseRelationAnnotation(definedByDerivedFeature); + if (result == null) result = caseAnnotation(definedByDerivedFeature); + if (result == null) result = defaultCase(theEObject); + return result; + } + default: return defaultCase(theEObject); + } + } + + /** + * Returns the result of interpreting the object as an instance of 'Transfomed Viatra Query'. + * + * 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 'Transfomed Viatra Query'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseTransfomedViatraQuery(TransfomedViatraQuery object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Transformed Viatra Wellformedness Constraint'. + * + * 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 'Transformed Viatra Wellformedness Constraint'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseTransformedViatraWellformednessConstraint(TransformedViatraWellformednessConstraint object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Defined By Derived Feature'. + * + * 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 'Defined By Derived Feature'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseDefinedByDerivedFeature(DefinedByDerivedFeature object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Annotation'. + * + * 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 'Annotation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseAnnotation(Annotation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Relation Annotation'. + * + * 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 'Relation Annotation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRelationAnnotation(RelationAnnotation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Assertion Annotation'. + * + * 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 'Assertion Annotation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseAssertionAnnotation(AssertionAnnotation 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; + } + +} //Viatra2LogicAnnotationsSwitch -- cgit v1.2.3-54-g00ecf