From 110268c8e8937df8d67075caebd6d31460d0f81a Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Thu, 15 Aug 2019 15:36:05 +0200
Subject: Measurements WIP

---
 .../dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java    | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java')

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 1896e31e..f0066955 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 {
 	 * </p>
 	 * <!-- end-user-doc -->
 	 * @return the value of the '<em>Root</em>' containment reference.
-	 * @see #setRoot(Dir)
+	 * @see #setRoot(FSObject)
 	 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root()
 	 * @model containment="true" required="true"
 	 * @generated
 	 */
-	Dir getRoot();
+	FSObject getRoot();
 
 	/**
 	 * 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 {
 	 * @see #getRoot()
 	 * @generated
 	 */
-	void setRoot(Dir value);
+	void setRoot(FSObject value);
 
 	/**
 	 * Returns the value of the '<em><b>Live</b></em>' reference list.
-- 
cgit v1.2.3-70-g09d2