README
- ::to_reprDavError::to_repr
- ::equalDavResponse::equal
- ::not_equalDavResponse::not_equal
- ::to_jsonDavResponse::to_json
- ::to_reprDavResponse::to_repr
- ::equalLockInfo::equal
- ::not_equalLockInfo::not_equal
- ::to_jsonLockInfo::to_json
- ::to_reprLockInfo::to_repr
- ::equalProperty::equal
- ::not_equalProperty::not_equal
- ::to_jsonProperty::to_json
- ::to_reprProperty::to_repr
- ::equalRequest::equal
- ::not_equalRequest::not_equal
- ::to_jsonRequest::to_json
- ::to_reprRequest::to_repr
- ::equalResource::equal
- ::not_equalResource::not_equal
- ::to_jsonResource::to_json
- ::to_reprResource::to_repr
- ::equalXmlAttribute::equal
- ::not_equalXmlAttribute::not_equal
- ::to_jsonXmlAttribute::to_json
- ::to_reprXmlAttribute::to_repr
- ::equalXmlContent::equal
- ::not_equalXmlContent::not_equal
- ::to_jsonXmlContent::to_json
- ::to_reprXmlContent::to_repr
- ::equalXmlElement::equal
- ::not_equalXmlElement::not_equal
- ::text_contentXmlElement::text_content
- ::to_jsonXmlElement::to_json
- ::to_reprXmlElement::to_repr
- ::to_xmlXmlElement::to_xml
- ::equalXmlProperty::equal
- ::not_equalXmlProperty::not_equal
- ::to_jsonXmlProperty::to_json
- ::to_reprXmlProperty::to_repr
V
copy_move
V
if_resources
V
if_tokens
V
lock_request
V
parse_locks
V
parse_multistatus
V
parse_responses
V
parse_xml
V
path
V
property_xml
V
propfind
V
propfind_names
V
proppatch
V
refresh_lock
V
set_properties
V
unlock_request

webdav

WebDAV XML/authoring core with HTTP(S), Digest, locks and streaming host

Download zip

Author

liu-fang38

Version

0.4.2

License

MIT

Repository

github.com/liu-fang38/moonbit-webdav

Last updated

5 hours ago

Downloads

#可执行 API 示例

这些例子调用公开 MoonBit API，并随 moon test 执行。HTTP(S) 传输由 Node 宿主提供，使用方式见 README。

///|
test "PROPPATCH escaping and method" {
  let r = @webdav.proppatch("/a b", [("displayname", "A&B<C")])
  assert_eq(r.verb, "PROPPATCH")
  assert_eq(r.target, "/a%20b")
  assert_true(r.body.contains("A&amp;B&lt;C"))
  assert_true(
    try {
      ignore(@webdav.proppatch("/", []))
      false
    } catch {
      _ => true
    },
  )
}

///|
test "mixed XML properties and lock request" {
  let value = @webdav.parse_xml(
    "<x:note xmlns:x='urn:example' xml:lang='zh'>前<x:b>中</x:b>后</x:note>",
  )
  assert_eq(value.text_content(), "前中后")
  assert_eq(@webdav.parse_xml(value.to_xml()), value)
  let patch = @webdav.set_properties("/文档", [value], [
    ("urn:example", "old"),
  ])
  assert_eq(patch.verb, "PROPPATCH")
  assert_true(patch.body.contains("D:remove"))
  let lock = @webdav.lock_request("/文档", "owner", depth="0")
  assert_eq(lock.verb, "LOCK")
  let refresh = @webdav.refresh_lock("/文档", "urn:uuid:test")
  assert_eq(refresh.headers.get("If"), Some("(<urn:uuid:test>)"))
}

XML 保留展开名称、属性和混合内容；不保留原前缀、注释或 PI。拒绝 DTD/外部实体。网络与独立服务器复现见 TESTING.md。

DavError

source

pub suberror DavError {
  Invalid(String)
} derive(@moonbitlang/core/debug.Debug
Debug)

DavError::to_repr

source

fn DavError::to_repr(DavError) -> @moonbitlang/core/debug.Repr
Repr

DavResponse

source

pub(all) struct DavResponse {
  hrefs : Array[String]
  status : Int?
  properties : Array[XmlProperty]
  description : String?
  location : String?
  errors : Array[XmlElement]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

DavResponse::equal

source

fn DavResponse::equal(DavResponse, DavResponse) -> Bool

DavResponse::not_equal

source

fn DavResponse::not_equal(x : DavResponse, y : DavResponse) -> Bool

DavResponse::to_json

source

fn DavResponse::to_json(DavResponse) -> Json

DavResponse::to_repr

source

fn DavResponse::to_repr(DavResponse) -> @moonbitlang/core/debug.Repr
Repr

LockInfo

source

pub(all) struct LockInfo {
  token : String?
  root : String?
  owner : XmlElement?
  scope : String
  depth : String
  timeout : String?
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

LockInfo::equal

source

fn LockInfo::equal(LockInfo, LockInfo) -> Bool

LockInfo::not_equal

source

fn LockInfo::not_equal(x : LockInfo, y : LockInfo) -> Bool

LockInfo::to_json

source

fn LockInfo::to_json(LockInfo) -> Json

LockInfo::to_repr

source

fn LockInfo::to_repr(LockInfo) -> @moonbitlang/core/debug.Repr
Repr

Property

source

pub(all) struct Property {
  uri : String
  name : String
  value : String
  status : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Property::equal

source

fn Property::equal(Property, Property) -> Bool

Property::not_equal

source

fn Property::not_equal(x : Property, y : Property) -> Bool

Property::to_json

source

fn Property::to_json(Property) -> Json

Property::to_repr

source

fn Property::to_repr(Property) -> @moonbitlang/core/debug.Repr
Repr

Request

source

pub(all) struct Request {
  verb : String
  target : String
  headers : Map[String, String]
  body : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Request::equal

source

fn Request::equal(Request, Request) -> Bool

Request::not_equal

source

fn Request::not_equal(x : Request, y : Request) -> Bool

Request::to_json

source

fn Request::to_json(Request) -> Json

Request::to_repr

source

fn Request::to_repr(Request) -> @moonbitlang/core/debug.Repr
Repr

Resource

source

pub(all) struct Resource {
  href : String
  status : Int?
  properties : Array[Property]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Resource::equal

source

fn Resource::equal(Resource, Resource) -> Bool

Resource::not_equal

source

fn Resource::not_equal(x : Resource, y : Resource) -> Bool

Resource::to_json

source

fn Resource::to_json(Resource) -> Json

Resource::to_repr

source

fn Resource::to_repr(Resource) -> @moonbitlang/core/debug.Repr
Repr

XmlAttribute

source

pub(all) struct XmlAttribute {
  uri : String
  name : String
  value : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

XmlAttribute::equal

source

fn XmlAttribute::equal(XmlAttribute, XmlAttribute) -> Bool

XmlAttribute::not_equal

source

fn XmlAttribute::not_equal(x : XmlAttribute, y : XmlAttribute) -> Bool

XmlAttribute::to_json

source

fn XmlAttribute::to_json(XmlAttribute) -> Json

XmlAttribute::to_repr

source

fn XmlAttribute::to_repr(XmlAttribute) -> @moonbitlang/core/debug.Repr
Repr

XmlContent

source

pub(all) enum XmlContent {
  Text(String)
  Element(XmlElement)
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

XmlContent::equal

source

fn XmlContent::equal(XmlContent, XmlContent) -> Bool

XmlContent::not_equal

source

fn XmlContent::not_equal(x : XmlContent, y : XmlContent) -> Bool

XmlContent::to_json

source

fn XmlContent::to_json(XmlContent) -> Json

XmlContent::to_repr

source

fn XmlContent::to_repr(XmlContent) -> @moonbitlang/core/debug.Repr
Repr

XmlElement

source

pub(all) struct XmlElement {
  uri : String
  name : String
  attributes : Array[XmlAttribute]
  content : Array[XmlContent]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

XmlElement::equal

source

fn XmlElement::equal(XmlElement, XmlElement) -> Bool

XmlElement::not_equal

source

fn XmlElement::not_equal(x : XmlElement, y : XmlElement) -> Bool

XmlElement::text_content

source

fn XmlElement::text_content(self : XmlElement) -> String

XmlElement::to_json

source

fn XmlElement::to_json(XmlElement) -> Json

XmlElement::to_repr

source

fn XmlElement::to_repr(XmlElement) -> @moonbitlang/core/debug.Repr
Repr

XmlElement::to_xml

source

fn XmlElement::to_xml(self : XmlElement) -> String raise DavError

XmlProperty

source

pub(all) struct XmlProperty {
  element : XmlElement
  status : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

XmlProperty::equal

source

fn XmlProperty::equal(XmlProperty, XmlProperty) -> Bool

XmlProperty::not_equal

source

fn XmlProperty::not_equal(x : XmlProperty, y : XmlProperty) -> Bool

XmlProperty::to_json

source

fn XmlProperty::to_json(XmlProperty) -> Json

XmlProperty::to_repr

source

fn XmlProperty::to_repr(XmlProperty) -> @moonbitlang/core/debug.Repr
Repr

copy_move

source

fn copy_move(verb : String, raw_path : String, destination : String, overwrite : Bool) -> Request raise DavError

if_resources

source

fn if_resources(conditions : Array[(String, Array[String])]) -> String raise DavError

Tagged lists: tokens within one resource list are ANDed. Resource lists are separate conditions.

if_tokens

source

fn if_tokens(tokens : Array[String]) -> String raise DavError

lock_request

source

fn lock_request(raw_path : String, owner : String, depth? : String, timeout? : String, shared? : Bool) -> Request raise DavError

parse_locks

source

fn parse_locks(source : String) -> Array[LockInfo] raise DavError

parse_multistatus

source

fn parse_multistatus(source : String) -> Array[Resource] raise DavError

Compatibility view; use parse_responses for namespaced XML attributes and mixed content.

parse_responses

source

fn parse_responses(source : String) -> Array[DavResponse] raise DavError

parse_xml

source

fn parse_xml(source : String) -> XmlElement raise DavError

Bounded XML 1.0 UTF-8 infoset parser. DTD/external entities are deliberately rejected.

path

source

fn path(raw : String) -> String raise DavError

property_xml

source

fn property_xml(name : String, value : String) -> String raise DavError

propfind

source

fn propfind(raw_path : String, depth : Int, properties : Array[String]) -> Request raise DavError

propfind_names

source

fn propfind_names(raw_path : String, depth : Int, properties : Array[(String, String)], names_only? : Bool) -> Request raise DavError

proppatch

source

fn proppatch(raw_path : String, properties : Array[(String, String)]) -> Request raise DavError

Set DAV properties atomically on the server; this only constructs the request.

refresh_lock

source

fn refresh_lock(raw_path : String, token : String, timeout? : String) -> Request raise DavError

set_properties

source

fn set_properties(raw_path : String, set : Array[XmlElement], remove : Array[(String, String)]) -> Request raise DavError

unlock_request

source

fn unlock_request(raw_path : String, token : String) -> Request raise DavError

Source Files

Site source Report issue Packages Build queue Skills Statistics

webdav

#可执行 API 示例

#DavError

#DavError::to_repr

#DavResponse

#DavResponse::equal

#DavResponse::not_equal

#DavResponse::to_json

#DavResponse::to_repr

#LockInfo

#LockInfo::equal

#LockInfo::not_equal

#LockInfo::to_json

#LockInfo::to_repr

#Property

#Property::equal

#Property::not_equal

#Property::to_json

#Property::to_repr

#Request

#Request::equal

#Request::not_equal

#Request::to_json

#Request::to_repr

#Resource

#Resource::equal

#Resource::not_equal

#Resource::to_json

#Resource::to_repr

#XmlAttribute

#XmlAttribute::equal

#XmlAttribute::not_equal

#XmlAttribute::to_json

#XmlAttribute::to_repr

#XmlContent

#XmlContent::equal

#XmlContent::not_equal

#XmlContent::to_json

#XmlContent::to_repr

#XmlElement

#XmlElement::equal

#XmlElement::not_equal

#XmlElement::text_content

#XmlElement::to_json

#XmlElement::to_repr

#XmlElement::to_xml

#XmlProperty

#XmlProperty::equal

#XmlProperty::not_equal

#XmlProperty::to_json

#XmlProperty::to_repr

#copy_move

#if_resources

#if_tokens

#lock_request

#parse_locks

#parse_multistatus

#parse_responses

#parse_xml

#path

#property_xml

#propfind

#propfind_names

#proppatch

#refresh_lock

#set_properties

#unlock_request

Source Files

DavError

DavError::to_repr

DavResponse

DavResponse::equal

DavResponse::not_equal

DavResponse::to_json

DavResponse::to_repr

LockInfo

LockInfo::equal

LockInfo::not_equal

LockInfo::to_json

LockInfo::to_repr

Property

Property::equal

Property::not_equal

Property::to_json

Property::to_repr

Request

Request::equal

Request::not_equal

Request::to_json

Request::to_repr

Resource

Resource::equal

Resource::not_equal

Resource::to_json

Resource::to_repr

XmlAttribute

XmlAttribute::equal

XmlAttribute::not_equal

XmlAttribute::to_json

XmlAttribute::to_repr

XmlContent

XmlContent::equal

XmlContent::not_equal

XmlContent::to_json

XmlContent::to_repr

XmlElement

XmlElement::equal

XmlElement::not_equal

XmlElement::text_content

XmlElement::to_json

XmlElement::to_repr

XmlElement::to_xml

XmlProperty

XmlProperty::equal

XmlProperty::not_equal

XmlProperty::to_json

XmlProperty::to_repr

copy_move

if_resources

if_tokens

lock_request

parse_locks

parse_multistatus

parse_responses

parse_xml

path

property_xml

propfind

propfind_names

proppatch

refresh_lock

set_properties

unlock_request