aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-08-01 14:49:53 +0200
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-08-01 14:49:53 +0200
commit972baab642bd889d2c3476c0c9e17a6929e0c318 (patch)
tree8f724cb348c60e4fc45d446d8532988ed8e40748 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
parentCounting scope propagator (simpler than BasicTypeHierarchy) (diff)
downloadVIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz
VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst
VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java62
1 files changed, 1 insertions, 61 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
index b61d9907..ac9ba220 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
@@ -1,5 +1,5 @@
1/** 1/**
2 * generated by Xtext 2.16.0 2 * generated by Xtext 2.17.0
3 */ 3 */
4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; 4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5 5
@@ -39,10 +39,6 @@ public interface GenerationTask extends Task
39 /** 39 /**
40 * Returns the value of the '<em><b>Metamodel</b></em>' containment reference. 40 * Returns the value of the '<em><b>Metamodel</b></em>' containment reference.
41 * <!-- begin-user-doc --> 41 * <!-- begin-user-doc -->
42 * <p>
43 * If the meaning of the '<em>Metamodel</em>' containment reference isn't clear,
44 * there really should be more of a description here...
45 * </p>
46 * <!-- end-user-doc --> 42 * <!-- end-user-doc -->
47 * @return the value of the '<em>Metamodel</em>' containment reference. 43 * @return the value of the '<em>Metamodel</em>' containment reference.
48 * @see #setMetamodel(Metamodel) 44 * @see #setMetamodel(Metamodel)
@@ -65,10 +61,6 @@ public interface GenerationTask extends Task
65 /** 61 /**
66 * Returns the value of the '<em><b>Partial Model</b></em>' containment reference. 62 * Returns the value of the '<em><b>Partial Model</b></em>' containment reference.
67 * <!-- begin-user-doc --> 63 * <!-- begin-user-doc -->
68 * <p>
69 * If the meaning of the '<em>Partial Model</em>' containment reference isn't clear,
70 * there really should be more of a description here...
71 * </p>
72 * <!-- end-user-doc --> 64 * <!-- end-user-doc -->
73 * @return the value of the '<em>Partial Model</em>' containment reference. 65 * @return the value of the '<em>Partial Model</em>' containment reference.
74 * @see #setPartialModel(PartialModel) 66 * @see #setPartialModel(PartialModel)
@@ -91,10 +83,6 @@ public interface GenerationTask extends Task
91 /** 83 /**
92 * Returns the value of the '<em><b>Patterns</b></em>' containment reference. 84 * Returns the value of the '<em><b>Patterns</b></em>' containment reference.
93 * <!-- begin-user-doc --> 85 * <!-- begin-user-doc -->
94 * <p>
95 * If the meaning of the '<em>Patterns</em>' containment reference isn't clear,
96 * there really should be more of a description here...
97 * </p>
98 * <!-- end-user-doc --> 86 * <!-- end-user-doc -->
99 * @return the value of the '<em>Patterns</em>' containment reference. 87 * @return the value of the '<em>Patterns</em>' containment reference.
100 * @see #setPatterns(GraphPattern) 88 * @see #setPatterns(GraphPattern)
@@ -117,10 +105,6 @@ public interface GenerationTask extends Task
117 /** 105 /**
118 * Returns the value of the '<em><b>Objectives</b></em>' containment reference. 106 * Returns the value of the '<em><b>Objectives</b></em>' containment reference.
119 * <!-- begin-user-doc --> 107 * <!-- begin-user-doc -->
120 * <p>
121 * If the meaning of the '<em>Objectives</em>' containment reference isn't clear,
122 * there really should be more of a description here...
123 * </p>
124 * <!-- end-user-doc --> 108 * <!-- end-user-doc -->
125 * @return the value of the '<em>Objectives</em>' containment reference. 109 * @return the value of the '<em>Objectives</em>' containment reference.
126 * @see #setObjectives(Objective) 110 * @see #setObjectives(Objective)
@@ -143,10 +127,6 @@ public interface GenerationTask extends Task
143 /** 127 /**
144 * Returns the value of the '<em><b>Scope</b></em>' containment reference. 128 * Returns the value of the '<em><b>Scope</b></em>' containment reference.
145 * <!-- begin-user-doc --> 129 * <!-- begin-user-doc -->
146 * <p>
147 * If the meaning of the '<em>Scope</em>' containment reference isn't clear,
148 * there really should be more of a description here...
149 * </p>
150 * <!-- end-user-doc --> 130 * <!-- end-user-doc -->
151 * @return the value of the '<em>Scope</em>' containment reference. 131 * @return the value of the '<em>Scope</em>' containment reference.
152 * @see #setScope(Scope) 132 * @see #setScope(Scope)
@@ -169,10 +149,6 @@ public interface GenerationTask extends Task
169 /** 149 /**
170 * Returns the value of the '<em><b>Number Specified</b></em>' attribute. 150 * Returns the value of the '<em><b>Number Specified</b></em>' attribute.
171 * <!-- begin-user-doc --> 151 * <!-- begin-user-doc -->
172 * <p>
173 * If the meaning of the '<em>Number Specified</em>' attribute isn't clear,
174 * there really should be more of a description here...
175 * </p>
176 * <!-- end-user-doc --> 152 * <!-- end-user-doc -->
177 * @return the value of the '<em>Number Specified</em>' attribute. 153 * @return the value of the '<em>Number Specified</em>' attribute.
178 * @see #setNumberSpecified(boolean) 154 * @see #setNumberSpecified(boolean)
@@ -195,10 +171,6 @@ public interface GenerationTask extends Task
195 /** 171 /**
196 * Returns the value of the '<em><b>Number</b></em>' attribute. 172 * Returns the value of the '<em><b>Number</b></em>' attribute.
197 * <!-- begin-user-doc --> 173 * <!-- begin-user-doc -->
198 * <p>
199 * If the meaning of the '<em>Number</em>' attribute isn't clear,
200 * there really should be more of a description here...
201 * </p>
202 * <!-- end-user-doc --> 174 * <!-- end-user-doc -->
203 * @return the value of the '<em>Number</em>' attribute. 175 * @return the value of the '<em>Number</em>' attribute.
204 * @see #setNumber(int) 176 * @see #setNumber(int)
@@ -221,10 +193,6 @@ public interface GenerationTask extends Task
221 /** 193 /**
222 * Returns the value of the '<em><b>Run Specified</b></em>' attribute. 194 * Returns the value of the '<em><b>Run Specified</b></em>' attribute.
223 * <!-- begin-user-doc --> 195 * <!-- begin-user-doc -->
224 * <p>
225 * If the meaning of the '<em>Run Specified</em>' attribute isn't clear,
226 * there really should be more of a description here...
227 * </p>
228 * <!-- end-user-doc --> 196 * <!-- end-user-doc -->
229 * @return the value of the '<em>Run Specified</em>' attribute. 197 * @return the value of the '<em>Run Specified</em>' attribute.
230 * @see #setRunSpecified(boolean) 198 * @see #setRunSpecified(boolean)
@@ -247,10 +215,6 @@ public interface GenerationTask extends Task
247 /** 215 /**
248 * Returns the value of the '<em><b>Runs</b></em>' attribute. 216 * Returns the value of the '<em><b>Runs</b></em>' attribute.
249 * <!-- begin-user-doc --> 217 * <!-- begin-user-doc -->
250 * <p>
251 * If the meaning of the '<em>Runs</em>' attribute isn't clear,
252 * there really should be more of a description here...
253 * </p>
254 * <!-- end-user-doc --> 218 * <!-- end-user-doc -->
255 * @return the value of the '<em>Runs</em>' attribute. 219 * @return the value of the '<em>Runs</em>' attribute.
256 * @see #setRuns(int) 220 * @see #setRuns(int)
@@ -274,10 +238,6 @@ public interface GenerationTask extends Task
274 * Returns the value of the '<em><b>Solver</b></em>' attribute. 238 * Returns the value of the '<em><b>Solver</b></em>' attribute.
275 * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver}. 239 * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver}.
276 * <!-- begin-user-doc --> 240 * <!-- begin-user-doc -->
277 * <p>
278 * If the meaning of the '<em>Solver</em>' attribute isn't clear,
279 * there really should be more of a description here...
280 * </p>
281 * <!-- end-user-doc --> 241 * <!-- end-user-doc -->
282 * @return the value of the '<em>Solver</em>' attribute. 242 * @return the value of the '<em>Solver</em>' attribute.
283 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver 243 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
@@ -302,10 +262,6 @@ public interface GenerationTask extends Task
302 /** 262 /**
303 * Returns the value of the '<em><b>Config</b></em>' containment reference. 263 * Returns the value of the '<em><b>Config</b></em>' containment reference.
304 * <!-- begin-user-doc --> 264 * <!-- begin-user-doc -->
305 * <p>
306 * If the meaning of the '<em>Config</em>' containment reference isn't clear,
307 * there really should be more of a description here...
308 * </p>
309 * <!-- end-user-doc --> 265 * <!-- end-user-doc -->
310 * @return the value of the '<em>Config</em>' containment reference. 266 * @return the value of the '<em>Config</em>' containment reference.
311 * @see #setConfig(Config) 267 * @see #setConfig(Config)
@@ -328,10 +284,6 @@ public interface GenerationTask extends Task
328 /** 284 /**
329 * Returns the value of the '<em><b>Debug Folder</b></em>' containment reference. 285 * Returns the value of the '<em><b>Debug Folder</b></em>' containment reference.
330 * <!-- begin-user-doc --> 286 * <!-- begin-user-doc -->
331 * <p>
332 * If the meaning of the '<em>Debug Folder</em>' containment reference isn't clear,
333 * there really should be more of a description here...
334 * </p>
335 * <!-- end-user-doc --> 287 * <!-- end-user-doc -->
336 * @return the value of the '<em>Debug Folder</em>' containment reference. 288 * @return the value of the '<em>Debug Folder</em>' containment reference.
337 * @see #setDebugFolder(File) 289 * @see #setDebugFolder(File)
@@ -354,10 +306,6 @@ public interface GenerationTask extends Task
354 /** 306 /**
355 * Returns the value of the '<em><b>Target Log File</b></em>' containment reference. 307 * Returns the value of the '<em><b>Target Log File</b></em>' containment reference.
356 * <!-- begin-user-doc --> 308 * <!-- begin-user-doc -->
357 * <p>
358 * If the meaning of the '<em>Target Log File</em>' containment reference isn't clear,
359 * there really should be more of a description here...
360 * </p>
361 * <!-- end-user-doc --> 309 * <!-- end-user-doc -->
362 * @return the value of the '<em>Target Log File</em>' containment reference. 310 * @return the value of the '<em>Target Log File</em>' containment reference.
363 * @see #setTargetLogFile(File) 311 * @see #setTargetLogFile(File)
@@ -380,10 +328,6 @@ public interface GenerationTask extends Task
380 /** 328 /**
381 * Returns the value of the '<em><b>Target Statistics File</b></em>' containment reference. 329 * Returns the value of the '<em><b>Target Statistics File</b></em>' containment reference.
382 * <!-- begin-user-doc --> 330 * <!-- begin-user-doc -->
383 * <p>
384 * If the meaning of the '<em>Target Statistics File</em>' containment reference isn't clear,
385 * there really should be more of a description here...
386 * </p>
387 * <!-- end-user-doc --> 331 * <!-- end-user-doc -->
388 * @return the value of the '<em>Target Statistics File</em>' containment reference. 332 * @return the value of the '<em>Target Statistics File</em>' containment reference.
389 * @see #setTargetStatisticsFile(File) 333 * @see #setTargetStatisticsFile(File)
@@ -406,10 +350,6 @@ public interface GenerationTask extends Task
406 /** 350 /**
407 * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference. 351 * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference.
408 * <!-- begin-user-doc --> 352 * <!-- begin-user-doc -->
409 * <p>
410 * If the meaning of the '<em>Taget Folder</em>' containment reference isn't clear,
411 * there really should be more of a description here...
412 * </p>
413 * <!-- end-user-doc --> 353 * <!-- end-user-doc -->
414 * @return the value of the '<em>Taget Folder</em>' containment reference. 354 * @return the value of the '<em>Taget Folder</em>' containment reference.
415 * @see #setTagetFolder(File) 355 * @see #setTagetFolder(File)