diff options
author | 2020-05-06 00:27:55 +0200 | |
---|---|---|
committer | 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. |