diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java | 81 |
1 files changed, 80 insertions, 1 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java index f3da8f9c..9c3be9d6 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Statement.java | |||
@@ -1,8 +1,10 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage; | 4 | package org.eclipse.viatra.solver.language.solverLanguage; |
5 | 5 | ||
6 | import org.eclipse.emf.common.util.EList; | ||
7 | |||
6 | import org.eclipse.emf.ecore.EObject; | 8 | import org.eclipse.emf.ecore.EObject; |
7 | 9 | ||
8 | /** | 10 | /** |
@@ -10,6 +12,15 @@ import org.eclipse.emf.ecore.EObject; | |||
10 | * A representation of the model object '<em><b>Statement</b></em>'. | 12 | * A representation of the model object '<em><b>Statement</b></em>'. |
11 | * <!-- end-user-doc --> | 13 | * <!-- end-user-doc --> |
12 | * | 14 | * |
15 | * <p> | ||
16 | * The following features are supported: | ||
17 | * </p> | ||
18 | * <ul> | ||
19 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract <em>Abstract</em>}</li> | ||
20 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getName <em>Name</em>}</li> | ||
21 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getSuperclasses <em>Superclasses</em>}</li> | ||
22 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getMembers <em>Members</em>}</li> | ||
23 | * </ul> | ||
13 | * | 24 | * |
14 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement() | 25 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement() |
15 | * @model | 26 | * @model |
@@ -17,4 +28,72 @@ import org.eclipse.emf.ecore.EObject; | |||
17 | */ | 28 | */ |
18 | public interface Statement extends EObject | 29 | public interface Statement extends EObject |
19 | { | 30 | { |
31 | /** | ||
32 | * Returns the value of the '<em><b>Abstract</b></em>' attribute. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @return the value of the '<em>Abstract</em>' attribute. | ||
36 | * @see #setAbstract(boolean) | ||
37 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement_Abstract() | ||
38 | * @model | ||
39 | * @generated | ||
40 | */ | ||
41 | boolean isAbstract(); | ||
42 | |||
43 | /** | ||
44 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract <em>Abstract</em>}' attribute. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @param value the new value of the '<em>Abstract</em>' attribute. | ||
48 | * @see #isAbstract() | ||
49 | * @generated | ||
50 | */ | ||
51 | void setAbstract(boolean value); | ||
52 | |||
53 | /** | ||
54 | * Returns the value of the '<em><b>Name</b></em>' attribute. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @return the value of the '<em>Name</em>' attribute. | ||
58 | * @see #setName(String) | ||
59 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement_Name() | ||
60 | * @model | ||
61 | * @generated | ||
62 | */ | ||
63 | String getName(); | ||
64 | |||
65 | /** | ||
66 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getName <em>Name</em>}' attribute. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @param value the new value of the '<em>Name</em>' attribute. | ||
70 | * @see #getName() | ||
71 | * @generated | ||
72 | */ | ||
73 | void setName(String value); | ||
74 | |||
75 | /** | ||
76 | * Returns the value of the '<em><b>Superclasses</b></em>' reference list. | ||
77 | * The list contents are of type {@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement}. | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @return the value of the '<em>Superclasses</em>' reference list. | ||
81 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement_Superclasses() | ||
82 | * @model | ||
83 | * @generated | ||
84 | */ | ||
85 | EList<NamedElement> getSuperclasses(); | ||
86 | |||
87 | /** | ||
88 | * Returns the value of the '<em><b>Members</b></em>' containment reference list. | ||
89 | * The list contents are of type {@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition}. | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @return the value of the '<em>Members</em>' containment reference list. | ||
93 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getStatement_Members() | ||
94 | * @model containment="true" | ||
95 | * @generated | ||
96 | */ | ||
97 | EList<MemberDefinition> getMembers(); | ||
98 | |||
20 | } // Statement | 99 | } // Statement |