From 2fc97fa6fa30ac5dc031a588d26399fd38f42d9b Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 8 Nov 2006 15:14:47 +0000 Subject: took away godis_tram from darcs --- examples/godis-tram/Tram/TramSystem.gf | 64 ---------------------------------- 1 file changed, 64 deletions(-) delete mode 100644 examples/godis-tram/Tram/TramSystem.gf (limited to 'examples/godis-tram/Tram/TramSystem.gf') diff --git a/examples/godis-tram/Tram/TramSystem.gf b/examples/godis-tram/Tram/TramSystem.gf deleted file mode 100644 index a304e1203..000000000 --- a/examples/godis-tram/Tram/TramSystem.gf +++ /dev/null @@ -1,64 +0,0 @@ ---# -path=.:../Common:prelude - -abstract TramSystem = GodisSystem, Stops, Lines ** { - -cat -Route; -- route descripiption. -Leg; -[Leg]{2}; -- route segments on a line --- the following are derived from declaring [Leg]{2}: --- BaseLeg : Leg -> Leg -> [Leg]; --- ConsLeg : Leg -> [Leg] -> [Leg]; - - -fun - ------------------------------------------------------------------ --- Functions for creating routes - -lineLeg : Line -> Stop -> Stop -> Leg; - -oneLeg : Leg -> Route; -mkRoute : [Leg] -> Route; - -------------------------------------------------------------------- --- Predicates --- Questions and Propositions as they are intended to be used --- by either System or User - --- U: what is the shortest route? -shortest_route_Q : Question; - --- S: Take Tram Z from X to Y. Take... -shortest_route_P : Route -> Proposition; - --- S: Where do you want to go to? -dest_stop_Q : Question; - --- U: I want to go to Stop -dest_stop_P : Stop -> Proposition; - --- S: Where do you want to go from? -dept_stop_Q : Question; - --- U: I want to go from Stop -dept_stop_P : Stop -> Proposition; - - ------------------------------------------------------------------ --- Short answers - --- U: "klippan" -stop : Stop -> ShortAns; - - ------------------------------------------------------------------- --- Actions - --- S: GoTGoDiS is a tram information system -help: Action; - --- S: restarting -top: Action; - -} -- cgit v1.2.3