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/SolverLanguageFactory.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/SolverLanguageFactory.java')
| -rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java index cf5c8e62..f6e293b9 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java | |||
| @@ -276,6 +276,15 @@ public interface SolverLanguageFactory extends EFactory | |||
| 276 | StringLiteral createStringLiteral(); | 276 | StringLiteral createStringLiteral(); |
| 277 | 277 | ||
| 278 | /** | 278 | /** |
| 279 | * Returns a new object of class '<em>Class Definition</em>'. | ||
| 280 | * <!-- begin-user-doc --> | ||
| 281 | * <!-- end-user-doc --> | ||
| 282 | * @return a new object of class '<em>Class Definition</em>'. | ||
| 283 | * @generated | ||
| 284 | */ | ||
| 285 | ClassDefinition createClassDefinition(); | ||
| 286 | |||
| 287 | /** | ||
| 279 | * Returns a new object of class '<em>Member Definition</em>'. | 288 | * Returns a new object of class '<em>Member Definition</em>'. |
| 280 | * <!-- begin-user-doc --> | 289 | * <!-- begin-user-doc --> |
| 281 | * <!-- end-user-doc --> | 290 | * <!-- end-user-doc --> |