Incorporate latest changes from WebDAV-Push

src/main/kotlin/at/bitfire/dav4jvm/PropertyRegistry.kt

@@ -59,7 +59,7 @@ object PropertyRegistry {
             at.bitfire.dav4jvm.property.carddav.MaxResourceSize.Factory,
             Owner.Factory,
             PushMessage.Factory,
-            PushSubscribe.Factory,
+            PushRegister.Factory,
             PushTransports.Factory,
             QuotaAvailableBytes.Factory,
             QuotaUsedBytes.Factory,

src/main/kotlin/at/bitfire/dav4jvm/property/push/AuthSecret.kt

@@ -0,0 +1,40 @@
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ */
+
+package at.bitfire.dav4jvm.property.push
+
+import at.bitfire.dav4jvm.Property
+import at.bitfire.dav4jvm.PropertyFactory
+import at.bitfire.dav4jvm.XmlReader
+import org.xmlpull.v1.XmlPullParser
+
+/**
+ * Represents a [NS_WEBDAV_PUSH]`:auth-secret` property.
+ *
+ * Experimental! See https://github.com/bitfireAT/webdav-push/
+ */
+data class AuthSecret(
+    val secret: String? = null
+): Property {
+
+    companion object {
+
+        @JvmField
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "auth-secret")
+
+    }
+
+
+    object Factory: PropertyFactory {
+
+        override fun getName() = NAME
+
+        override fun create(parser: XmlPullParser): AuthSecret =
+            AuthSecret(XmlReader(parser).readText())
+
+    }
+
+}

src/main/kotlin/at/bitfire/dav4jvm/property/push/ClientPublicKey.kt

@@ -0,0 +1,39 @@
+package at.bitfire.dav4jvm.property.push
+
+import at.bitfire.dav4jvm.Property
+import at.bitfire.dav4jvm.PropertyFactory
+import at.bitfire.dav4jvm.XmlReader
+import org.xmlpull.v1.XmlPullParser
+
+/**
+ * Represents a [NS_WEBDAV_PUSH]`:client-public-key` property.
+ *
+ * Experimental! See https://github.com/bitfireAT/webdav-push/
+ */
+data class ClientPublicKey(
+    val type: String? = null,
+    val key: String? = null
+): Property {
+
+    companion object {
+
+        @JvmField
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "client-public-key")
+
+    }
+
+
+    object Factory : PropertyFactory {
+
+        override fun getName() = NAME
+
+        override fun create(parser: XmlPullParser): ClientPublicKey {
+            return ClientPublicKey(
+                type = parser.getAttributeValue(null, "type"),
+                key = XmlReader(parser).readText()
+            )
+        }
+
+    }
+
+}

src/main/kotlin/at/bitfire/dav4jvm/property/push/PushMessage.kt

@@ -6,18 +6,19 @@
 
 package at.bitfire.dav4jvm.property.push
 
+import at.bitfire.dav4jvm.PropStat
 import at.bitfire.dav4jvm.Property
 import at.bitfire.dav4jvm.PropertyFactory
 import at.bitfire.dav4jvm.XmlReader
 import org.xmlpull.v1.XmlPullParser
 
 /**
- * Represents a `{DAV:Push}push-message` property.
+ * Represents a [NS_WEBDAV_PUSH]`:push-message` property.
  *
  * Experimental! See https://github.com/bitfireAT/webdav-push/
  */
-class PushMessage(
-    val topic: String?
+data class PushMessage(
+    val propStat: PropStat? = null
 ): Property {
 
     companion object {
@@ -32,7 +33,15 @@ class PushMessage(
 
         override fun getName() = NAME
 
-        override fun create(parser: XmlPullParser) = PushMessage(XmlReader(parser).readTextProperty(Topic.NAME))
+        override fun create(parser: XmlPullParser): PushMessage {
+            var propStat: PropStat? = null
+
+            XmlReader(parser).processTag(PropStat.NAME) {
+                propStat = PropStat.parse(parser)
+            }
+
+            return PushMessage(propStat)
+        }
 
     }
 

src/main/kotlin/at/bitfire/dav4jvm/property/push/PushSubscribe.kt → src/main/kotlin/at/bitfire/dav4jvm/property/push/PushRegister.kt

@@ -11,52 +11,56 @@ import at.bitfire.dav4jvm.Property
 import at.bitfire.dav4jvm.PropertyFactory
 import at.bitfire.dav4jvm.XmlReader
 import at.bitfire.dav4jvm.XmlUtils.propertyName
-import org.xmlpull.v1.XmlPullParser
 import java.time.Instant
+import org.xmlpull.v1.XmlPullParser
 
 /**
- * Represents a `{DAV:Push}push-subscribe` property.
+ * Represents a [NS_WEBDAV_PUSH]`:push-register` property.
  *
  * Experimental! See https://github.com/bitfireAT/webdav-push/
  */
-class PushSubscribe: Property {
+data class PushRegister(
+    val expires: Instant? = null,
+    val subscription: Subscription? = null
+): Property {
 
     companion object {
 
         @JvmField
-        val NAME = Property.Name(NS_WEBDAV_PUSH, "push-subscribe")
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "push-register")
 
         val EXPIRES = Property.Name(NS_WEBDAV_PUSH, "expires")
 
     }
 
-    var expires: Instant? = null
-    var subscription: Subscription? = null
-
 
     object Factory: PropertyFactory {
 
         override fun getName() = NAME
 
-        override fun create(parser: XmlPullParser): PushSubscribe {
-            val subscribe = PushSubscribe()
+        override fun create(parser: XmlPullParser): PushRegister {
+            var register = PushRegister()
 
             val depth = parser.depth
             var eventType = parser.eventType
             while (!(eventType == XmlPullParser.END_TAG && parser.depth == depth)) {
                 if (eventType == XmlPullParser.START_TAG && parser.depth == depth + 1)
                     when (parser.propertyName()) {
                         EXPIRES ->
-                            subscribe.expires = XmlReader(parser).readText()?.let {
-                                HttpUtils.parseDate(it)
-                            }
+                            register = register.copy(
+                                expires = XmlReader(parser).readText()?.let {
+                                    HttpUtils.parseDate(it)
+                                }
+                            )
                         Subscription.NAME ->
-                            subscribe.subscription = Subscription.Factory.create(parser)
+                            register = register.copy(
+                                subscription = Subscription.Factory.create(parser)
+                            )
                     }
                 eventType = parser.next()
             }
 
-            return subscribe
+            return register
         }
 
     }

src/main/kotlin/at/bitfire/dav4jvm/property/push/PushResource.kt

@@ -0,0 +1,50 @@
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ */
+
+package at.bitfire.dav4jvm.property.push
+
+import at.bitfire.dav4jvm.Property
+import at.bitfire.dav4jvm.PropertyFactory
+import at.bitfire.dav4jvm.XmlReader
+import org.xmlpull.v1.XmlPullParser
+import java.net.URI
+import java.net.URISyntaxException
+
+/**
+ * Represents a [NS_WEBDAV_PUSH]`:push-resource` property.
+ *
+ * Experimental! See https://github.com/bitfireAT/webdav-push/
+ */
+data class PushResource(
+    val uri: URI? = null
+): Property {
+
+    companion object {
+
+        @JvmField
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "push-resource")
+
+    }
+
+
+    object Factory: PropertyFactory {
+
+        override fun getName() = NAME
+
+        override fun create(parser: XmlPullParser): PushResource =
+            PushResource(
+                uri = XmlReader(parser).readText()?.let { uri ->
+                    try {
+                        URI(uri)
+                    } catch (_: URISyntaxException) {
+                        null
+                    }
+                }
+            )
+
+    }
+
+}

src/main/kotlin/at/bitfire/dav4jvm/property/push/PushTransport.kt

@@ -0,0 +1,8 @@
+package at.bitfire.dav4jvm.property.push
+
+import at.bitfire.dav4jvm.Property
+
+/**
+ * Identifies a property as a push transport.
+ */
+interface PushTransport: Property

src/main/kotlin/at/bitfire/dav4jvm/property/push/PushTransports.kt

@@ -8,44 +8,41 @@ package at.bitfire.dav4jvm.property.push
 
 import at.bitfire.dav4jvm.Property
 import at.bitfire.dav4jvm.PropertyFactory
-import at.bitfire.dav4jvm.XmlReader
 import at.bitfire.dav4jvm.XmlUtils.propertyName
 import org.xmlpull.v1.XmlPullParser
 
 /**
- * Represents a `{DAV:Push}push-transports` property.
+ * Represents a [NS_WEBDAV_PUSH]`:push-transports` property.
  *
  * Experimental! See https://github.com/bitfireAT/webdav-push/
  */
 class PushTransports private constructor(
-    val transports: Set<Property.Name>
+    val transports: Set<PushTransport>
 ): Property {
 
     companion object {
         @JvmField
-        val NAME = Property.Name(NS_WEBDAV_PUSH, "push-transports")
-
-        val TRANSPORT = Property.Name(NS_WEBDAV_PUSH, "transport")
-        val WEB_PUSH = Property.Name(NS_WEBDAV_PUSH, "web-push")
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "transports")
     }
 
-    fun hasWebPush() = transports.contains(WEB_PUSH)
+    fun hasWebPush() = transports.any { it is WebPush }
 
 
     object Factory: PropertyFactory {
 
         override fun getName() = NAME
 
         override fun create(parser: XmlPullParser): PushTransports {
-            val transports = mutableListOf<Property.Name>()
-            XmlReader(parser).processTag(TRANSPORT) {
-                val depth = parser.depth
-                var eventType = parser.eventType
-                while (!(eventType == XmlPullParser.END_TAG && parser.depth == depth)) {
-                    if (eventType == XmlPullParser.START_TAG && parser.depth == depth + 1)
-                        transports += parser.propertyName()
-                    eventType = parser.next()
+            val transports = mutableListOf<PushTransport>()
+            val depth = parser.depth
+            var eventType = parser.eventType
+            while (!(eventType == XmlPullParser.END_TAG && parser.depth == depth)) {
+                if (eventType == XmlPullParser.START_TAG && parser.depth == depth + 1) {
+                    when (parser.propertyName()) {
+                        WebPush.NAME -> transports += WebPush.Factory.create(parser)
+                    }
                 }
+                eventType = parser.next()
             }
             return PushTransports(transports.toSet())
         }

src/main/kotlin/at/bitfire/dav4jvm/property/push/ServerPublicKey.kt

@@ -0,0 +1,39 @@
+package at.bitfire.dav4jvm.property.push
+
+import at.bitfire.dav4jvm.Property
+import at.bitfire.dav4jvm.PropertyFactory
+import at.bitfire.dav4jvm.XmlReader
+import org.xmlpull.v1.XmlPullParser
+
+/**
+ * Represents a [NS_WEBDAV_PUSH]`:server-public-key` property.
+ *
+ * Experimental! See https://github.com/bitfireAT/webdav-push/
+ */
+data class ServerPublicKey(
+    val type: String? = null,
+    val key: String? = null
+): Property {
+
+    companion object {
+
+        @JvmField
+        val NAME = Property.Name(NS_WEBDAV_PUSH, "server-public-key")
+
+    }
+
+
+    object Factory : PropertyFactory {
+
+        override fun getName() = NAME
+
+        override fun create(parser: XmlPullParser): ServerPublicKey {
+            return ServerPublicKey(
+                type = parser.getAttributeValue(null, "type"),
+                key = XmlReader(parser).readText()
+            )
+        }
+
+    }
+
+}

src/main/kotlin/at/bitfire/dav4jvm/property/push/Subscription.kt

@@ -12,12 +12,12 @@ import at.bitfire.dav4jvm.XmlReader
 import org.xmlpull.v1.XmlPullParser
 
 /**
- * Represents a `{DAV:Push}subscription` property.
+ * Represents a [NS_WEBDAV_PUSH]`:subscription` property.
  *
  * Experimental! See https://github.com/bitfireAT/webdav-push/
  */
-class Subscription private constructor(
-    val webPushSubscription: WebPushSubscription?
+data class Subscription private constructor(
+    val webPushSubscription: WebPushSubscription? = null
 ): Property {
 
     companion object {

src/main/kotlin/at/bitfire/dav4jvm/property/push/Topic.kt

@@ -12,12 +12,12 @@ import at.bitfire.dav4jvm.XmlReader
 import org.xmlpull.v1.XmlPullParser
 
 /**
- * Represents a `{DAV:Push}topic` property.
+ * Represents a [NS_WEBDAV_PUSH]`:topic` property.
  *
  * Experimental! See https://github.com/bitfireAT/webdav-push/
  */
-class Topic private constructor(
-    val topic: String?
+data class Topic(
+    val topic: String? = null
 ): Property {
 
     companion object {