diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java index 538ac75c..70f7d15e 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Call.java | |||
@@ -14,9 +14,9 @@ package org.eclipse.viatra.solver.language.solverLanguage; | |||
14 | * </p> | 14 | * </p> |
15 | * <ul> | 15 | * <ul> |
16 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor <em>Functor</em>}</li> | 16 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor <em>Functor</em>}</li> |
17 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}</li> | ||
18 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}</li> | 17 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}</li> |
19 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}</li> | 18 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}</li> |
19 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}</li> | ||
20 | * </ul> | 20 | * </ul> |
21 | * | 21 | * |
22 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getCall() | 22 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getCall() |
@@ -48,28 +48,6 @@ public interface Call extends Expression | |||
48 | void setFunctor(Reference value); | 48 | void setFunctor(Reference value); |
49 | 49 | ||
50 | /** | 50 | /** |
51 | * Returns the value of the '<em><b>Argument List</b></em>' containment reference. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @return the value of the '<em>Argument List</em>' containment reference. | ||
55 | * @see #setArgumentList(ArgumentList) | ||
56 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getCall_ArgumentList() | ||
57 | * @model containment="true" | ||
58 | * @generated | ||
59 | */ | ||
60 | ArgumentList getArgumentList(); | ||
61 | |||
62 | /** | ||
63 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}' containment reference. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @param value the new value of the '<em>Argument List</em>' containment reference. | ||
67 | * @see #getArgumentList() | ||
68 | * @generated | ||
69 | */ | ||
70 | void setArgumentList(ArgumentList value); | ||
71 | |||
72 | /** | ||
73 | * Returns the value of the '<em><b>Transitive Closure</b></em>' attribute. | 51 | * Returns the value of the '<em><b>Transitive Closure</b></em>' attribute. |
74 | * <!-- begin-user-doc --> | 52 | * <!-- begin-user-doc --> |
75 | * <!-- end-user-doc --> | 53 | * <!-- end-user-doc --> |
@@ -113,4 +91,26 @@ public interface Call extends Expression | |||
113 | */ | 91 | */ |
114 | void setReflexiveTransitiveClosure(boolean value); | 92 | void setReflexiveTransitiveClosure(boolean value); |
115 | 93 | ||
94 | /** | ||
95 | * Returns the value of the '<em><b>Argument List</b></em>' containment reference. | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @return the value of the '<em>Argument List</em>' containment reference. | ||
99 | * @see #setArgumentList(ArgumentList) | ||
100 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getCall_ArgumentList() | ||
101 | * @model containment="true" | ||
102 | * @generated | ||
103 | */ | ||
104 | ArgumentList getArgumentList(); | ||
105 | |||
106 | /** | ||
107 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}' containment reference. | ||
108 | * <!-- begin-user-doc --> | ||
109 | * <!-- end-user-doc --> | ||
110 | * @param value the new value of the '<em>Argument List</em>' containment reference. | ||
111 | * @see #getArgumentList() | ||
112 | * @generated | ||
113 | */ | ||
114 | void setArgumentList(ArgumentList value); | ||
115 | |||
116 | } // Call | 116 | } // Call |