1 files changed, 94 insertions, 94 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 6d114c22..0100b7cb 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,94 +1,94 @@
-/**
+/**
- * generated by Xtext 2.21.0
+ * generated by Xtext 2.21.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 -->
-   * <!-- 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 -->
-   * <!-- 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 -->
-   * <!-- 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 6d114c22..0100b7cb 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,94 +1,94 @@
1	/**	1	/**
2	* generated by Xtext 2.21.0	2	* generated by Xtext 2.21.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	* <!-- end-user-doc -->	31	* <!-- end-user-doc -->
32	* @return the value of the '<em>Sets New</em>' attribute.	32	* @return the value of the '<em>Sets New</em>' attribute.
33	* @see #setSetsNew(boolean)	33	* @see #setSetsNew(boolean)
34	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()	34	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsNew()
35	* @model	35	* @model
36	* @generated	36	* @generated
37	*/	37	*/
38	boolean isSetsNew();	38	boolean isSetsNew();
39		39
40	/**	40	/**
41	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.	41	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}' attribute.
42	* <!-- begin-user-doc -->	42	* <!-- begin-user-doc -->
43	* <!-- end-user-doc -->	43	* <!-- end-user-doc -->
44	* @param value the new value of the '<em>Sets New</em>' attribute.	44	* @param value the new value of the '<em>Sets New</em>' attribute.
45	* @see #isSetsNew()	45	* @see #isSetsNew()
46	* @generated	46	* @generated
47	*/	47	*/
48	void setSetsNew(boolean value);	48	void setSetsNew(boolean value);
49		49
50	/**	50	/**
51	* Returns the value of the '<em><b>Sets Sum</b></em>' attribute.	51	* Returns the value of the '<em><b>Sets Sum</b></em>' attribute.
52	* <!-- begin-user-doc -->	52	* <!-- begin-user-doc -->
53	* <!-- end-user-doc -->	53	* <!-- end-user-doc -->
54	* @return the value of the '<em>Sets Sum</em>' attribute.	54	* @return the value of the '<em>Sets Sum</em>' attribute.
55	* @see #setSetsSum(boolean)	55	* @see #setSetsSum(boolean)
56	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()	56	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_SetsSum()
57	* @model	57	* @model
58	* @generated	58	* @generated
59	*/	59	*/
60	boolean isSetsSum();	60	boolean isSetsSum();
61		61
62	/**	62	/**
63	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.	63	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}' attribute.
64	* <!-- begin-user-doc -->	64	* <!-- begin-user-doc -->
65	* <!-- end-user-doc -->	65	* <!-- end-user-doc -->
66	* @param value the new value of the '<em>Sets Sum</em>' attribute.	66	* @param value the new value of the '<em>Sets Sum</em>' attribute.
67	* @see #isSetsSum()	67	* @see #isSetsSum()
68	* @generated	68	* @generated
69	*/	69	*/
70	void setSetsSum(boolean value);	70	void setSetsSum(boolean value);
71		71
72	/**	72	/**
73	* Returns the value of the '<em><b>Number</b></em>' containment reference.	73	* Returns the value of the '<em><b>Number</b></em>' containment reference.
74	* <!-- begin-user-doc -->	74	* <!-- begin-user-doc -->
75	* <!-- end-user-doc -->	75	* <!-- end-user-doc -->
76	* @return the value of the '<em>Number</em>' containment reference.	76	* @return the value of the '<em>Number</em>' containment reference.
77	* @see #setNumber(NumberSpecification)	77	* @see #setNumber(NumberSpecification)
78	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()	78	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()
79	* @model containment="true"	79	* @model containment="true"
80	* @generated	80	* @generated
81	*/	81	*/
82	NumberSpecification getNumber();	82	NumberSpecification getNumber();
83		83
84	/**	84	/**
85	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.	85	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.
86	* <!-- begin-user-doc -->	86	* <!-- begin-user-doc -->
87	* <!-- end-user-doc -->	87	* <!-- end-user-doc -->
88	* @param value the new value of the '<em>Number</em>' containment reference.	88	* @param value the new value of the '<em>Number</em>' containment reference.
89	* @see #getNumber()	89	* @see #getNumber()
90	* @generated	90	* @generated
91	*/	91	*/
92	void setNumber(NumberSpecification value);	92	void setNumber(NumberSpecification value);
93		93
94	} // TypeScope	94	} // TypeScope