1 files changed, 106 insertions, 106 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
index 914aecae..0fd2f53a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
@@ -1,106 +1,106 @@
-/**
+/**
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.16.0
- */
+ */
-package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
-import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EObject;
-/**
+/**
- * <!-- begin-user-doc -->
+ * <!-- begin-user-doc -->
- * A representation of the model object '<em><b>Type Scope</b></em>'.
+ * A representation of the model object '<em><b>Type Scope</b></em>'.
- * <!-- end-user-doc -->
+ * <!-- end-user-doc -->
- *
+ *
- * <p>
+ * <p>
- * The following features are supported:
+ * The following features are supported:
- * </p>
+ * </p>
- * <ul>
+ * <ul>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}</li>
- * </ul>
+ * </ul>
- *
+ *
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()
- * @model
+ * @model
- * @generated
+ * @generated
- */
+ */
-public interface TypeScope extends EObject
+public interface TypeScope extends EObject
-{
+{
-  /**
+  /**
-   * Returns the value of the '<em><b>Sets New</b></em>' attribute.
+   * Returns the value of the '<em><b>Sets New</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Sets New</em>' attribute isn't clear,
+   * If the meaning of the '<em>Sets New</em>' attribute isn't clear,
-   * there really should be more of a description here...
+   * there really should be more of a description here...
-   * </p>
+   * </p>
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @return the value of the '<em>Sets New</em>' attribute.
+   * @return the value of the '<em>Sets New</em>' attribute.
-   * @see #setSetsNew(boolean)
+   * @see #setSetsNew(boolean)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  boolean isSetsNew();
+  boolean isSetsNew();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Sets New</em>' attribute.
+   * @param value the new value of the '<em>Sets New</em>' attribute.
-   * @see #isSetsNew()
+   * @see #isSetsNew()
-   * @generated
+   * @generated
-   */
+   */
-  void setSetsNew(boolean value);
+  void setSetsNew(boolean value);
-  /**
+  /**
-   * Returns the value of the '<em><b>Sets Sum</b></em>' attribute.
+   * Returns the value of the '<em><b>Sets Sum</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Sets Sum</em>' attribute isn't clear,
+   * If the meaning of the '<em>Sets Sum</em>' attribute isn't clear,
-   * there really should be more of a description here...
+   * there really should be more of a description here...
-   * </p>
+   * </p>
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @return the value of the '<em>Sets Sum</em>' attribute.
+   * @return the value of the '<em>Sets Sum</em>' attribute.
-   * @see #setSetsSum(boolean)
+   * @see #setSetsSum(boolean)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  boolean isSetsSum();
+  boolean isSetsSum();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Sets Sum</em>' attribute.
+   * @param value the new value of the '<em>Sets Sum</em>' attribute.
-   * @see #isSetsSum()
+   * @see #isSetsSum()
-   * @generated
+   * @generated
-   */
+   */
-  void setSetsSum(boolean value);
+  void setSetsSum(boolean value);
-  /**
+  /**
-   * Returns the value of the '<em><b>Number</b></em>' containment reference.
+   * Returns the value of the '<em><b>Number</b></em>' containment reference.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Number</em>' containment reference isn't clear,
+   * If the meaning of the '<em>Number</em>' containment reference isn't clear,
-   * there really should be more of a description here...
+   * there really should be more of a description here...
-   * </p>
+   * </p>
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @return the value of the '<em>Number</em>' containment reference.
+   * @return the value of the '<em>Number</em>' containment reference.
-   * @see #setNumber(NumberSpecification)
+   * @see #setNumber(NumberSpecification)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()
-   * @model containment="true"
+   * @model containment="true"
-   * @generated
+   * @generated
-   */
+   */
-  NumberSpecification getNumber();
+  NumberSpecification getNumber();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Number</em>' containment reference.
+   * @param value the new value of the '<em>Number</em>' containment reference.
-   * @see #getNumber()
+   * @see #getNumber()
-   * @generated
+   * @generated
-   */
+   */
-  void setNumber(NumberSpecification value);
+  void setNumber(NumberSpecification value);
-} // TypeScope
+} // TypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java index 914aecae..0fd2f53a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
@@ -1,106 +1,106 @@
1	/**	1	/**
2	* generated by Xtext 2.12.0	2	* generated by Xtext 2.16.0
3	*/	3	*/
4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;	4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5		5
6	import org.eclipse.emf.ecore.EObject;	6	import org.eclipse.emf.ecore.EObject;
7		7
8	/**	8	/**
9	* <!-- begin-user-doc -->	9	* <!-- begin-user-doc -->
10	* A representation of the model object '<em><b>Type Scope</b></em>'.	10	* A representation of the model object '<em><b>Type Scope</b></em>'.
11	* <!-- end-user-doc -->	11	* <!-- end-user-doc -->
12	*	12	*
13	* <p>	13	* <p>
14	* The following features are supported:	14	* The following features are supported:
15	* </p>	15	* </p>
16	* <ul>	16	* <ul>
17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}</li>	17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}</li>
18	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}</li>	18	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}</li>
19	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}</li>	19	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}</li>
20	* </ul>	20	* </ul>
21	*	21	*
22	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()	22	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()
23	* @model	23	* @model
24	* @generated	24	* @generated
25	*/	25	*/
26	public interface TypeScope extends EObject	26	public interface TypeScope extends EObject
27	{	27	{
28	/**	28	/**
29	* Returns the value of the '<em><b>Sets New</b></em>' attribute.	29	* Returns the value of the '<em><b>Sets New</b></em>' attribute.
30	* <!-- begin-user-doc -->	30	* <!-- begin-user-doc -->
31	* <p>	31	* <p>
32	* If the meaning of the '<em>Sets New</em>' attribute isn't clear,	32	* If the meaning of the '<em>Sets New</em>' attribute isn't clear,
33	* there really should be more of a description here...	33	* there really should be more of a description here...
34	* </p>	34	* </p>
35	* <!-- end-user-doc -->	35	* <!-- end-user-doc -->
36	* @return the value of the '<em>Sets New</em>' attribute.	36	* @return the value of the '<em>Sets New</em>' attribute.
37	* @see #setSetsNew(boolean)	37	* @see #setSetsNew(boolean)
38	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()	38	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()
39	* @model	39	* @model
40	* @generated	40	* @generated
41	*/	41	*/
42	boolean isSetsNew();	42	boolean isSetsNew();
43		43
44	/**	44	/**
45	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.	45	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.
46	* <!-- begin-user-doc -->	46	* <!-- begin-user-doc -->
47	* <!-- end-user-doc -->	47	* <!-- end-user-doc -->
48	* @param value the new value of the '<em>Sets New</em>' attribute.	48	* @param value the new value of the '<em>Sets New</em>' attribute.
49	* @see #isSetsNew()	49	* @see #isSetsNew()
50	* @generated	50	* @generated
51	*/	51	*/
52	void setSetsNew(boolean value);	52	void setSetsNew(boolean value);
53		53
54	/**	54	/**
55	* Returns the value of the '<em><b>Sets Sum</b></em>' attribute.	55	* Returns the value of the '<em><b>Sets Sum</b></em>' attribute.
56	* <!-- begin-user-doc -->	56	* <!-- begin-user-doc -->
57	* <p>	57	* <p>
58	* If the meaning of the '<em>Sets Sum</em>' attribute isn't clear,	58	* If the meaning of the '<em>Sets Sum</em>' attribute isn't clear,
59	* there really should be more of a description here...	59	* there really should be more of a description here...
60	* </p>	60	* </p>
61	* <!-- end-user-doc -->	61	* <!-- end-user-doc -->
62	* @return the value of the '<em>Sets Sum</em>' attribute.	62	* @return the value of the '<em>Sets Sum</em>' attribute.
63	* @see #setSetsSum(boolean)	63	* @see #setSetsSum(boolean)
64	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()	64	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()
65	* @model	65	* @model
66	* @generated	66	* @generated
67	*/	67	*/
68	boolean isSetsSum();	68	boolean isSetsSum();
69		69
70	/**	70	/**
71	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.	71	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.
72	* <!-- begin-user-doc -->	72	* <!-- begin-user-doc -->
73	* <!-- end-user-doc -->	73	* <!-- end-user-doc -->
74	* @param value the new value of the '<em>Sets Sum</em>' attribute.	74	* @param value the new value of the '<em>Sets Sum</em>' attribute.
75	* @see #isSetsSum()	75	* @see #isSetsSum()
76	* @generated	76	* @generated
77	*/	77	*/
78	void setSetsSum(boolean value);	78	void setSetsSum(boolean value);
79		79
80	/**	80	/**
81	* Returns the value of the '<em><b>Number</b></em>' containment reference.	81	* Returns the value of the '<em><b>Number</b></em>' containment reference.
82	* <!-- begin-user-doc -->	82	* <!-- begin-user-doc -->
83	* <p>	83	* <p>
84	* If the meaning of the '<em>Number</em>' containment reference isn't clear,	84	* If the meaning of the '<em>Number</em>' containment reference isn't clear,
85	* there really should be more of a description here...	85	* there really should be more of a description here...
86	* </p>	86	* </p>
87	* <!-- end-user-doc -->	87	* <!-- end-user-doc -->
88	* @return the value of the '<em>Number</em>' containment reference.	88	* @return the value of the '<em>Number</em>' containment reference.
89	* @see #setNumber(NumberSpecification)	89	* @see #setNumber(NumberSpecification)
90	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()	90	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()
91	* @model containment="true"	91	* @model containment="true"
92	* @generated	92	* @generated
93	*/	93	*/
94	NumberSpecification getNumber();	94	NumberSpecification getNumber();
95		95
96	/**	96	/**
97	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.	97	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.
98	* <!-- begin-user-doc -->	98	* <!-- begin-user-doc -->
99	* <!-- end-user-doc -->	99	* <!-- end-user-doc -->
100	* @param value the new value of the '<em>Number</em>' containment reference.	100	* @param value the new value of the '<em>Number</em>' containment reference.
101	* @see #getNumber()	101	* @see #getNumber()
102	* @generated	102	* @generated
103	*/	103	*/
104	void setNumber(NumberSpecification value);	104	void setNumber(NumberSpecification value);
105		105
106	} // TypeScope	106	} // TypeScope