diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java | |
parent | New configuration language parser WIP (diff) | |
parent | Scope unsat benchmarks (diff) | |
download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip |
Merge branch 'kris'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java | 148 |
1 files changed, 70 insertions, 78 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java index c72580e5..fc970c60 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java | |||
@@ -1,78 +1,70 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.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 | 6 | ||
7 | /** | 7 | /** |
8 | * <!-- begin-user-doc --> | 8 | * <!-- begin-user-doc --> |
9 | * A representation of the model object '<em><b>Exact Number</b></em>'. | 9 | * A representation of the model object '<em><b>Exact 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.ExactNumber#getExactNumber <em>Exact Number</em>}</li> | 16 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li> |
17 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li> | 17 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li> |
18 | * </ul> | 18 | * </ul> |
19 | * | 19 | * |
20 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber() | 20 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber() |
21 | * @model | 21 | * @model |
22 | * @generated | 22 | * @generated |
23 | */ | 23 | */ |
24 | public interface ExactNumber extends NumberSpecification | 24 | public interface ExactNumber extends NumberSpecification |
25 | { | 25 | { |
26 | /** | 26 | /** |
27 | * Returns the value of the '<em><b>Exact Number</b></em>' attribute. | 27 | * Returns the value of the '<em><b>Exact Number</b></em>' attribute. |
28 | * <!-- begin-user-doc --> | 28 | * <!-- begin-user-doc --> |
29 | * <p> | 29 | * <!-- end-user-doc --> |
30 | * If the meaning of the '<em>Exact Number</em>' attribute isn't clear, | 30 | * @return the value of the '<em>Exact Number</em>' attribute. |
31 | * there really should be more of a description here... | 31 | * @see #setExactNumber(int) |
32 | * </p> | 32 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber() |
33 | * <!-- end-user-doc --> | 33 | * @model |
34 | * @return the value of the '<em>Exact Number</em>' attribute. | 34 | * @generated |
35 | * @see #setExactNumber(int) | 35 | */ |
36 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber() | 36 | int getExactNumber(); |
37 | * @model | 37 | |
38 | * @generated | 38 | /** |
39 | */ | 39 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute. |
40 | int getExactNumber(); | 40 | * <!-- begin-user-doc --> |
41 | 41 | * <!-- end-user-doc --> | |
42 | /** | 42 | * @param value the new value of the '<em>Exact Number</em>' attribute. |
43 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute. | 43 | * @see #getExactNumber() |
44 | * <!-- begin-user-doc --> | 44 | * @generated |
45 | * <!-- end-user-doc --> | 45 | */ |
46 | * @param value the new value of the '<em>Exact Number</em>' attribute. | 46 | void setExactNumber(int value); |
47 | * @see #getExactNumber() | 47 | |
48 | * @generated | 48 | /** |
49 | */ | 49 | * Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute. |
50 | void setExactNumber(int value); | 50 | * <!-- begin-user-doc --> |
51 | 51 | * <!-- end-user-doc --> | |
52 | /** | 52 | * @return the value of the '<em>Exact Unlimited</em>' attribute. |
53 | * Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute. | 53 | * @see #setExactUnlimited(boolean) |
54 | * <!-- begin-user-doc --> | 54 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited() |
55 | * <p> | 55 | * @model |
56 | * If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear, | 56 | * @generated |
57 | * there really should be more of a description here... | 57 | */ |
58 | * </p> | 58 | boolean isExactUnlimited(); |
59 | * <!-- end-user-doc --> | 59 | |
60 | * @return the value of the '<em>Exact Unlimited</em>' attribute. | 60 | /** |
61 | * @see #setExactUnlimited(boolean) | 61 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute. |
62 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited() | 62 | * <!-- begin-user-doc --> |
63 | * @model | 63 | * <!-- end-user-doc --> |
64 | * @generated | 64 | * @param value the new value of the '<em>Exact Unlimited</em>' attribute. |
65 | */ | 65 | * @see #isExactUnlimited() |
66 | boolean isExactUnlimited(); | 66 | * @generated |
67 | 67 | */ | |
68 | /** | 68 | void setExactUnlimited(boolean value); |
69 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute. | 69 | |
70 | * <!-- begin-user-doc --> | 70 | } // ExactNumber |
71 | * <!-- end-user-doc --> | ||
72 | * @param value the new value of the '<em>Exact Unlimited</em>' attribute. | ||
73 | * @see #isExactUnlimited() | ||
74 | * @generated | ||
75 | */ | ||
76 | void setExactUnlimited(boolean value); | ||
77 | |||
78 | } // ExactNumber | ||