diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java index fc61ea86..7892fd57 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/Predicate.java | |||
@@ -14,6 +14,8 @@ import org.eclipse.emf.common.util.EList; | |||
14 | * The following features are supported: | 14 | * The following features are supported: |
15 | * </p> | 15 | * </p> |
16 | * <ul> | 16 | * <ul> |
17 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError <em>Is Error</em>}</li> | ||
18 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol <em>Symbol</em>}</li> | ||
17 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters <em>Parameters</em>}</li> | 19 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters <em>Parameters</em>}</li> |
18 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies <em>Bodies</em>}</li> | 20 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies <em>Bodies</em>}</li> |
19 | * </ul> | 21 | * </ul> |
@@ -25,6 +27,50 @@ import org.eclipse.emf.common.util.EList; | |||
25 | public interface Predicate extends Statement | 27 | public interface Predicate extends Statement |
26 | { | 28 | { |
27 | /** | 29 | /** |
30 | * Returns the value of the '<em><b>Is Error</b></em>' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @return the value of the '<em>Is Error</em>' attribute. | ||
34 | * @see #setIsError(boolean) | ||
35 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicate_IsError() | ||
36 | * @model | ||
37 | * @generated | ||
38 | */ | ||
39 | boolean isIsError(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError <em>Is Error</em>}' attribute. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Is Error</em>' attribute. | ||
46 | * @see #isIsError() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setIsError(boolean value); | ||
50 | |||
51 | /** | ||
52 | * Returns the value of the '<em><b>Symbol</b></em>' containment reference. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @return the value of the '<em>Symbol</em>' containment reference. | ||
56 | * @see #setSymbol(ModelSymbol) | ||
57 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicate_Symbol() | ||
58 | * @model containment="true" | ||
59 | * @generated | ||
60 | */ | ||
61 | ModelSymbol getSymbol(); | ||
62 | |||
63 | /** | ||
64 | * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol <em>Symbol</em>}' containment reference. | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @param value the new value of the '<em>Symbol</em>' containment reference. | ||
68 | * @see #getSymbol() | ||
69 | * @generated | ||
70 | */ | ||
71 | void setSymbol(ModelSymbol value); | ||
72 | |||
73 | /** | ||
28 | * Returns the value of the '<em><b>Parameters</b></em>' containment reference list. | 74 | * Returns the value of the '<em><b>Parameters</b></em>' containment reference list. |
29 | * The list contents are of type {@link org.eclipse.viatra.solver.language.solverLanguage.Parameter}. | 75 | * The list contents are of type {@link org.eclipse.viatra.solver.language.solverLanguage.Parameter}. |
30 | * <!-- begin-user-doc --> | 76 | * <!-- begin-user-doc --> |