diff options
| author |  OszkarSemerath <oszka@192.168.122.1> | 2017-08-20 01:55:38 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@192.168.122.1> | 2017-08-20 01:55:38 +0200 |
| commit | 78c806eebaf5b9d50b08768062755f0044cf107f (patch) | |
| tree | 7db4d1b6a990b2572ed82a747dffac65a1c6fcc5 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java | |
| parent | null check before mapping value of a reference (diff) | |
| download | VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.gz VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.zst VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.zip | |
Alloy Examples
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java new file mode 100644 index 00000000..e765cbda --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java | |||
| @@ -0,0 +1,18 @@ | |||
| 1 | /** | ||
| 2 | */ | ||
| 3 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem; | ||
| 4 | |||
| 5 | |||
| 6 | /** | ||
| 7 | * <!-- begin-user-doc --> | ||
| 8 | * A representation of the model object '<em><b>File</b></em>'. | ||
| 9 | * <!-- end-user-doc --> | ||
| 10 | * | ||
| 11 | * | ||
| 12 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFile() | ||
| 13 | * @model | ||
| 14 | * @generated | ||
| 15 | */ | ||
| 16 | public interface File extends FSObject { | ||
| 17 | |||
| 18 | } // File | ||