/** */ 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 feature id for the 'Pattern PQuery' attribute. * * * @generated * @ordered */ int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; /** * The feature id for the 'Variable Trace' containment reference list. * * * @generated * @ordered */ int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; /** * The number of structural features of the 'Transfomed Viatra Query' class. * * * @generated * @ordered */ int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3; /** * 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; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class. * * * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping() * @generated */ int VARIABLE_MAPPING = 3; /** * The feature id for the 'Source PVariable' attribute. * * * @generated * @ordered */ int VARIABLE_MAPPING__SOURCE_PVARIABLE = 0; /** * The feature id for the 'Target Logic Variable' reference. * * * @generated * @ordered */ int VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = 1; /** * The number of structural features of the 'Variable Mapping' class. * * * @generated * @ordered */ int VARIABLE_MAPPING_FEATURE_COUNT = 2; /** * The number of operations of the 'Variable Mapping' class. * * * @generated * @ordered */ int VARIABLE_MAPPING_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 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 the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace Variable Trace}'. * * * @return the meta object for the containment reference list 'Variable Trace'. * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace() * @see #getTransfomedViatraQuery() * @generated */ EReference getTransfomedViatraQuery_VariableTrace(); /** * 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 meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping Variable Mapping}'. * * * @return the meta object for class 'Variable Mapping'. * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping * @generated */ EClass getVariableMapping(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable Source PVariable}'. * * * @return the meta object for the attribute 'Source PVariable'. * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable() * @see #getVariableMapping() * @generated */ EAttribute getVariableMapping_SourcePVariable(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable Target Logic Variable}'. * * * @return the meta object for the reference 'Target Logic Variable'. * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable() * @see #getVariableMapping() * @generated */ EReference getVariableMapping_TargetLogicVariable(); /** * 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 'Pattern PQuery' attribute feature. * * * @generated */ EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery(); /** * The meta object literal for the 'Variable Trace' containment reference list feature. * * * @generated */ EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace(); /** * 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(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class. * * * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping() * @generated */ EClass VARIABLE_MAPPING = eINSTANCE.getVariableMapping(); /** * The meta object literal for the 'Source PVariable' attribute feature. * * * @generated */ EAttribute VARIABLE_MAPPING__SOURCE_PVARIABLE = eINSTANCE.getVariableMapping_SourcePVariable(); /** * The meta object literal for the 'Target Logic Variable' reference feature. * * * @generated */ EReference VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = eINSTANCE.getVariableMapping_TargetLogicVariable(); } } //Viatra2LogicAnnotationsPackage