Narrow list of valid dates/times/dateTimes based on more strict lexical representations from https://www.w3.org/TR/xmlschema11-2/#rf-lexicalMappings-datetime

Author: gkellogg

lib/rdf/model/literal/date.rb

@@ -3,10 +3,11 @@ module RDF; class Literal
   # A date literal.
   #
   # @see   http://www.w3.org/TR/xmlschema11-2/#date
+  # @see   https://www.w3.org/TR/xmlschema11-2/#rf-lexicalMappings-datetime
   # @since 0.2.1
   class Date < Temporal
     DATATYPE = RDF::URI("http://www.w3.org/2001/XMLSchema#date")
-    GRAMMAR  = %r(\A(-?\d{4}-\d{2}-\d{2})((?:[\+\-]\d{2}:\d{2})|UTC|GMT|Z)?\Z).freeze
+    GRAMMAR  = %r(\A(#{YEARFRAG}-#{MONTHFRAG}-#{DAYFRAG})(#{TZFRAG})?\z).freeze
     FORMAT   = '%Y-%m-%d'.freeze
 
     ##

lib/rdf/model/literal/datetime.rb

@@ -3,10 +3,22 @@ module RDF; class Literal
   # A date/time literal.
   #
   # @see   http://www.w3.org/TR/xmlschema11-2/#dateTime
+  # @see   https://www.w3.org/TR/xmlschema11-2/#rf-lexicalMappings-datetime
   # @since 0.2.1
   class DateTime < Temporal
     DATATYPE = RDF::URI("http://www.w3.org/2001/XMLSchema#dateTime")
-    GRAMMAR  = %r(\A(-?(?:\d{4}|[1-9]\d{4,})-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d+)?)((?:[\+\-]\d{2}:\d{2})|UTC|GMT|Z)?\Z).freeze
+    GRAMMAR  = %r(\A
+      (#{YEARFRAG}
+      -#{MONTHFRAG}
+      -#{DAYFRAG}
+      T
+      (?:
+       (?:
+        #{HOURFRAG}
+       :#{MINUTEFRAG}
+       :#{SECONDFRAG})
+      | #{EODFRAG}))
+     (#{TZFRAG})?\z)x.freeze
     FORMAT   = '%Y-%m-%dT%H:%M:%S.%L'.freeze
 
     ##

lib/rdf/model/literal/temporal.rb

@@ -10,6 +10,15 @@ class Temporal < Literal
       |(?:(?<si>-)?PT(?<hr>\d{1,2})H(?:(?<mi>\d{1,2})M)?)
     \z)x.freeze
 
+    YEARFRAG = %r(-?(?:(?:[1-9]\d{3,})|(?:0\d{3})))
+    MONTHFRAG = %r((?:(?:0[1-9])|(?:1[0-2])))
+    DAYFRAG = %r((?:(?:0[1-9])|(?:[12]\d)|(?:3[01])))
+    HOURFRAG = %r((?:[01]\d)|(?:2[0-3]))
+    MINUTEFRAG = %r([0-5]\d)
+    SECONDFRAG = %r([0-5]\d(?:\.\d+)?)
+    EODFRAG = %r(24:00:00(?:\.0+)?)
+    TZFRAG = %r((?:[\+\-]\d{2}:\d{2})|UTC|GMT|Z)
+
     ##
     # Compares this literal to `other` for sorting purposes.
     #

lib/rdf/model/literal/time.rb

@@ -8,10 +8,11 @@ module RDF; class Literal
   # following time zone indicator.
   #
   # @see   http://www.w3.org/TR/xmlschema11-2/#time
+  # @see   https://www.w3.org/TR/xmlschema11-2/#rf-lexicalMappings-datetime
   # @since 0.2.1
   class Time < Temporal
     DATATYPE = RDF::URI("http://www.w3.org/2001/XMLSchema#time")
-    GRAMMAR  = %r(\A(\d{2}:\d{2}:\d{2}(?:\.\d+)?)((?:[\+\-]\d{2}:\d{2})|UTC|GMT|Z)?\Z).freeze
+    GRAMMAR  = %r(\A((?:#{HOURFRAG}:#{MINUTEFRAG}:#{SECONDFRAG})|#{EODFRAG})(#{TZFRAG})?\z).freeze
     FORMAT   = '%H:%M:%S.%L'.freeze
 
     ##