equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 import java.time.{LocalDate, ZoneId} |
10 import java.time.LocalDate |
11 import scala.collection.immutable.SortedMap |
11 import scala.collection.immutable.SortedMap |
12 |
12 |
13 |
13 |
14 object AFP |
14 object AFP |
15 { |
15 { |
29 /* entries */ |
29 /* entries */ |
30 |
30 |
31 def parse_date(s: String): Date = |
31 def parse_date(s: String): Date = |
32 { |
32 { |
33 val t = Date.Formatter.pattern("uuuu-MM-dd").parse(s) |
33 val t = Date.Formatter.pattern("uuuu-MM-dd").parse(s) |
34 val zone_id = ZoneId.of("Europe/Berlin") |
34 Date(LocalDate.from(t).atStartOfDay(Date.timezone_berlin)) |
35 Date(LocalDate.from(t).atStartOfDay(zone_id)) |
|
36 } |
35 } |
37 |
36 |
38 sealed case class Entry(name: String, metadata: Properties.T, sessions: List[String]) |
37 sealed case class Entry(name: String, metadata: Properties.T, sessions: List[String]) |
39 { |
38 { |
40 def get(prop: String): Option[String] = Properties.get(metadata, prop) |
39 def get(prop: String): Option[String] = Properties.get(metadata, prop) |