60 |
|
|
61 |
JsoupInvocation jsoup = new JsoupInvocation(new URL("http://trafikinfo.bane.dk/Trafikinformation/Stationsliste"), 5000); |
JsoupInvocation jsoup = new JsoupInvocation(new URL("http://trafikinfo.bane.dk/Trafikinformation/Stationsliste"), 5000); |
62 |
|
|
63 |
|
|
64 |
|
Map<String,String> idToStation = new TreeMap<String,String>(); |
65 |
|
Map<String,String> stationToId = new TreeMap<String,String>(); |
66 |
Map<String,String> banedkStations = new TreeMap<String,String>(); |
Map<String,String> banedkStations = new TreeMap<String,String>(); |
67 |
|
|
68 |
Set<String> dbStations = new TreeSet<String>(); |
Set<String> dbStations = new TreeSet<String>(); |
69 |
|
|
70 |
StringBuilder sb = new StringBuilder(); |
StringBuilder sb = new StringBuilder(); |
86 |
for(Element e : tables) { |
for(Element e : tables) { |
87 |
if (e.tagName().equals("table") ){ |
if (e.tagName().equals("table") ){ |
88 |
Elements links = e.getElementsByTag("a"); |
Elements links = e.getElementsByTag("a"); |
89 |
for (Element link : links) { |
for (Element link : links) { |
90 |
banedkStations.put( link.text(), link.attr("href") ); |
String name = link.text(); |
91 |
|
String href = link.attr("href"); |
92 |
|
|
93 |
|
String hrefParts[] = href.split("/"); |
94 |
|
String hrefCode = URLDecoder.decode(hrefParts[4], "UTF-8"); |
95 |
|
|
96 |
|
idToStation.put(hrefCode, name); |
97 |
|
stationToId.put(name, hrefCode); |
98 |
|
banedkStations.put( name, href ); |
99 |
} |
} |
100 |
} |
} |
101 |
} |
} |
136 |
|
|
137 |
for (StationEntry station : bean.entries) { |
for (StationEntry station : bean.entries) { |
138 |
if (station.isRegional() || station.isStrain()) { |
if (station.isRegional() || station.isStrain()) { |
139 |
String href = banedkStations.get(station.getName() ); |
String hrefCode = stationToId.get(station.getName()); |
140 |
String hrefCode = "null"; |
if (hrefCode == null) |
141 |
if ( href != null) { |
hrefCode = "null"; |
|
String hrefParts[] = href.split("/"); |
|
|
hrefCode = URLDecoder.decode(hrefParts[4], "UTF-8"); |
|
|
} |
|
142 |
|
|
143 |
String id = ""; |
String id = ""; |
144 |
String uri = ""; |
String uri = ""; |