diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
commit | 3f5aaab5025b8eb243f414b1c789085327df04f4 (patch) | |
tree | 156d9d95888fce6b003d73f509b9155e6b24555f /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java | |
parent | Fix ParseUtil to avoid breaking the .vql editor in Eclipse (diff) | |
download | VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.gz VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.zst VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.zip |
Fault tree transformation for partial models WIP
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java | 210 |
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 @@ | |||
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 |