more robust: avoid NPE due to odd problems with object initialization;
authorwenzelm
Mon, 25 Mar 2019 21:46:37 +0100
changeset 70165 4ce5ce3a612b
parent 70164 f150253cb201
child 70166 3afa3b25b5e7
child 70170 6fa51a36b7f7
more robust: avoid NPE due to odd problems with object initialization;
src/Pure/General/rdf.scala
--- a/src/Pure/General/rdf.scala	Mon Mar 25 19:50:52 2019 +0100
+++ b/src/Pure/General/rdf.scala	Mon Mar 25 21:46:37 2019 +0100
@@ -81,15 +81,15 @@
 
   object Property  // binary relation with plain value
   {
-    val title: String = dcterms("title")
-    val creator: String = dcterms("creator")
-    val contributor: String = dcterms("contributor")
-    val date: String = dcterms("date")
-    val license: String = dcterms("license")
-    val description: String = dcterms("description")
+    def title: String = dcterms("title")
+    def creator: String = dcterms("creator")
+    def contributor: String = dcterms("contributor")
+    def date: String = dcterms("date")
+    def license: String = dcterms("license")
+    def description: String = dcterms("description")
   }
 
-  private val meta_data_table =
+  private lazy val meta_data_table =
     Map(
       Markup.META_TITLE -> Property.title,
       Markup.META_CREATOR -> Property.creator,