aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java')
-rw-r--r--Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java45
1 files changed, 45 insertions, 0 deletions
diff --git a/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java b/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
new file mode 100644
index 00000000..9e495f61
--- /dev/null
+++ b/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
@@ -0,0 +1,45 @@
1/**
2 */
3package simpleScenario;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Collision Exists</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}</li>
16 * </ul>
17 *
18 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists()
19 * @model
20 * @generated
21 */
22public interface CollisionExists extends TemporalRelation {
23 /**
24 * Returns the value of the '<em><b>Collision Time</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <!-- end-user-doc -->
27 * @return the value of the '<em>Collision Time</em>' attribute.
28 * @see #setCollisionTime(double)
29 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists_CollisionTime()
30 * @model required="true"
31 * @generated
32 */
33 double getCollisionTime();
34
35 /**
36 * Sets the value of the '{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}' attribute.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @param value the new value of the '<em>Collision Time</em>' attribute.
40 * @see #getCollisionTime()
41 * @generated
42 */
43 void setCollisionTime(double value);
44
45} // CollisionExists