1 files changed, 105 insertions, 105 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
index 33a1f773..99434542 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
@@ -1,105 +1,105 @@
-/**
+/**
- * 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;
-/**
+/**
- * <!-- begin-user-doc -->
+ * <!-- begin-user-doc -->
- * A representation of the model object '<em><b>Intervall Number</b></em>'.
+ * A representation of the model object '<em><b>Intervall Number</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.IntervallNumber#getMin <em>Min</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}</li>
- * </ul>
+ * </ul>
- *
+ *
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()
- * @model
+ * @model
- * @generated
+ * @generated
- */
+ */
-public interface IntervallNumber extends NumberSpecification
+public interface IntervallNumber extends NumberSpecification
-{
+{
-  /**
+  /**
-   * Returns the value of the '<em><b>Min</b></em>' attribute.
+   * Returns the value of the '<em><b>Min</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Min</em>' attribute isn't clear,
+   * If the meaning of the '<em>Min</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>Min</em>' attribute.
+   * @return the value of the '<em>Min</em>' attribute.
-   * @see #setMin(int)
+   * @see #setMin(int)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  int getMin();
+  int getMin();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Min</em>' attribute.
+   * @param value the new value of the '<em>Min</em>' attribute.
-   * @see #getMin()
+   * @see #getMin()
-   * @generated
+   * @generated
-   */
+   */
-  void setMin(int value);
+  void setMin(int value);
-  /**
+  /**
-   * Returns the value of the '<em><b>Max Number</b></em>' attribute.
+   * Returns the value of the '<em><b>Max Number</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Max Number</em>' attribute isn't clear,
+   * If the meaning of the '<em>Max Number</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>Max Number</em>' attribute.
+   * @return the value of the '<em>Max Number</em>' attribute.
-   * @see #setMaxNumber(int)
+   * @see #setMaxNumber(int)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  int getMaxNumber();
+  int getMaxNumber();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Max Number</em>' attribute.
+   * @param value the new value of the '<em>Max Number</em>' attribute.
-   * @see #getMaxNumber()
+   * @see #getMaxNumber()
-   * @generated
+   * @generated
-   */
+   */
-  void setMaxNumber(int value);
+  void setMaxNumber(int value);
-  /**
+  /**
-   * Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.
+   * Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Max Unlimited</em>' attribute isn't clear,
+   * If the meaning of the '<em>Max Unlimited</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>Max Unlimited</em>' attribute.
+   * @return the value of the '<em>Max Unlimited</em>' attribute.
-   * @see #setMaxUnlimited(boolean)
+   * @see #setMaxUnlimited(boolean)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  boolean isMaxUnlimited();
+  boolean isMaxUnlimited();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Max Unlimited</em>' attribute.
+   * @param value the new value of the '<em>Max Unlimited</em>' attribute.
-   * @see #isMaxUnlimited()
+   * @see #isMaxUnlimited()
-   * @generated
+   * @generated
-   */
+   */
-  void setMaxUnlimited(boolean value);
+  void setMaxUnlimited(boolean value);
-} // IntervallNumber
+} // IntervallNumber

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java index 33a1f773..99434542 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
@@ -1,105 +1,105 @@
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		6
7	/**	7	/**
8	* <!-- begin-user-doc -->	8	* <!-- begin-user-doc -->
9	* A representation of the model object '<em><b>Intervall Number</b></em>'.	9	* A representation of the model object '<em><b>Intervall Number</b></em>'.
10	* <!-- end-user-doc -->	10	* <!-- end-user-doc -->
11	*	11	*
12	* <p>	12	* <p>
13	* The following features are supported:	13	* The following features are supported:
14	* </p>	14	* </p>
15	* <ul>	15	* <ul>
16	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}</li>	16	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}</li>
17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}</li>	17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}</li>
18	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}</li>	18	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}</li>
19	* </ul>	19	* </ul>
20	*	20	*
21	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()	21	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()
22	* @model	22	* @model
23	* @generated	23	* @generated
24	*/	24	*/
25	public interface IntervallNumber extends NumberSpecification	25	public interface IntervallNumber extends NumberSpecification
26	{	26	{
27	/**	27	/**
28	* Returns the value of the '<em><b>Min</b></em>' attribute.	28	* Returns the value of the '<em><b>Min</b></em>' attribute.
29	* <!-- begin-user-doc -->	29	* <!-- begin-user-doc -->
30	* <p>	30	* <p>
31	* If the meaning of the '<em>Min</em>' attribute isn't clear,	31	* If the meaning of the '<em>Min</em>' attribute isn't clear,
32	* there really should be more of a description here...	32	* there really should be more of a description here...
33	* </p>	33	* </p>
34	* <!-- end-user-doc -->	34	* <!-- end-user-doc -->
35	* @return the value of the '<em>Min</em>' attribute.	35	* @return the value of the '<em>Min</em>' attribute.
36	* @see #setMin(int)	36	* @see #setMin(int)
37	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()	37	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()
38	* @model	38	* @model
39	* @generated	39	* @generated
40	*/	40	*/
41	int getMin();	41	int getMin();
42		42
43	/**	43	/**
44	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}' attribute.	44	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}' attribute.
45	* <!-- begin-user-doc -->	45	* <!-- begin-user-doc -->
46	* <!-- end-user-doc -->	46	* <!-- end-user-doc -->
47	* @param value the new value of the '<em>Min</em>' attribute.	47	* @param value the new value of the '<em>Min</em>' attribute.
48	* @see #getMin()	48	* @see #getMin()
49	* @generated	49	* @generated
50	*/	50	*/
51	void setMin(int value);	51	void setMin(int value);
52		52
53	/**	53	/**
54	* Returns the value of the '<em><b>Max Number</b></em>' attribute.	54	* Returns the value of the '<em><b>Max Number</b></em>' attribute.
55	* <!-- begin-user-doc -->	55	* <!-- begin-user-doc -->
56	* <p>	56	* <p>
57	* If the meaning of the '<em>Max Number</em>' attribute isn't clear,	57	* If the meaning of the '<em>Max Number</em>' attribute isn't clear,
58	* there really should be more of a description here...	58	* there really should be more of a description here...
59	* </p>	59	* </p>
60	* <!-- end-user-doc -->	60	* <!-- end-user-doc -->
61	* @return the value of the '<em>Max Number</em>' attribute.	61	* @return the value of the '<em>Max Number</em>' attribute.
62	* @see #setMaxNumber(int)	62	* @see #setMaxNumber(int)
63	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()	63	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()
64	* @model	64	* @model
65	* @generated	65	* @generated
66	*/	66	*/
67	int getMaxNumber();	67	int getMaxNumber();
68		68
69	/**	69	/**
70	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}' attribute.	70	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}' attribute.
71	* <!-- begin-user-doc -->	71	* <!-- begin-user-doc -->
72	* <!-- end-user-doc -->	72	* <!-- end-user-doc -->
73	* @param value the new value of the '<em>Max Number</em>' attribute.	73	* @param value the new value of the '<em>Max Number</em>' attribute.
74	* @see #getMaxNumber()	74	* @see #getMaxNumber()
75	* @generated	75	* @generated
76	*/	76	*/
77	void setMaxNumber(int value);	77	void setMaxNumber(int value);
78		78
79	/**	79	/**
80	* Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.	80	* Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.
81	* <!-- begin-user-doc -->	81	* <!-- begin-user-doc -->
82	* <p>	82	* <p>
83	* If the meaning of the '<em>Max Unlimited</em>' attribute isn't clear,	83	* If the meaning of the '<em>Max Unlimited</em>' attribute isn't clear,
84	* there really should be more of a description here...	84	* there really should be more of a description here...
85	* </p>	85	* </p>
86	* <!-- end-user-doc -->	86	* <!-- end-user-doc -->
87	* @return the value of the '<em>Max Unlimited</em>' attribute.	87	* @return the value of the '<em>Max Unlimited</em>' attribute.
88	* @see #setMaxUnlimited(boolean)	88	* @see #setMaxUnlimited(boolean)
89	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()	89	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()
90	* @model	90	* @model
91	* @generated	91	* @generated
92	*/	92	*/
93	boolean isMaxUnlimited();	93	boolean isMaxUnlimited();
94		94
95	/**	95	/**
96	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}' attribute.	96	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}' attribute.
97	* <!-- begin-user-doc -->	97	* <!-- begin-user-doc -->
98	* <!-- end-user-doc -->	98	* <!-- end-user-doc -->
99	* @param value the new value of the '<em>Max Unlimited</em>' attribute.	99	* @param value the new value of the '<em>Max Unlimited</em>' attribute.
100	* @see #isMaxUnlimited()	100	* @see #isMaxUnlimited()
101	* @generated	101	* @generated
102	*/	102	*/
103	void setMaxUnlimited(boolean value);	103	void setMaxUnlimited(boolean value);
104		104
105	} // IntervallNumber	105	} // IntervallNumber