From 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Tue, 28 Apr 2020 20:43:04 +0200 Subject: initial commit --- .../GlobalRelationInterpretation.java | 162 +++++++++++++++++++++ 1 file changed, 162 insertions(+) create mode 100644 Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/GlobalRelationInterpretation.java (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/GlobalRelationInterpretation.java') diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/GlobalRelationInterpretation.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/GlobalRelationInterpretation.java new file mode 100644 index 00000000..59ab4278 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/GlobalRelationInterpretation.java @@ -0,0 +1,162 @@ +/** + * generated by Xtext 2.18.0.M3 + */ +package org.eclipse.viatra.solver.language.solverLanguage; + + +/** + * + * A representation of the model object 'Global Relation Interpretation'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation() + * @model + * @generated + */ +public interface GlobalRelationInterpretation extends CDInterpretation +{ + /** + * Returns the value of the 'Containment' attribute. + * + * + * @return the value of the 'Containment' attribute. + * @see #setContainment(boolean) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_Containment() + * @model + * @generated + */ + boolean isContainment(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment Containment}' attribute. + * + * + * @param value the new value of the 'Containment' attribute. + * @see #isContainment() + * @generated + */ + void setContainment(boolean value); + + /** + * Returns the value of the 'Symbol' containment reference. + * + * + * @return the value of the 'Symbol' containment reference. + * @see #setSymbol(ModelSymbol) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_Symbol() + * @model containment="true" + * @generated + */ + ModelSymbol getSymbol(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol Symbol}' containment reference. + * + * + * @param value the new value of the 'Symbol' containment reference. + * @see #getSymbol() + * @generated + */ + void setSymbol(ModelSymbol value); + + /** + * Returns the value of the 'Source Multiplicity' containment reference. + * + * + * @return the value of the 'Source Multiplicity' containment reference. + * @see #setSourceMultiplicity(MultiplicityDefinition) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_SourceMultiplicity() + * @model containment="true" + * @generated + */ + MultiplicityDefinition getSourceMultiplicity(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity Source Multiplicity}' containment reference. + * + * + * @param value the new value of the 'Source Multiplicity' containment reference. + * @see #getSourceMultiplicity() + * @generated + */ + void setSourceMultiplicity(MultiplicityDefinition value); + + /** + * Returns the value of the 'Source' containment reference. + * + * + * @return the value of the 'Source' containment reference. + * @see #setSource(Symbol) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_Source() + * @model containment="true" + * @generated + */ + Symbol getSource(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource Source}' containment reference. + * + * + * @param value the new value of the 'Source' containment reference. + * @see #getSource() + * @generated + */ + void setSource(Symbol value); + + /** + * Returns the value of the 'Target Multiplicity' containment reference. + * + * + * @return the value of the 'Target Multiplicity' containment reference. + * @see #setTargetMultiplicity(MultiplicityDefinition) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_TargetMultiplicity() + * @model containment="true" + * @generated + */ + MultiplicityDefinition getTargetMultiplicity(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity Target Multiplicity}' containment reference. + * + * + * @param value the new value of the 'Target Multiplicity' containment reference. + * @see #getTargetMultiplicity() + * @generated + */ + void setTargetMultiplicity(MultiplicityDefinition value); + + /** + * Returns the value of the 'Target' containment reference. + * + * + * @return the value of the 'Target' containment reference. + * @see #setTarget(Symbol) + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getGlobalRelationInterpretation_Target() + * @model containment="true" + * @generated + */ + Symbol getTarget(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget Target}' containment reference. + * + * + * @param value the new value of the 'Target' containment reference. + * @see #getTarget() + * @generated + */ + void setTarget(Symbol value); + +} // GlobalRelationInterpretation -- cgit v1.2.3-54-g00ecf