DEFINITION DungeonFiles

(*
 *	Entwicklung objekt-orientierter Bibliotheken, Aufgabe 12
 *
 *	Einlesen eines Graphen aus einem Stream.
 *)
DEFINITION DungeonFiles;

   IMPORT Dungeons, Streams;

   PROCEDURE ReadDungeon(s: Streams.Stream;
		  VAR d: Dungeons.Dungeon; VAR start: Dungeons.Name): BOOLEAN;

END DungeonFiles.