summaryrefslogtreecommitdiff
path: root/examples/godis-tram/Tram/StopsSem.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/godis-tram/Tram/StopsSem.gf')
-rw-r--r--examples/godis-tram/Tram/StopsSem.gf66
1 files changed, 66 insertions, 0 deletions
diff --git a/examples/godis-tram/Tram/StopsSem.gf b/examples/godis-tram/Tram/StopsSem.gf
new file mode 100644
index 000000000..5ecd084dd
--- /dev/null
+++ b/examples/godis-tram/Tram/StopsSem.gf
@@ -0,0 +1,66 @@
+--# -path=.:../Common
+
+concrete StopsSem of Stops = open Prolog in {
+
+lincat Stop = PStr;
+
+lin
+Angered = pp0 ["Angered"];
+AxelDahlstromsTorg = pp0 ["AxelDahlstromsTorg"];
+Bergsjon = pp0 ["Bergsjon"];
+Biskopsgarden = pp0 ["Biskopsgarden"];
+Botaniska = pp0 ["Botaniska"];
+Broplatsen = pp0 ["Broplatsen"];
+Brunnsbotorget = pp0 ["Brunnsbotorget"];
+Brunnsparken = pp0 ["Brunnsparken"];
+Centralstationen = pp0 ["Centralstationen"];
+Chalmers = pp0 ["Chalmers"];
+Eriksberg = pp0 ["Criksberg"];
+Frihamnen = pp0 ["Frihamnen"];
+FrolundaTorg = pp0 ["FrolundaTorg"];
+Gamlestadstorget = pp0 ["Gamlestadstorget"];
+Gronsakstorget = pp0 ["Gronsakstorget"];
+Guldheden = pp0 ["Guldheden"];
+Hagakyrkan = pp0 ["Hagakyrkan"];
+Harlanda = pp0 ["Harlanda"];
+Hinnebacksgatan = pp0 ["Hinnebacksgatan"];
+HjBrantingsplatsen = pp0 ["HjBrantingsplatsen"];
+Jarntorget = pp0 ["Jarntorget"];
+Kalleback = pp0 ["Kalleback"];
+Karralundsgatan = pp0 ["Karralundsgatan"];
+Klareberg = pp0 ["Klareberg"];
+Klippan = pp0 ["Klippan"];
+Korkarlensgata = pp0 ["Korkarlensgata"];
+Korsvagen = pp0 ["Korsvagen"];
+Kortedala = pp0 ["Kortedala"];
+Kungssten = pp0 ["Kungssten"];
+Lansmansgarden = pp0 ["Lansmansgarden"];
+LillaBommen = pp0 ["LillaBommen"];
+Lindholmen = pp0 ["Lindholmen"];
+Linneplatsen = pp0 ["Linneplatsen"];
+LundbyStrand = pp0 ["LundbyStrand"];
+Mariaplan = pp0 ["Mariaplan"];
+Marklandsgatan = pp0 ["Marklandsgatan"];
+Nordstan = pp0 ["Nordstan"];
+Olivedalsgatan = pp0 ["Olivedalsgatan"];
+Olskrokstorget = pp0 ["Olskrokstorget"];
+OstraSjukhuset = pp0 ["OstraSjukhuset"];
+Pilbagsgatan = pp0 ["Pilbagsgatan"];
+Redbergsplatsen = pp0 ["Redbergsplatsen"];
+Rosenlund = pp0 ["Rosenlund"];
+Sahlgrenska = pp0 ["Sahlgrenska"];
+Saltholmen = pp0 ["Saltholmen"];
+SanktSigfridsplan = pp0 ["SanktSigfridsPlan"];
+Sannaplan = pp0 ["Sannaplan"];
+Skogome = pp0 ["Skogome"];
+Sorgardsskolan = pp0 ["Sorgardsskolan"];
+Stigbergstorget = pp0 ["Stigbergstorget"];
+Tagene = pp0 ["Tagene"];
+Torp = pp0 ["Torp"];
+Tynnered = pp0 ["Tynnered"];
+Ullevi = pp0 ["Ullevi"];
+Valand = pp0 ["Valand"];
+VasaViktoriagatan = pp0 ["VasaViktoriagatan"];
+Vasaplatsen = pp0 ["Vasaplatsen"];
+WavrinskysPlats = pp0 ["WavrinskysPlats"];
+}