diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java index f0066955..1896e31e 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java | |||
@@ -33,12 +33,12 @@ public interface FileSystem extends EObject { | |||
33 | * </p> | 33 | * </p> |
34 | * <!-- end-user-doc --> | 34 | * <!-- end-user-doc --> |
35 | * @return the value of the '<em>Root</em>' containment reference. | 35 | * @return the value of the '<em>Root</em>' containment reference. |
36 | * @see #setRoot(FSObject) | 36 | * @see #setRoot(Dir) |
37 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root() | 37 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root() |
38 | * @model containment="true" required="true" | 38 | * @model containment="true" required="true" |
39 | * @generated | 39 | * @generated |
40 | */ | 40 | */ |
41 | FSObject getRoot(); | 41 | Dir getRoot(); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}' containment reference. | 44 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}' containment reference. |
@@ -48,7 +48,7 @@ public interface FileSystem extends EObject { | |||
48 | * @see #getRoot() | 48 | * @see #getRoot() |
49 | * @generated | 49 | * @generated |
50 | */ | 50 | */ |
51 | void setRoot(FSObject value); | 51 | void setRoot(Dir value); |
52 | 52 | ||
53 | /** | 53 | /** |
54 | * Returns the value of the '<em><b>Live</b></em>' reference list. | 54 | * Returns the value of the '<em><b>Live</b></em>' reference list. |