diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
| commit | 820151b6d27643ba0927ca84d1bccadbd695a55d (patch) | |
| tree | 9d3a5786b7f90723a6af967875f861a89e5b897e /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java | |
| parent | color update (diff) | |
| download | VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.gz VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.zst VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.zip | |
PS language update
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java')
| -rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java index a6deaea8..b44ef060 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/NamedObject.java | |||
| @@ -20,7 +20,7 @@ package org.eclipse.viatra.solver.language.solverLanguage; | |||
| 20 | * @model | 20 | * @model |
| 21 | * @generated | 21 | * @generated |
| 22 | */ | 22 | */ |
| 23 | public interface NamedObject extends org.eclipse.viatra.solver.language.solverLanguage.Object | 23 | public interface NamedObject extends org.eclipse.viatra.solver.language.solverLanguage.Object, Literal |
| 24 | { | 24 | { |
| 25 | /** | 25 | /** |
| 26 | * Returns the value of the '<em><b>Name</b></em>' attribute. | 26 | * Returns the value of the '<em><b>Name</b></em>' attribute. |