diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:39:37 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:39:37 +0200 |
commit | b77c6762fb0f784811614e2bd53d5a74cdf866c0 (patch) | |
tree | 3df109b845b42744c574ef06a6f0cbd4aad01395 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | |
parent | If scope available, then it is maintained during generation via VS (diff) | |
download | VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.tar.gz VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.tar.zst VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.zip |
Alloy support for string literals
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java index 06919ba8..e2998ff6 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | |||
@@ -185,6 +185,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
185 | ALSIntScope createALSIntScope(); | 185 | ALSIntScope createALSIntScope(); |
186 | 186 | ||
187 | /** | 187 | /** |
188 | * Returns a new object of class '<em>ALS String Scope</em>'. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @return a new object of class '<em>ALS String Scope</em>'. | ||
192 | * @generated | ||
193 | */ | ||
194 | ALSStringScope createALSStringScope(); | ||
195 | |||
196 | /** | ||
188 | * Returns a new object of class '<em>ALS Quantified Ex</em>'. | 197 | * Returns a new object of class '<em>ALS Quantified Ex</em>'. |
189 | * <!-- begin-user-doc --> | 198 | * <!-- begin-user-doc --> |
190 | * <!-- end-user-doc --> | 199 | * <!-- end-user-doc --> |
@@ -473,6 +482,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
473 | ALSInt createALSInt(); | 482 | ALSInt createALSInt(); |
474 | 483 | ||
475 | /** | 484 | /** |
485 | * Returns a new object of class '<em>ALS String</em>'. | ||
486 | * <!-- begin-user-doc --> | ||
487 | * <!-- end-user-doc --> | ||
488 | * @return a new object of class '<em>ALS String</em>'. | ||
489 | * @generated | ||
490 | */ | ||
491 | ALSString createALSString(); | ||
492 | |||
493 | /** | ||
476 | * Returns a new object of class '<em>ALS Reference</em>'. | 494 | * Returns a new object of class '<em>ALS Reference</em>'. |
477 | * <!-- begin-user-doc --> | 495 | * <!-- begin-user-doc --> |
478 | * <!-- end-user-doc --> | 496 | * <!-- end-user-doc --> |
@@ -491,6 +509,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
491 | ALSNumberLiteral createALSNumberLiteral(); | 509 | ALSNumberLiteral createALSNumberLiteral(); |
492 | 510 | ||
493 | /** | 511 | /** |
512 | * Returns a new object of class '<em>ALS String Literal</em>'. | ||
513 | * <!-- begin-user-doc --> | ||
514 | * <!-- end-user-doc --> | ||
515 | * @return a new object of class '<em>ALS String Literal</em>'. | ||
516 | * @generated | ||
517 | */ | ||
518 | ALSStringLiteral createALSStringLiteral(); | ||
519 | |||
520 | /** | ||
494 | * Returns the package supported by this factory. | 521 | * Returns the package supported by this factory. |
495 | * <!-- begin-user-doc --> | 522 | * <!-- begin-user-doc --> |
496 | * <!-- end-user-doc --> | 523 | * <!-- end-user-doc --> |