Sign in

    bpmn

    Portable BPMN document reading, writing and traversal

    Download zip
    Author
    Version
    0.2.0
    License
    Apache-2.0
    Last updated
    9 hours ago
    Downloads
    7

    No dependencies

    #moonrockz/bpmn

    Portable BPMN document values, a lossless namespace-aware XML CST, source maps, writing, structural validation, explicit reference resolution and containment walking. The module imports only MoonBit core. It reads decoded strings without filesystem, network, clock or environment access.

    #Reading stages

    read(source, source_id?, limits?) scans XML, constructs the owned CST, resolves namespace scopes and lowers supported BPMN values. An XML error prevents typed lowering. XML recovery keeps malformed regions and resumes at tag boundaries. tree.complete describes the XML stage; typed lowering can still report an unsupported BPMN element/field or exhaust the diagnostic budget.

    The XML stage supports XML 1.0 names, namespaces, quoted attributes, comments, processing instructions, CDATA, mixed text, the five predefined entities and numeric character references. Its rules follow XML 1.0, fifth edition and Namespaces in XML 1.0, third edition. Namespace names compare as literal strings. Declarations apply to the whole start tag, and a default namespace applies to elements. Ordinary unprefixed attributes have an empty namespace. Duplicate expanded attribute names fail. The reserved xml binding is present without a declaration.

    ///|
    test "inspect XML namespaces and mixed content without a renderer" {
    let source = "<r xmlns='urn:r' xmlns:p='urn:p' p:a='&#x1F600;'>left<![CDATA[<raw>&]]><p:c/>right</r>"
    let result = @bpmn.read(source)
    assert_eq(result.tree.text(), source)
    assert_true(result.tree.complete)
    let root = result.tree.nodes[1]
    assert_eq(root.name.unwrap().namespace_uri, "urn:r")
    assert_eq(root.attributes[2].value, "šŸ˜€")
    assert_eq(root.children.map(i => result.tree.nodes[i].kind).iter().to_array(), [Text, CData, Element, Text])
    // This XML vocabulary has no typed BPMN projection yet.
    assert_eq(result.document, None)
    }

    The CST has flat, immutable nodes and lexical tokens. Node zero is the document; child and parent indexes refer to that CST. Element nodes expose raw and expanded names, ordered attributes, local namespace declarations, child indexes and source spans. Text/CDATA values are decoded and normalized; processing-instruction values contain data after the target. Each token retains its original text and half-open UTF-16 span. Tokens partition the source. Use tree.text() to reproduce the original spelling, including invalid XML.

    Literal CRLF and CR become LF in decoded values. Literal attribute whitespace becomes spaces; referenced whitespace retains its referenced character. CDATA and processing instructions do not expand references. Outside the root, only literal XML whitespace is allowed; references to whitespace are errors. Malformed comments, forbidden characters, invalid scalars and undeclared entities give findings. DTD, entity and other markup declarations are prohibited, with no expansion or resource resolution. Neither schema locations nor namespace URIs cause I/O.

    Input is already decoded. The optional XML declaration must name version 1.0; accepted encoding labels are case-insensitive UTF-8 and US-ASCII. An ASCII declaration fails if the input has non-ASCII characters. File decoding belongs to a host adapter. An initial Unicode BOM is retained in source reproduction.

    #Source locations

    Offsets and columns count UTF-16 code units; lines and columns start at one. CRLF is one line break. source_map.position(offset) and location(span) reject out-of-range offsets. Diagnostics have a stable code, severity, message and optional span/location. A supplied source ID is data, not a path to open.

    ///|
    test "a diagnostic after an emoji uses source coordinates" {
    let result = @bpmn.read("<r>\r\nšŸ˜€<p:x/></r>", source_id="memory:example")
    let location = result.diagnostics[0].location.unwrap()
    assert_eq(location.source_id, Some("memory:example"))
    assert_eq(location.start.line, 2)
    assert_eq(location.start.column, 4)
    assert_eq(result.document, None)
    }

    #Processing limits

    All Limits::new fields are inclusive and must be positive.

    FieldDefaultWhat it bounds
    source_units16,777,216Decoded source in UTF-16 units
    output_units16,777,216Complete generated XML in UTF-16 units
    nodes1,000,000Document, element/content nodes, attributes and namespace declarations
    depth4,096Element depth, including empty elements
    token_units1,048,576One lexical token or complete attribute/text value
    diagnostics256Findings shared by XML reading and typed lowering

    A limit finding prevents a successful typed document. The diagnostic that exceeds the finding budget replaces its last slot with xml/diagnostic-limit. Reading stops at a parser limit. The remaining raw source is retained as one error preservation token, exempt from token size; it is not decoded or expanded. Oversized source is rejected before constructing a source map or node arena. Its finding identifies offset zero and the source ID. Invalid limits produce one configuration finding without an invented source location, even when the configured diagnostic limit is zero. Source reproduction remains available.

    ///|
    test "limit exhaustion preserves the complete source" {
    let source = "<r><s/></r>"
    let result = @bpmn.read(source, limits=@bpmn.Limits::new(depth=1))
    assert_eq(result.tree.text(), source)
    assert_eq(result.document, None)
    assert_eq(result.diagnostics[0].code, "xml/depth-limit")
    }

    #XML diagnostic inventory

    All codes below have error severity. BPMN lowering codes are separate.

    CodeMeaning
    xml/invalid-limitsAt least one configured bound is not positive
    xml/source-limitSource exceeds its UTF-16 bound
    xml/node-limitNode/attribute records exceed their bound
    xml/depth-limitElement depth exceeds its bound
    xml/token-limitA lexical token or attribute/text value is too large
    xml/diagnostic-limitThe next finding exceeds the shared budget
    xml/invalid-characterA literal character is forbidden in XML 1.0
    xml/invalid-nameAn element/attribute name is not a qualified XML name
    xml/invalid-tagAttribute quoting, spacing or tag punctuation is malformed
    xml/unclosed-tagAn open element remains at end of input
    xml/mismatched-tagA closing tag does not match the current open element
    xml/duplicate-attributeAttribute expanded names or namespace declarations repeat
    xml/undeclared-prefixA qualified element/attribute uses an unbound prefix
    xml/invalid-namespaceA reserved binding or prefix undeclaration is invalid
    xml/character-referenceA reference is malformed, undeclared or not an XML scalar
    xml/outside-rootNon-whitespace text or CDATA occurs outside the document element
    xml/root-requiredThe source does not contain exactly one document element
    xml/invalid-commentA comment contains -- or ends with -
    xml/unclosed-commentA comment has no closing delimiter
    xml/unclosed-cdataA CDATA section has no closing delimiter
    xml/invalid-piA processing instruction has an invalid or reserved target
    xml/unclosed-piA processing instruction has no closing delimiter
    xml/invalid-declarationThe declaration has invalid position, version or pseudo-attributes
    xml/encodingThe declared encoding is unsupported or conflicts with the decoded input
    xml/prohibited-declarationDTD/entity/other markup declarations are prohibited
    xml/cdata-close]]> occurs in ordinary character data

    ///|
    test "the documented inventory agrees with the exported codes" {
    assert_eq(@bpmn.xml_diagnostic_codes.iter().to_array(), [
    "xml/invalid-limits", "xml/source-limit", "xml/node-limit", "xml/depth-limit",
    "xml/token-limit", "xml/diagnostic-limit", "xml/invalid-character",
    "xml/invalid-name", "xml/invalid-tag", "xml/unclosed-tag", "xml/mismatched-tag",
    "xml/duplicate-attribute", "xml/undeclared-prefix", "xml/invalid-namespace",
    "xml/character-reference", "xml/outside-root", "xml/root-required",
    "xml/invalid-comment", "xml/unclosed-comment", "xml/unclosed-cdata",
    "xml/invalid-pi", "xml/unclosed-pi", "xml/invalid-declaration", "xml/encoding",
    "xml/prohibited-declaration", "xml/cdata-close",
    ])
    }

    #Typed BPMN values and writing

    The five frozen BPMN 2.0.2 schemas drive the standard Kind alternatives, TypeId, type derivation, substitution groups, fields, occurrence bounds, choices and named enumeration types. schema_types, schema_elements, schema_fields and schema_groups expose this read-only inventory. Run mise run bpmn-schema:generate to regenerate it. validate:bpmn-schema checks input digests and byte-identical regeneration, including the declaration coverage manifest under tests/corpus/bpmn-2.0.2/coverage.json.

    Element holds a standard kind, schema type identity, typed Scalar attributes, optional scalar text, and ordered Content. Content distinguishes text, elements, comments and inert processing instructions. Constructors copy input collections into read-only arrays. Updating an element returns a new value. Parsed elements retain their effective namespace context in a shared immutable core map, so content updates keep inherited QName bindings and prefix shadowing without copying every ancestor binding into every descendant. Document holds its root plus ordered prolog and epilog comments/instructions. Outside-root whitespace is source trivia and is omitted from document values.

    Definitions, Import, BaseElement, RootElement and Documentation give typed foundation construction or inspection. Abstract base/root views require a concrete element whose schema type derives from that base. Process and collaboration wrappers cover activities, subprocesses, calls, loop and multi-instance values, events/definitions, gateways, flows, pools/participants, lanes, data, artifacts, resources and shared definitions. The generated typed_model_types and typed_model_fields inventories let qualification check every selected schema type and inherited field. Choreography, conversation, BPMNDI/DI/DC and preserved vendor XML are also qualified. Every complex type in the five frozen schemas has a typed view, including the anonymous DI extension container. Unknown standard elements or unknown types give findings and remain available as preserved XML inside the document. Foreign namespace content does not require a vendor plugin. Structure validation, reference-resource resolution and full traversal follow in later groups. Reading or writing does not validate all BPMN constraints.

    ///|
    test "construct immutable foundations without inserting defaults" {
    let documentation = @bpmn.Documentation::new([Text("Review & approve")])
    let process = @bpmn.Element::new(Process, attributes=[("id", "P")], children=[documentation.element])
    let definitions = @bpmn.Definitions::new("urn:example", children=[process])
    let document = definitions.document()
    assert_eq(definitions.roots()[0].base().id(), Present("P"))
    assert_eq(process.boolean("isExecutable"), Absent)
    assert_eq(documentation.text_format(), Absent)
    let compact = @bpmn.write(document)
    let pretty = @bpmn.write(document, format=Pretty)
    assert_false(compact.contains("textFormat"))
    assert_eq(@bpmn.read(compact).document, Some(document))
    assert_eq(@bpmn.read(pretty).document, Some(document))
    }

    Field[T] distinguishes Absent, Present(value) and InvalidValue(scalar). Absent schema defaults stay absent. Booleans, identifiers, URIs, exact integers, exact numeric tokens, references and generated enumeration alternatives have separate Scalar cases. ExactNumber retains the DI token without passing through a host float. Decimal fractions and exponent tokens therefore keep all digits. XML Schema double also admits INF, -INF and NaN; is_finite() distinguishes them. ExactInteger has no host integer-size limit; fields declared as XML Schema int enforce its signed 32-bit range. String whitespace is retained; token, URI, numeric and reference types apply their schema whitespace policy. Invalid scalar spellings remain inspectable in a typed document with findings, and cannot be written as valid values.

    References retain original spelling plus expanded namespace identity. ReferenceKind::Id uses a local NCName; QName resolves prefixes against explicit bindings. No external document is opened. Construct references from an ExpandedName to avoid inventing a source prefix. Element::new accepts string attributes with explicit local bindings; Element::from_values accepts typed attributes, optional typed scalar text and ordered content. A local child name whose schema type depends on its parent needs an explicit value_type when constructed outside that context. The writer rejects a missing or conflicting type identity instead of producing a document that reads back differently. An explicit type override adds the corresponding xsi:type reference so it survives serialization. No IDs or DI are generated.

    ///|
    test "constructed references carry expanded identity" {
    let source = @bpmn.Reference::new(@bpmn.ExpandedName::new("urn:other", "Task"))
    let flow = @bpmn.Element::from_values(MessageFlow, values=[
    @bpmn.Attribute::new(@bpmn.ExpandedName::new("", "sourceRef"), Reference(source)),
    ])
    let document = @bpmn.Definitions::new("urn:example", children=[flow]).document()
    let xml = @bpmn.write(document)
    assert_true(xml.contains("xmlns:ns1=\"urn:other\""))
    assert_true(xml.contains("sourceRef=\"ns1:Task\""))
    assert_eq(@bpmn.read(xml).document, Some(document))
    }

    #Equality, source reproduction and canonical output

    Document equality compares standard kind/type, expanded attribute names, typed scalar values and ordered semantic content. It ignores source spans, raw prefix aliases, attribute ordering and element-only formatting whitespace. Adjacent text/CDATA normalize to text values. Mixed content, comments, processing instructions and inherited xml:space are retained. Exact number tokens compare exactly. Namespace aliases on known QName values compare by expanded identity.

    tree.text() reproduces the source bytes represented by the decoded string, including quote style, CDATA, declarations and invalid regions. write produces this library's deterministic XML format, not XML C14N. The default is compact; format=Pretty uses two spaces for element-only content. Both keep mixed text and containment order. Pretty output adds no whitespace inside mixed content, scalar elements or an inherited xml:space='preserve' scope.

    Canonical namespaces use bpmn, bpmndi, dc, di, xml and xsi for known URIs, and ns1, ns2, ... for other used QName identities in sorted lexical URI order. Known bindings are declared at the root. Unused aliases on ordinary known values disappear. Attributes sort by namespace URI, then local name. Namespace names are literal strings; they do not trigger I/O. Known QName tokens are rewritten with matching bindings. Preserved XML and opaque attributes retain their effective bindings in local scopes. Their source prefixes are retained when valid, and canonical parent prefixes cannot rebind opaque values.

    ///|
    test "source reproduction and canonical writing serve different purposes" {
    let source = "<d:definitions xmlns:d='http://www.omg.org/spec/BPMN/20100524/MODEL' targetNamespace='urn:example'><d:process id='P'/></d:definitions>"
    let result = @bpmn.read(source)
    assert_eq(result.tree.text(), source)
    let document = result.document.unwrap()
    let canonical = @bpmn.write(document)
    assert_false(canonical == source)
    assert_eq(@bpmn.read(canonical).document, Some(document))
    assert_eq(@bpmn.write(@bpmn.read(canonical).document.unwrap()), canonical)
    }

    #Writer failures and limits

    try_write(document, format?, limits?) returns WriteResult with either complete output or diagnostics. It never exposes a partial buffer. write is a convenience API that returns the string or raises WriteError::Failed(diagnostics). This adds a checked error to the earlier provisional convenience API.

    The writer checks XML names/characters, namespace bindings, duplicate expanded attributes, typed scalar consistency, comments and processing instructions. It rejects unbound QName references, invalid scalars and incompatible xsi:type values. Namespace bindings must obey XML reserved-prefix rules. Comments cannot contain -- or end with -. Comment/PI CR and leading PI data whitespace are rejected because XML normalization would change their value. Construct text CR is preserved through a character reference instead.

    ///|
    test "invalid QName binding returns an explicit failure" {
    let flow = @bpmn.Element::new(MessageFlow, attributes=[("sourceRef", "missing:T")])
    let document = @bpmn.Definitions::new("urn:example", children=[flow]).document()
    let result = @bpmn.try_write(document)
    assert_eq(result.output, None)
    assert_eq(result.diagnostics[0].code, "bpmn/unbound-qname")
    let reserved = @bpmn.Element::new(Definitions, bindings=[("xml", "urn:wrong")])
    assert_eq(@bpmn.try_write(@bpmn.Document::new(reserved)).diagnostics[0].code, "bpmn/namespace-conflict")
    }

    The writer uses explicit stacks for preflight and emission, including very deep constructed documents. It checks depth and node/attribute/binding counts before descending. It bounds complete output and individual escaped tokens before appending. Canonical namespace declarations count toward output records. Input and output record counts each obey nodes; neither is the sum of both passes. Pretty indentation also obeys the token/output bounds. Limits must be positive; source_units applies to reading, while output_units applies to writing. Writer failure produces one error with an optional original span. Constructed values have no invented source location.

    Writer codes are bpmn/output-limit, bpmn/write-node-limit, bpmn/write-depth-limit, bpmn/write-token-limit, bpmn/write-invalid-limits, bpmn/forbidden-text, bpmn/invalid-name, bpmn/namespace-conflict, bpmn/invalid-scalar, bpmn/scalar-type-mismatch, bpmn/unbound-qname, bpmn/type-conflict, bpmn/duplicate-attribute, bpmn/invalid-content, bpmn/invalid-comment, bpmn/invalid-pi, bpmn/outside-root, bpmn/definitions-required and bpmn/unsupported-type. Lowering uses bpmn/unsupported-element, bpmn/unsupported-type, bpmn/unsupported-attribute, bpmn/invalid-scalar, bpmn/unbound-qname and bpmn/definitions-required. These findings do not change the XML CST's completeness. A simple walk visits containment in preorder and never follows reference attributes.

    #Typed process and collaboration APIs

    Named wrappers expose their immutable element and schema-typed accessors. UserTask::from_element, for example, checks type derivation before returning a view. FlowElement, Activity, CatchEvent and other abstract wrappers can inspect their concrete subtypes. new constructors exist for concrete global elements. Constructor arguments include inherited attributes with their scalar, reference or named enum type. Child order is explicit in contents.

    Single child accessors return Field[T]. Repeated children return Field[ReadOnlyArray[T]]; no children gives Absent. A mismatched scalar or child type gives InvalidValue, and a duplicate singleton child is invalid. The original ordered elements remain available on element.children. Names use snake case; reserved words gain _, as in default_ and method_. The BPMN Error wrapper is BpmnError because Error is reserved by MoonBit.

    ///|
    test "construct and inspect a typed process" {
    let task = @bpmn.UserTask::new(id="Review", name="Review request", implementation=Unspecified)
    let process = @bpmn.Process::new(id="P", is_executable=false, contents=[Element(task.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[process.element]).document()
    assert_eq(task.is_for_compensation(), Absent)
    assert_eq(process.flow_element().value().unwrap()[0].element.kind, UserTask)
    let reread = @bpmn.read(@bpmn.write(document)).document.unwrap()
    let view = @bpmn.Process::from_element(reread.root.children[0]).unwrap()
    assert_eq(view.is_executable(), Present(false))
    assert_eq(@bpmn.UserTask::from_element(view.flow_element().value().unwrap()[0].element).unwrap().name(), Present("Review request"))
    }

    References keep their schema distinction. A sequence-flow endpoint is an ID reference; message-flow endpoints and participant process references are QNames. Use kind=Id when constructing an ID reference. The writer reports a mismatch rather than changing one alternative into another. Formal expressions remain inert text. To put one under a property name such as conditionExpression, use with_kind; its explicit type identity is retained through xsi:type.

    ///|
    test "construct descriptive conditions and ID references" {
    let condition = @bpmn.FormalExpression::new(language="urn:description", contents=[Text("approved == true")]).element.with_kind(ConditionExpression)
    let flow = @bpmn.SequenceFlow::new(id="F", source_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "A"), kind=Id), target_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "B"), kind=Id), contents=[Element(condition)])
    let process = @bpmn.Process::new(id="P", contents=[Element(@bpmn.Task::new(id="A").element), Element(@bpmn.Task::new(id="B").element), Element(flow.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[process.element]).document()
    assert_eq(flow.condition_expression().value().unwrap().element.content, "approved == true")
    assert_eq(@bpmn.read(@bpmn.write(document)).document, Some(document))
    }

    ///|
    test "construct a collaboration independently of rendering" {
    let buyer = @bpmn.Process::new(id="Buyer", contents=[Element(@bpmn.SendTask::new(id="Send").element)])
    let seller = @bpmn.Process::new(id="Seller", contents=[Element(@bpmn.ReceiveTask::new(id="Receive").element)])
    let buyer_pool = @bpmn.Participant::new(id="BuyerPool", process_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Buyer")))
    let seller_pool = @bpmn.Participant::new(id="SellerPool", process_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Seller")))
    let message = @bpmn.MessageFlow::new(id="Request", source_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Send")), target_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Receive")))
    let collaboration = @bpmn.Collaboration::new(id="Exchange", contents=[Element(buyer_pool.element), Element(seller_pool.element), Element(message.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[buyer.element, seller.element, collaboration.element]).document()
    assert_eq(collaboration.participant().value().unwrap().length(), 2)
    assert_eq(@bpmn.read(@bpmn.write(document, format=Pretty)).document, Some(document))
    }

    Construction can represent an incomplete intermediate value. The writer checks XML/scalar representability and type identity; required-field and structural validation are completed in group 6. These document APIs do not expand the current renderer's coverage or execute conditions, events, loops or scripts.

    The unpublished corpus compares core identities, containment, references and minimal DI with bpmn-moddle@10.3.1. mise run bpmn-corpus:reference refreshes those frozen JSON fixtures using its private lockfile. Ordinary module tests use the committed data, without JavaScript dependencies or resource access. See tests/corpus/bpmn-model/README.md for normalization rules and the explicit GlobalScriptTask schema/reference difference. Exact numeric preservation and source order have separate four-target laws, beyond the reference's numeric and property-order conventions.

    #Choreography, conversation and DI values

    Choreography, GlobalChoreographyTask, ChoreographyTask, SubChoreography and CallChoreography retain participant/message references, nested flow content, associations and loop descriptions. Conversation, SubConversation, CallConversation, GlobalConversation, links and associations have their own typed views. These are document values. Choreography/conversation rendering is explicitly deferred, and the adapter returns bpmn/unsupported-view for those views. They are not converted into generic tasks.

    ///|
    test "construct a choreography document without rendering it" {
    let task = @bpmn.ChoreographyTask::new(id="Exchange", initiating_participant_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "A")), contents=[
    Element(@bpmn.Element::new(ParticipantRef, content="A")),
    Element(@bpmn.Element::new(ParticipantRef, content="B")),
    Element(@bpmn.Element::new(MessageFlowRef, content="M")),
    ])
    let flow = @bpmn.MessageFlow::new(id="M", source_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "A")), target_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "B")))
    let choreography = @bpmn.Choreography::new(id="C", contents=[Element(@bpmn.Participant::new(id="A").element), Element(@bpmn.Participant::new(id="B").element), Element(flow.element), Element(task.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[choreography.element]).document()
    assert_eq(task.loop_type(), Absent)
    assert_eq(@bpmn.read(@bpmn.write(document)).document, Some(document))
    }

    ///|
    test "construct a conversation and its participant links" {
    let conversation = @bpmn.Conversation::new(id="Order", name="Order details", contents=[Element(@bpmn.Element::new(ParticipantRef, content="Buyer")), Element(@bpmn.Element::new(ParticipantRef, content="Seller"))])
    let link = @bpmn.ConversationLink::new(id="BuyerLink", source_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Buyer")), target_ref=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "Order")))
    let collaboration = @bpmn.Collaboration::new(id="C", contents=[Element(@bpmn.Participant::new(id="Buyer").element), Element(@bpmn.Participant::new(id="Seller").element), Element(conversation.element), Element(link.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[collaboration.element]).document()
    assert_eq(collaboration.conversation_node().value().unwrap().length(), 1)
    assert_eq(@bpmn.read(@bpmn.write(document)).document, Some(document))
    }

    BpmnDiagram, BpmnPlane, BpmnShape, BpmnEdge, BpmnLabel and BpmnLabelStyle expose the BPMNDI fields. Di* views expose their DI bases; DcBounds, DcPoint and DcFont retain exact numeric tokens and display flags. A document can have multiple diagrams/planes or no DI. Diagram-element IDs, label styles, waypoints and participant-band references remain distinct fields.

    ///|
    test "construct exact DI bounds and a plane" {
    let bounds = @bpmn.DcBounds::new(x=@bpmn.ExactNumber::parse("123.456789012345678901").unwrap(), y=@bpmn.ExactNumber::parse("0").unwrap(), width=@bpmn.ExactNumber::parse("100").unwrap(), height=@bpmn.ExactNumber::parse("80").unwrap())
    let shape = @bpmn.BpmnShape::new(id="Shape", bpmn_element=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "T")), is_expanded=false, contents=[Element(bounds.element)])
    let plane = @bpmn.BpmnPlane::new(id="Plane", bpmn_element=@bpmn.Reference::new(@bpmn.ExpandedName::new("", "P")), contents=[Element(shape.element)])
    let diagram = @bpmn.BpmnDiagram::new(id="Diagram", contents=[Element(plane.element)])
    let process = @bpmn.Process::new(id="P", contents=[Element(@bpmn.Task::new(id="T").element)])
    let document = @bpmn.Definitions::new("urn:example", children=[process.element, diagram.element]).document()
    assert_eq(shape.bounds().value().unwrap().x().value().unwrap().token, "123.456789012345678901")
    assert_eq(@bpmn.read(@bpmn.write(document, format=Pretty)).document, Some(document))
    }

    #Preserved XML and opaque namespace scopes

    XmlElement and XmlContent construct preserved XML from expanded names, string-valued attributes, ordered text/elements/comments/instructions and explicit namespace bindings. Insert its element under an extension container. element.xml() inspects foreign or unsupported standard XML. A known BPMN name inside an opaque payload stays XML payload data, with no inferred BPMN meaning. opaque_attributes() exposes uninterpreted fields on an otherwise typed node.

    Parsed payloads keep their complete effective namespace context in shared immutable maps, including inherited and unused bindings. namespace_binding on either Element or XmlElement queries this captured scope. Constructed standalone values expose their explicit bindings; a constructed tree inherits bindings from its containing values. Copying a parsed payload keeps its captured context. Prefix shadowing is kept locally, including when a vendor uses bpmn for another URI. Names use source prefixes inside preserved scopes and fresh aliases when required. No existing binding is silently reassigned to change an opaque value.

    ///|
    test "construct a mixed vendor extension with a QName-sensitive value" {
    let payload = @bpmn.XmlElement::new(@bpmn.ExpandedName::new("urn:vendor", "payload"), attributes=[(@bpmn.ExpandedName::new("", "ref"), "q:Target")], contents=[Text("before "), Comment("inert"), Text(" after")], bindings=[("q", "urn:target"), ("unused", "urn:retained")])
    let extensions = @bpmn.ExtensionElements::new(contents=[Element(payload.element)])
    let process = @bpmn.Process::new(id="P", contents=[Element(extensions.element)])
    let document = @bpmn.Definitions::new("urn:example", children=[process.element]).document()
    let copy = @bpmn.read(@bpmn.write(document)).document.unwrap()
    let retained = copy.root.children[0].children[0].children[0].xml().unwrap()
    assert_eq(retained.namespace_binding("q"), Some("urn:target"))
    assert_eq(retained.namespace_binding("unused"), Some("urn:retained"))
    assert_eq(copy, document)
    }

    Unknown standard elements give bpmn/unsupported-element. Unknown xsi:type values give bpmn/unsupported-type; the affected subtree remains opaque XML. Unknown standard attributes give bpmn/unsupported-attribute and retain their value. These findings can coexist with an inspectable, writable document. Its CST still reproduces the original text. A root with an unknown type can have no Definitions view, while its preserved root remains inspectable. A syntax error or processing-limit failure still prevents a successful complete document.

    Opaque equality compares expanded names, raw values, ordered content, the default namespace and bindings used by QName-looking tokens. It does not claim to understand vendor semantics. The writer separately retains every original binding, including bindings whose use is unknown. Prefixes that were unbound in opaque tokens are kept unbound; canonical prefix allocation avoids those names. If a copied closed scope would require undeclaring an inherited nonempty prefix, XML Namespaces 1.0 cannot represent it, so writing returns bpmn/namespace-conflict. An empty-namespace identity conflicting with a preserved default namespace also returns that error. No partial XML is exposed.

    Namespace output uses only changed declarations. Source contexts and changes share immutable data across siblings; the acceptance suite exercises wide scopes with 1,000 bindings and 2,000 shadowing children. Preserved declarations, names and escaped values obey the same node, token and output limits as known BPMN data. No vendor text, URI or expression triggers I/O or execution.

    The provisional group-4 API returned raw Element values from collaboration conversation-node, conversation-link and conversation-association accessors. These accessors now return their respective typed views. Use .element when an existing caller needs the underlying element.

    #Structural validation and explicit reference resources

    validate_structure(document, resource_id?, limits?) returns an immutable source-order DocumentIndex and structural findings. It checks required fields, occurrences, sequence order, schema choices, abstract declarations, scalar alternatives and containment types across every generated schema family. IDs come from declared ID fields. IDs inside opaque XML do not become BPMN targets. index.lookup(id) returns Found, Ambiguous, Missing or Incomplete. Duplicate occurrences retain their source order.

    resolve_references(index, resources?, resource_id?, limits?) checks all 114 declared QName/IDREF fields against reference_rules. The semantic target table supplements XSD primitive types with the BPMN 2.0.2 metamodel, including its normative CMOF. Checks include target kinds, boundary attachments, sequence-flow scope, default/incoming/outgoing endpoints and lane membership. DI plane references must name one of the allowed process, collaboration or choreography containers. This does not validate execution, expressions, vendor semantics or every BPMN modeling constraint. It never simulates tokens or evaluates conditions.

    validate(document, ...) combines both stages. validate_read(read_result, ...) also retains earlier findings with explicit Syntax, Structure or References stages. complete means processing finished within bounds. A complete result can have error findings and still retain the original inspectable document.

    ///|
    test "validate a valid process and inspect incomplete authored fields" {
    let task=@bpmn.Task::new(id="T")
    let process=@bpmn.Process::new(id="P",contents=[Element(task.element)])
    let document=@bpmn.Definitions::new("urn:example",children=[process.element]).document()
    let valid=@bpmn.validate(document)
    assert_true(valid.complete)
    assert_eq(valid.findings,[])
    assert_true(valid.index.unwrap().lookup("T") is Found(_))
    let bad=@bpmn.SequenceFlow::new(id="MissingEndpoints")
    let document=@bpmn.Definitions::new("urn:example",children=[@bpmn.Process::new(contents=[Element(bad.element)]).element]).document()
    let invalid=@bpmn.validate(document)
    assert_true(invalid.complete)
    assert_eq(invalid.document,Some(document))
    assert_true(invalid.findings.iter().any(f => f.diagnostic.code == "bpmn/required-field" && f.element_id == Some("MissingEndpoints")))
    assert_true(invalid.findings.iter().all(f => f.diagnostic.location == None))
    }

    ResourceSet::new(documents?, external?) copies caller arrays. A DocumentResource has a literal location key and a typed document. Import lookup uses exactly that key, declared namespace and import type. The caller handles relative paths or URLs before supplying the set. A supplied resource becomes visible only through the root's direct or transitive imports. Cycles stop at already visited resources. Two keys can supply documents with the same target namespace; duplicate target IDs then produce ambiguity. Duplicate location keys produce an ambiguous-import finding. No candidate wins by array order.

    An ExternalResource supplies a location, namespace, import type and explicit NCName symbol identities for another language. This is a symbol table supplied by the caller, not a parser or validator for XML Schema, WSDL or vendor content. External symbols can satisfy generic language references, and cannot satisfy a reference that requires a BPMN process, task or other specific BPMN type.

    ///|
    test "resolve an imported process using only explicit resources" {
    let model="http://www.omg.org/spec/BPMN/20100524/MODEL"
    let imported=@bpmn.Definitions::new("urn:imported",children=[@bpmn.Process::new(id="Reusable").element]).document()
    let reference=@bpmn.Reference::new(@bpmn.ExpandedName::new("urn:imported","Reusable"))
    let participant=@bpmn.Participant::new(id="Pool",process_ref=reference)
    let document=@bpmn.Definitions::new("urn:main",children=[@bpmn.Import::new("urn:imported","reusable.bpmn",model).element,@bpmn.Collaboration::new(contents=[Element(participant.element)]).element]).document()
    let resources=@bpmn.ResourceSet::new(documents=[@bpmn.DocumentResource::new("reusable.bpmn",imported)])
    let index=@bpmn.validate_structure(document).index
    let result=@bpmn.resolve_references(index,resources~)
    assert_eq(result.findings,[])
    assert_true(result.resolve(reference) is Found(found) && found.resource_id == Some("reusable.bpmn"))
    let missing=@bpmn.resolve_references(index)
    assert_true(missing.complete)
    assert_true(missing.findings.iter().any(f => f.diagnostic.code == "bpmn/unresolved-import"))
    }

    IDREF and empty-namespace QName values are document-local. Every nonempty QName namespace matches a definitions target namespace literally. XML default namespaces apply to QName values too. A model-vocabulary namespace is not an alias for the current target namespace. Bind a prefix to the intended target namespace when needed. This policy preserves expanded identity through writing and prevents a qualified reference from falling back to a same-named local ID. Missing unrelated imports remain findings while local queries still work. resolve returns Found, External, Ambiguous, Unresolved, Invalid or Limit; the original reference value always remains available.

    Source-backed elements and attributes retain their own immutable source origin. location() stays correct when they are copied between documents. New or edited element values have no element span. Unchanged copied attributes can still have their original locations. Findings identify the owner ID and field without inventing locations for constructed values. Source provenance is excluded from document semantic equality.

    Validation uses Limits. Structure counts document, element, content, attribute and namespace records; depth and token bounds are inclusive. An index built after limit exhaustion cannot answer a lookup as missing. Reference resources share the node budget across imported documents and external symbols. Candidate visits and matched target occurrences consume a separate query-work budget of limits.nodes across field resolution, and each explicit resolve call gets that budget independently. Namespace and ID indexes avoid scanning unrelated resources. Diagnostic overflow replaces the final slot with the limit finding.

    The exported diagnostic inventory below is checked by this runnable example. All listed codes have error severity.

    ///|
    test "document the complete structural and reference diagnostic inventory" {
    let codes : ReadOnlyArray[String] = [
    "bpmn/validation-invalid-limits", // A bound is not positive.
    "bpmn/validation-node-limit", // Structure record budget exhausted.
    "bpmn/validation-depth-limit", // Containment depth exhausted.
    "bpmn/validation-token-limit", // One value exceeds its token bound.
    "bpmn/validation-diagnostic-limit", // Finding budget exhausted.
    "bpmn/duplicate-id", // Multiple declared IDs have the same value.
    "bpmn/required-field", // Required field or selected branch is absent.
    "bpmn/field-cardinality", // Too many occurrences of one field.
    "bpmn/invalid-containment", // Wrong root, child or text containment.
    "bpmn/child-order", // Child is outside schema sequence order.
    "bpmn/choice-conflict", // Multiple choice branches are present.
    "bpmn/abstract-element", // Abstract declaration was instantiated.
    "bpmn/invalid-field", // Undeclared field or invalid scalar alternative.
    "bpmn/invalid-type", // Incompatible actual or containment type.
    "bpmn/unresolved-reference", // No identity in the explicit import closure.
    "bpmn/ambiguous-reference", // Several identities match.
    "bpmn/invalid-reference", // Invalid/unbound QName, IDREF or external symbol.
    "bpmn/wrong-reference-kind", // Identity exists with an incorrect type.
    "bpmn/sequence-flow-scope", // Flow endpoint crosses its flow scope.
    "bpmn/boundary-attachment", // Attachment is outside the owning flow scope.
    "bpmn/reference-endpoint", // Default, lane, incoming/outgoing inconsistency.
    "bpmn/unresolved-import", // Location key was not supplied.
    "bpmn/ambiguous-import", // Several resources have the same location key.
    "bpmn/import-namespace", // Import and supplied namespace differ.
    "bpmn/import-type", // Import and supplied resource type differ.
    "bpmn/resource-limit", // Resource or lookup-work budget exhausted.
    ]
    assert_eq(@bpmn.validation_diagnostic_codes,codes)
    }

    #Read-only traversal

    DocumentTree::new(document, resource_id?, limits?) builds an immutable index over the existing document values. It does not require semantic validity and does not resolve references. Its document root contains prolog content, the definitions element and epilog content. Element children include retained text, comments and processing instructions, with vendor XML in original model order. XML formatting trivia omitted during typed lowering stays in the lossless CST.

    NodeRef exposes value, category, XML kind, declared id, attributes, scalar, fields, children, parent, step, depth, span, location, resource_id, path and handle. A NodeField groups present attributes and children without adding defaults. Known containment uses schema field names, including substitution heads such as flowElement; opaque children use their expanded XML names. PathField distinguishes named fields, text, comments, PI, root, prolog and epilog. PathStep records the index within that field and the absolute ordered-content index. Unbound attribute names remain inspectable via attributes, without an invented expanded identity.

    A NodePath is a constant-size view; steps() allocates the requested path. Depth and paths are relative to the document root, including when a traversal starts at a subtree. Source-backed content has optional source locations. Constructed or replaced content has no invented span. Copied elements keep their own origins. Replacing contents preserves child-element origins, and clears source spans for newly supplied text/comment/PI values.

    tree.lookup(handle) and path.resolve(tree) return Found, DocumentMismatch or InvalidHandle. Revision checks compare resource identity, complete source identity and constructed values, including unused bindings and lexical metadata. Semantic document equality alone is insufficient. Two trees built from the same immutable revision can exchange handles. Canonical writing and reading creates a new source revision. There is no global allocation counter or hash-only ownership test.

    ///|
    test "locate a nested task and reject a handle from another revision" {
    let task=@bpmn.Task::new(id="T")
    let sub=@bpmn.SubProcess::new(id="Sub",contents=[Element(task.element)])
    let doc=@bpmn.Definitions::new("urn:t",children=[@bpmn.Process::new(id="P",contents=[Element(sub.element)]).element]).document()
    let tree=@bpmn.DocumentTree::new(doc).tree.unwrap()
    let tasks=[]
    @bpmn.walk(tree.root(),n => { if n.id() == Some("T") { tasks.push(n) }; Continue })
    let node=tasks[0]
    assert_eq(node.parent().unwrap().id(),Some("Sub"))
    assert_eq(node.path().steps().last().unwrap().field,Named(@bpmn.Kind::FlowElement.name()))
    assert_eq(node.location(),None)
    assert_true(node.path().resolve(tree) is Found(found) && found == node)
    let changed=@bpmn.Definitions::new("urn:changed").document()
    assert_true(@bpmn.DocumentTree::new(changed).tree.unwrap().lookup(node.handle()) is DocumentMismatch)
    }

    walk takes an enter callback and an optional leave callback. Enter returns Continue, SkipChildren or Stop. A skipped node still receives leave; stop emits no later enter or leave callbacks. fold threads an accumulator through the same order. reduce combines child results bottom up; reduce_pruned also takes enter control, supplies an empty child-result view for skipped children, and returns None after stop.

    EventReader::new(root) exposes the same order as pull TraversalEvent::Enter and Leave values. Each event contains its NodeRef, including path and source identity. skip_children() acts immediately after enter; elsewhere it does nothing. stop() makes subsequent reads return None. EventSource permits other event producers, and push_events drives them with the same controls.

    ///|
    test "walking folding reduction and pull events count the same nodes" {
    let doc=@bpmn.Definitions::new("urn:t",children=[@bpmn.Process::new(contents=[Element(@bpmn.Task::new(id="T").element)]).element]).document()
    let root=@bpmn.DocumentTree::new(doc).tree.unwrap().root()
    let mut entered=0
    @bpmn.walk(root,_ => { entered+=1; Continue })
    let folded=@bpmn.fold(root,0,(count,_) => (count+1,Continue))
    let reduced=@bpmn.reduce(root,(_ : @bpmn.NodeRef,children : ArrayView[Int]) => 1+children.iter().fold(init=0,(sum,n) => sum+n))
    let reader=@bpmn.EventReader::new(root)
    assert_eq(reader.iter().count(),entered*2)
    assert_eq(folded,entered); assert_eq(reduced,entered)
    let cursor=@bpmn.TreeCursor::new(root)
    assert_true(cursor.goto_first_child())
    assert_eq(cursor.node().category(),Definitions)
    assert_true(cursor.goto_parent()); assert_eq(cursor.node(),root)
    }

    Visitor has default methods, so implement only the categories you need. Its optional enter(NodeRef) runs first; if it returns Continue, a typed family method runs next. Typed methods cover definitions, processes, activities, events, gateways, sequence flows, collaborations, participants, lanes, choreography, choreography activities, conversations, links and opaque XML. visit_diagram_interchange and visit_other expose other families through their read-only node views and typed element projections. Text, comment, PI and the document have their own methods. leave runs for every completed visited node. accept(root, visitor) uses the common traversal engine.

    TreeCursor supports parent, first/last child and adjacent siblings. A failed move preserves its position. It stays within its chosen start subtree; depth is relative to that start while path remains document-relative. Each walk, reader, reduction and cursor owns its state. Nested walks are independent. Explicit heap stacks handle 10,000 nested constructed elements on all targets when the configured element-depth bound allows them. The older Document::walk(Element -> Unit) remains an element-only convenience.

    #Structural graph queries

    DocumentGraph::new(document, resources?, resource_id?, limits?, graph_limits?) indexes the explicit document/import closure. It retains validation findings, and checks each imported document against that document's own import visibility. GraphNode::Document holds a revision-bound NodeRef. External holds an explicit external-language symbol and its occurrence, as a leaf. No URL or filesystem lookup occurs. An invalid reference becomes a query failure when the selected search encounters it; an unrelated disconnected component can still be queried. Processing exhaustion returns no apparently complete graph.

    GraphEdgeKind distinguishes containment, sequence flow, message flow, association, data association, conversation links and general references. General references run from the owning element to its target. A sequence-flow edge runs between its authored endpoints and retains the flow as connection. Data associations with several sources have one edge per source. Valid source-less data assignments retain their target as a general reference; no visual source is inferred. DI coordinates, labels and XML adjacency never create connections.

    GraphEndpoint selects a root-document Id, a namespace-aware Qualified identity, a revision-bound Node handle, or an explicit external Symbol. lookup returns the selected graph node or a typed failure. Root ID lookup does not select an imported element with a same-named ID.

    reachable includes the start once. route returns one shortest directed route, with authored connection order breaking ties. Both default to sequence flow in the forward direction; callers explicitly select edge kinds and Forward, Reverse or Both. A reverse route keeps each edge's authored source and target. Returned nodes and connection owners preserve source identities. These are structural routes, not execution paths or token simulations.

    ///|
    test "query a bounded structural route without executing a process" {
    let source="<b:definitions xmlns:b='http://www.omg.org/spec/BPMN/20100524/MODEL' targetNamespace='urn:t'><b:process><b:task id='A'/><b:task id='B'/><b:task id='C'/><b:sequenceFlow id='AB' sourceRef='A' targetRef='B'/><b:sequenceFlow id='BC' sourceRef='B' targetRef='C'/></b:process></b:definitions>"
    let graph=@bpmn.DocumentGraph::new(@bpmn.read(source).document.unwrap()).graph.unwrap()
    guard graph.route(Id("A"),Id("C")) is Found(route) else { fail("route missing") }
    assert_eq(route.nodes.iter().map(n => n.id()).to_array(),[Some("A"),Some("B"),Some("C")])
    assert_eq(route.edges[0].connection.unwrap().id(),Some("AB"))
    assert_true(graph.route(Id("C"),Id("A")) is Unreachable)
    assert_true(graph.route(Id("A"),Id("C"),limits=@bpmn.GraphLimits::new(nodes=1)) is Failed(Limit(Nodes)))
    }

    ReachabilityResult is Complete or Failed; RouteResult is Found, Unreachable or Failed. GraphFailure distinguishes InvalidEndpoint, DocumentMismatch, InvalidReference with its owner handle, Ambiguous with candidate nodes, Limit and InvalidLimits. A limit never reports unreachable or returns a partial result as complete. GraphLimits has positive inclusive node, edge, result and work bounds. Defaults are 100,000 nodes, 200,000 edges, 100,000 results and 1,000,000 work units.

    During graph construction, the edge bound counts indexed adjacency entries, including reverse entries and broken-edge markers. Work includes indexed resource records, reference candidates and conservative resource-record charges before imported resolution. Query edge bounds count selected adjacency entries inspected; work counts selection processing, expanded nodes and inspected entries. Selection is deduplicated once. Node/result bounds are checked before allocation; route results count path nodes. Each query has fresh state and its own budget. Document validation and traversal bounds also apply while building.

    ///|
    test "document traversal and graph construction code inventories" {
    assert_eq(@bpmn.traversal_diagnostic_codes,["bpmn/traversal-invalid-limits","bpmn/traversal-node-limit","bpmn/traversal-depth-limit","bpmn/traversal-token-limit"])
    assert_eq(@bpmn.graph_diagnostic_codes,["bpmn/graph-invalid-limits","bpmn/graph-work-limit","bpmn/graph-node-limit","bpmn/graph-edge-limit"])
    }

    Traversal diagnostics identify invalid limits, arena/metadata exhaustion, element-depth exhaustion or oversized names/values. Graph construction adds invalid-limit, work, node and adjacency-entry findings. It can also propagate the validation and traversal inventories documented above. All have error severity. Query failures use the typed alternatives described here.

    ReferenceResult.indexed_resources() exposes the immutable indexes in the explicit import closure. Each IndexedResource keeps its resource ID, document index and bounded record count. Adapters can reuse these indexes without reparsing or fetching resources. The record count includes attributes, content and namespace bindings, so repeated processing can be charged before allocation.

    EventSource

    pub(open) trait EventSource {
    fn next(Self) -> TraversalEvent?
    fn skip_children(Self) -> Unit
    fn stop(Self) -> Unit
    }

    Visitor

    pub(open) trait Visitor {
    fn enter(Self, NodeRef) -> Control = _
    fn visit_definitions(Self, Definitions, NodeRef) -> Control = _
    fn visit_process(Self, Process, NodeRef) -> Control = _
    fn visit_activity(Self, Activity, NodeRef) -> Control = _
    fn visit_event(Self, Event, NodeRef) -> Control = _
    fn visit_gateway(Self, Gateway, NodeRef) -> Control = _
    fn visit_sequence_flow(Self, SequenceFlow, NodeRef) -> Control = _
    fn visit_collaboration(Self, Collaboration, NodeRef) -> Control = _
    fn visit_participant(Self, Participant, NodeRef) -> Control = _
    fn visit_lane(Self, Lane, NodeRef) -> Control = _
    fn visit_choreography(Self, Choreography, NodeRef) -> Control = _
    fn visit_choreography_activity(Self, ChoreographyActivity, NodeRef) -> Control = _
    fn visit_conversation(Self, ConversationNode, NodeRef) -> Control = _
    fn visit_conversation_link(Self, ConversationLink, NodeRef) -> Control = _
    fn visit_extension(Self, XmlElement, NodeRef) -> Control = _
    fn visit_document(Self, NodeRef) -> Control = _
    fn visit_diagram_interchange(Self, NodeRef) -> Control = _
    fn visit_text(Self, NodeRef) -> Control = _
    fn visit_comment(Self, NodeRef) -> Control = _
    fn visit_processing_instruction(Self, NodeRef) -> Control = _
    fn visit_other(Self, NodeRef) -> Control = _
    fn leave(Self, NodeRef) -> Unit = _
    }

    Family methods have typed values and default to Continue. Other schema families remain inspectable through visit_other and NodeRef.element().

    WriteError

    pub(all) suberror WriteError {
    Failed(ReadOnlyArray[Diagnostic])
    } derive(Eq,
    Debug
    )

    WriteError::equal

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

    WriteError::not_equal

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

    Activity

    pub struct Activity {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tActivity.

    Activity::auditing

    fn Activity::auditing(self : Activity) -> Field[Auditing]

    Activity::category_value_ref

    fn Activity::category_value_ref(self : Activity) -> Field[ReadOnlyArray[Reference]]

    Activity::completion_quantity

    fn Activity::completion_quantity(self : Activity) -> Field[ExactInteger]

    Activity::data_input_association

    fn Activity::data_input_association(self : Activity) -> Field[ReadOnlyArray[DataInputAssociation]]

    Activity::data_output_association

    fn Activity::data_output_association(self : Activity) -> Field[ReadOnlyArray[DataOutputAssociation]]

    Activity::default_

    fn Activity::default_(self : Activity) -> Field[Reference]

    Activity::documentation

    fn Activity::documentation(self : Activity) -> Field[ReadOnlyArray[Documentation]]

    Activity::equal

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

    Activity::extension_elements

    fn Activity::extension_elements(self : Activity) -> Field[ExtensionElements]

    Activity::from_element

    fn Activity::from_element(element : Element) -> Activity?

    Activity::id

    fn Activity::id(self : Activity) -> Field[String]

    Activity::incoming

    fn Activity::incoming(self : Activity) -> Field[ReadOnlyArray[Reference]]

    Activity::io_specification

    fn Activity::io_specification(self : Activity) -> Field[InputOutputSpecification]

    Activity::is_for_compensation

    fn Activity::is_for_compensation(self : Activity) -> Field[Bool]

    Activity::loop_characteristics

    fn Activity::loop_characteristics(self : Activity) -> Field[LoopCharacteristics]

    Activity::monitoring

    fn Activity::monitoring(self : Activity) -> Field[Monitoring]

    Activity::name

    fn Activity::name(self : Activity) -> Field[String]

    Activity::not_equal

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

    Activity::outgoing

    fn Activity::outgoing(self : Activity) -> Field[ReadOnlyArray[Reference]]

    Activity::property

    fn Activity::property(self : Activity) -> Field[ReadOnlyArray[Property]]

    Activity::resource_role

    fn Activity::resource_role(self : Activity) -> Field[ReadOnlyArray[ResourceRole]]

    Activity::start_quantity

    fn Activity::start_quantity(self : Activity) -> Field[ExactInteger]

    Activity::to_repr

    AdHocOrdering

    pub(all) enum AdHocOrdering {
    Parallel
    Sequential
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tAdHocOrdering.

    AdHocOrdering::equal

    AdHocOrdering::not_equal

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

    AdHocOrdering::parse

    fn AdHocOrdering::parse(token : String) -> AdHocOrdering?

    AdHocOrdering::token

    fn AdHocOrdering::token(self : AdHocOrdering) -> String

    AdHocSubProcess

    pub struct AdHocSubProcess {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tAdHocSubProcess.

    AdHocSubProcess::artifact

    fn AdHocSubProcess::artifact(self : AdHocSubProcess) -> Field[ReadOnlyArray[Artifact]]

    AdHocSubProcess::auditing

    AdHocSubProcess::cancel_remaining_instances

    fn AdHocSubProcess::cancel_remaining_instances(self : AdHocSubProcess) -> Field[Bool]

    AdHocSubProcess::category_value_ref

    fn AdHocSubProcess::category_value_ref(self : AdHocSubProcess) -> Field[ReadOnlyArray[Reference]]

    AdHocSubProcess::completion_condition

    fn AdHocSubProcess::completion_condition(self : AdHocSubProcess) -> Field[Expression]

    AdHocSubProcess::completion_quantity

    fn AdHocSubProcess::completion_quantity(self : AdHocSubProcess) -> Field[ExactInteger]

    AdHocSubProcess::data_input_association

    fn AdHocSubProcess::data_input_association(self : AdHocSubProcess) -> Field[ReadOnlyArray[DataInputAssociation]]

    AdHocSubProcess::data_output_association

    fn AdHocSubProcess::data_output_association(self : AdHocSubProcess) -> Field[ReadOnlyArray[DataOutputAssociation]]

    AdHocSubProcess::default_

    AdHocSubProcess::documentation

    fn AdHocSubProcess::documentation(self : AdHocSubProcess) -> Field[ReadOnlyArray[Documentation]]

    AdHocSubProcess::equal

    AdHocSubProcess::extension_elements

    fn AdHocSubProcess::extension_elements(self : AdHocSubProcess) -> Field[ExtensionElements]

    AdHocSubProcess::flow_element

    fn AdHocSubProcess::flow_element(self : AdHocSubProcess) -> Field[ReadOnlyArray[FlowElement]]

    AdHocSubProcess::from_element

    fn AdHocSubProcess::from_element(element : Element) -> AdHocSubProcess?

    AdHocSubProcess::id

    fn AdHocSubProcess::id(self : AdHocSubProcess) -> Field[String]

    AdHocSubProcess::incoming

    fn AdHocSubProcess::incoming(self : AdHocSubProcess) -> Field[ReadOnlyArray[Reference]]

    AdHocSubProcess::io_specification

    AdHocSubProcess::is_for_compensation

    fn AdHocSubProcess::is_for_compensation(self : AdHocSubProcess) -> Field[Bool]

    AdHocSubProcess::lane_set

    fn AdHocSubProcess::lane_set(self : AdHocSubProcess) -> Field[ReadOnlyArray[LaneSet]]

    AdHocSubProcess::loop_characteristics

    fn AdHocSubProcess::loop_characteristics(self : AdHocSubProcess) -> Field[LoopCharacteristics]

    AdHocSubProcess::monitoring

    fn AdHocSubProcess::monitoring(self : AdHocSubProcess) -> Field[Monitoring]

    AdHocSubProcess::name

    fn AdHocSubProcess::name(self : AdHocSubProcess) -> Field[String]

    AdHocSubProcess::new

    fn AdHocSubProcess::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, triggered_by_event? : Bool, cancel_remaining_instances? : Bool, ordering? : AdHocOrdering, contents? : ArrayView[Content]) -> AdHocSubProcess

    AdHocSubProcess::not_equal

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

    AdHocSubProcess::ordering

    AdHocSubProcess::outgoing

    fn AdHocSubProcess::outgoing(self : AdHocSubProcess) -> Field[ReadOnlyArray[Reference]]

    AdHocSubProcess::property

    fn AdHocSubProcess::property(self : AdHocSubProcess) -> Field[ReadOnlyArray[Property]]

    AdHocSubProcess::resource_role

    fn AdHocSubProcess::resource_role(self : AdHocSubProcess) -> Field[ReadOnlyArray[ResourceRole]]

    AdHocSubProcess::start_quantity

    fn AdHocSubProcess::start_quantity(self : AdHocSubProcess) -> Field[ExactInteger]

    AdHocSubProcess::triggered_by_event

    fn AdHocSubProcess::triggered_by_event(self : AdHocSubProcess) -> Field[Bool]

    AnonymousTImplementation78

    pub(all) enum AnonymousTImplementation78 {
    Unspecified
    WebService
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type Anonymous_tImplementation_78.

    AnonymousTImplementation78::equal

    AnonymousTImplementation78::not_equal

    AnonymousTImplementation78::parse

    AnonymousTImplementation78::token

    AnonymousTTransactionMethod144

    pub(all) enum AnonymousTTransactionMethod144 {
    Compensate
    Image
    Store
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type Anonymous_tTransactionMethod_144.

    AnonymousTTransactionMethod144::not_equal

    AnonymousTTransactionMethod144::parse

    AnonymousTTransactionMethod144::token

    Artifact

    pub struct Artifact {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tArtifact.

    Artifact::documentation

    fn Artifact::documentation(self : Artifact) -> Field[ReadOnlyArray[Documentation]]

    Artifact::equal

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

    Artifact::extension_elements

    fn Artifact::extension_elements(self : Artifact) -> Field[ExtensionElements]

    Artifact::from_element

    fn Artifact::from_element(element : Element) -> Artifact?

    Artifact::id

    fn Artifact::id(self : Artifact) -> Field[String]

    Artifact::not_equal

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

    Artifact::to_repr

    Assignment

    pub struct Assignment {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tAssignment.

    Assignment::documentation

    fn Assignment::documentation(self : Assignment) -> Field[ReadOnlyArray[Documentation]]

    Assignment::equal

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

    Assignment::extension_elements

    fn Assignment::extension_elements(self : Assignment) -> Field[ExtensionElements]

    Assignment::from

    fn Assignment::from(self : Assignment) -> Field[Expression]

    Assignment::from_element

    fn Assignment::from_element(element : Element) -> Assignment?

    Assignment::id

    fn Assignment::id(self : Assignment) -> Field[String]

    Assignment::new

    fn Assignment::new(id? : String, contents? : ArrayView[Content]) -> Assignment

    Assignment::not_equal

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

    Assignment::to

    Association

    pub struct Association {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tAssociation.

    Association::association_direction

    fn Association::association_direction(self : Association) -> Field[AssociationDirection]

    Association::documentation

    fn Association::documentation(self : Association) -> Field[ReadOnlyArray[Documentation]]

    Association::equal

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

    Association::extension_elements

    fn Association::extension_elements(self : Association) -> Field[ExtensionElements]

    Association::from_element

    fn Association::from_element(element : Element) -> Association?

    Association::id

    fn Association::id(self : Association) -> Field[String]

    Association::new

    fn Association::new(id? : String, source_ref? : Reference, target_ref? : Reference, association_direction? : AssociationDirection, contents? : ArrayView[Content]) -> Association

    Association::not_equal

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

    Association::source_ref

    fn Association::source_ref(self : Association) -> Field[Reference]

    Association::target_ref

    fn Association::target_ref(self : Association) -> Field[Reference]

    AssociationDirection

    pub(all) enum AssociationDirection {
    None
    One
    Both
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tAssociationDirection.

    AssociationDirection::equal

    AssociationDirection::not_equal

    AssociationDirection::parse

    fn AssociationDirection::parse(token : String) -> AssociationDirection?

    AssociationDirection::token

    fn AssociationDirection::token(self : AssociationDirection) -> String

    Attribute

    pub struct Attribute {
    name : ExpandedName?
    raw_name : String
    value : Scalar
    span : Span?
    // private fields
    } derive(Eq,
    Debug
    )

    Attribute::equal

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

    Attribute::location

    fn Attribute::location(self : Attribute) -> Location?

    Attribute::new

    fn Attribute::new(name : ExpandedName, value : Scalar) -> Attribute

    Attribute::not_equal

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

    Auditing

    pub struct Auditing {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tAuditing.

    Auditing::documentation

    fn Auditing::documentation(self : Auditing) -> Field[ReadOnlyArray[Documentation]]

    Auditing::equal

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

    Auditing::extension_elements

    fn Auditing::extension_elements(self : Auditing) -> Field[ExtensionElements]

    Auditing::from_element

    fn Auditing::from_element(element : Element) -> Auditing?

    Auditing::id

    fn Auditing::id(self : Auditing) -> Field[String]

    Auditing::new

    fn Auditing::new(id? : String, contents? : ArrayView[Content]) -> Auditing

    Auditing::not_equal

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

    Auditing::to_repr

    BaseElement

    pub struct BaseElement {
    element : Element
    } derive(Eq,
    Debug
    )

    A typed view over a concrete element derived from the abstract base type.

    BaseElement::documentation

    fn BaseElement::documentation(self : BaseElement) -> ReadOnlyArray[Documentation]

    BaseElement::equal

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

    BaseElement::extension_elements

    fn BaseElement::extension_elements(self : BaseElement) -> Element?

    BaseElement::from_element

    fn BaseElement::from_element(element : Element) -> BaseElement?

    BaseElement::id

    fn BaseElement::id(self : BaseElement) -> Field[String]

    BaseElement::not_equal

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

    BaseElementWithMixedContent

    pub struct BaseElementWithMixedContent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tBaseElementWithMixedContent.

    BaseElementWithMixedContent::documentation

    fn BaseElementWithMixedContent::documentation(self : BaseElementWithMixedContent) -> Field[ReadOnlyArray[Documentation]]

    BaseElementWithMixedContent::extension_elements

    BaseElementWithMixedContent::from_element

    BaseElementWithMixedContent::id

    BaseElementWithMixedContent::not_equal

    BoundaryEvent

    pub struct BoundaryEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tBoundaryEvent.

    BoundaryEvent::attached_to_ref

    fn BoundaryEvent::attached_to_ref(self : BoundaryEvent) -> Field[Reference]

    BoundaryEvent::auditing

    fn BoundaryEvent::auditing(self : BoundaryEvent) -> Field[Auditing]

    BoundaryEvent::cancel_activity

    fn BoundaryEvent::cancel_activity(self : BoundaryEvent) -> Field[Bool]

    BoundaryEvent::category_value_ref

    fn BoundaryEvent::category_value_ref(self : BoundaryEvent) -> Field[ReadOnlyArray[Reference]]

    BoundaryEvent::data_output

    fn BoundaryEvent::data_output(self : BoundaryEvent) -> Field[ReadOnlyArray[DataOutput]]

    BoundaryEvent::data_output_association

    fn BoundaryEvent::data_output_association(self : BoundaryEvent) -> Field[ReadOnlyArray[DataOutputAssociation]]

    BoundaryEvent::documentation

    fn BoundaryEvent::documentation(self : BoundaryEvent) -> Field[ReadOnlyArray[Documentation]]

    BoundaryEvent::equal

    BoundaryEvent::event_definition

    fn BoundaryEvent::event_definition(self : BoundaryEvent) -> Field[ReadOnlyArray[EventDefinition]]

    BoundaryEvent::event_definition_ref

    fn BoundaryEvent::event_definition_ref(self : BoundaryEvent) -> Field[ReadOnlyArray[Reference]]

    BoundaryEvent::extension_elements

    fn BoundaryEvent::extension_elements(self : BoundaryEvent) -> Field[ExtensionElements]

    BoundaryEvent::from_element

    fn BoundaryEvent::from_element(element : Element) -> BoundaryEvent?

    BoundaryEvent::id

    fn BoundaryEvent::id(self : BoundaryEvent) -> Field[String]

    BoundaryEvent::incoming

    fn BoundaryEvent::incoming(self : BoundaryEvent) -> Field[ReadOnlyArray[Reference]]

    BoundaryEvent::monitoring

    fn BoundaryEvent::monitoring(self : BoundaryEvent) -> Field[Monitoring]

    BoundaryEvent::name

    fn BoundaryEvent::name(self : BoundaryEvent) -> Field[String]

    BoundaryEvent::new

    fn BoundaryEvent::new(id? : String, name? : String, parallel_multiple? : Bool, cancel_activity? : Bool, attached_to_ref? : Reference, contents? : ArrayView[Content]) -> BoundaryEvent

    BoundaryEvent::not_equal

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

    BoundaryEvent::outgoing

    fn BoundaryEvent::outgoing(self : BoundaryEvent) -> Field[ReadOnlyArray[Reference]]

    BoundaryEvent::output_set

    fn BoundaryEvent::output_set(self : BoundaryEvent) -> Field[OutputSet]

    BoundaryEvent::parallel_multiple

    fn BoundaryEvent::parallel_multiple(self : BoundaryEvent) -> Field[Bool]

    BoundaryEvent::property

    fn BoundaryEvent::property(self : BoundaryEvent) -> Field[ReadOnlyArray[Property]]

    BpmnDiagram

    pub struct BpmnDiagram {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNDiagram.

    BpmnDiagram::bpmn_label_style

    fn BpmnDiagram::bpmn_label_style(self : BpmnDiagram) -> Field[ReadOnlyArray[BpmnLabelStyle]]

    BpmnDiagram::bpmn_plane

    fn BpmnDiagram::bpmn_plane(self : BpmnDiagram) -> Field[BpmnPlane]

    BpmnDiagram::documentation

    fn BpmnDiagram::documentation(self : BpmnDiagram) -> Field[String]

    BpmnDiagram::equal

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

    BpmnDiagram::from_element

    fn BpmnDiagram::from_element(element : Element) -> BpmnDiagram?

    BpmnDiagram::id

    fn BpmnDiagram::id(self : BpmnDiagram) -> Field[String]

    BpmnDiagram::name

    fn BpmnDiagram::name(self : BpmnDiagram) -> Field[String]

    BpmnDiagram::new

    fn BpmnDiagram::new(name? : String, documentation? : String, resolution? : ExactNumber, id? : String, contents? : ArrayView[Content]) -> BpmnDiagram

    BpmnDiagram::not_equal

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

    BpmnDiagram::resolution

    fn BpmnDiagram::resolution(self : BpmnDiagram) -> Field[ExactNumber]

    BpmnEdge

    pub struct BpmnEdge {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNEdge.

    BpmnEdge::bpmn_element

    fn BpmnEdge::bpmn_element(self : BpmnEdge) -> Field[Reference]

    BpmnEdge::bpmn_label

    fn BpmnEdge::bpmn_label(self : BpmnEdge) -> Field[BpmnLabel]

    BpmnEdge::equal

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

    BpmnEdge::extension

    BpmnEdge::from_element

    fn BpmnEdge::from_element(element : Element) -> BpmnEdge?

    BpmnEdge::id

    fn BpmnEdge::id(self : BpmnEdge) -> Field[String]

    BpmnEdge::message_visible_kind

    fn BpmnEdge::message_visible_kind(self : BpmnEdge) -> Field[BpmnMessageVisibleKind]

    BpmnEdge::new

    fn BpmnEdge::new(id? : String, bpmn_element? : Reference, source_element? : Reference, target_element? : Reference, message_visible_kind? : BpmnMessageVisibleKind, contents? : ArrayView[Content]) -> BpmnEdge

    BpmnEdge::not_equal

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

    BpmnEdge::source_element

    fn BpmnEdge::source_element(self : BpmnEdge) -> Field[Reference]

    BpmnEdge::target_element

    fn BpmnEdge::target_element(self : BpmnEdge) -> Field[Reference]

    BpmnEdge::to_repr

    BpmnEdge::waypoint

    fn BpmnEdge::waypoint(self : BpmnEdge) -> Field[ReadOnlyArray[DcPoint]]

    BpmnEnum

    pub(all) enum BpmnEnum {
    BpmnParticipantBandKind(BpmnParticipantBandKind)
    BpmnMessageVisibleKind(BpmnMessageVisibleKind)
    AdHocOrdering(AdHocOrdering)
    AssociationDirection(AssociationDirection)
    ChoreographyLoopType(ChoreographyLoopType)
    EventBasedGatewayType(EventBasedGatewayType)
    GatewayDirection(GatewayDirection)
    Implementation(Implementation)
    AnonymousTImplementation78(AnonymousTImplementation78)
    ItemKind(ItemKind)
    MultiInstanceFlowCondition(MultiInstanceFlowCondition)
    ProcessType(ProcessType)
    RelationshipDirection(RelationshipDirection)
    TransactionMethod(TransactionMethod)
    AnonymousTTransactionMethod144(AnonymousTTransactionMethod144)
    } derive(Eq,
    Debug
    )

    Typed alternatives retain the identity of each normative enumeration.

    BpmnEnum::equal

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

    BpmnEnum::not_equal

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

    BpmnEnum::to_repr

    BpmnEnum::token

    fn BpmnEnum::token(self : BpmnEnum) -> String

    BpmnEnum::type_id

    fn BpmnEnum::type_id(self : BpmnEnum) -> TypeId

    BpmnError

    pub struct BpmnError {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tError.

    BpmnError::documentation

    fn BpmnError::documentation(self : BpmnError) -> Field[ReadOnlyArray[Documentation]]

    BpmnError::equal

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

    BpmnError::error_code

    fn BpmnError::error_code(self : BpmnError) -> Field[String]

    BpmnError::extension_elements

    fn BpmnError::extension_elements(self : BpmnError) -> Field[ExtensionElements]

    BpmnError::from_element

    fn BpmnError::from_element(element : Element) -> BpmnError?

    BpmnError::id

    fn BpmnError::id(self : BpmnError) -> Field[String]

    BpmnError::name

    fn BpmnError::name(self : BpmnError) -> Field[String]

    BpmnError::new

    fn BpmnError::new(id? : String, name? : String, error_code? : String, structure_ref? : Reference, contents? : ArrayView[Content]) -> BpmnError

    BpmnError::not_equal

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

    BpmnError::structure_ref

    fn BpmnError::structure_ref(self : BpmnError) -> Field[Reference]

    BpmnLabel

    pub struct BpmnLabel {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNLabel.

    BpmnLabel::bounds

    fn BpmnLabel::bounds(self : BpmnLabel) -> Field[DcBounds]

    BpmnLabel::equal

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

    BpmnLabel::extension

    BpmnLabel::from_element

    fn BpmnLabel::from_element(element : Element) -> BpmnLabel?

    BpmnLabel::id

    fn BpmnLabel::id(self : BpmnLabel) -> Field[String]

    BpmnLabel::label_style

    fn BpmnLabel::label_style(self : BpmnLabel) -> Field[Reference]

    BpmnLabel::new

    fn BpmnLabel::new(id? : String, label_style? : Reference, contents? : ArrayView[Content]) -> BpmnLabel

    BpmnLabel::not_equal

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

    BpmnLabelStyle

    pub struct BpmnLabelStyle {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNLabelStyle.

    BpmnLabelStyle::equal

    BpmnLabelStyle::font

    BpmnLabelStyle::from_element

    fn BpmnLabelStyle::from_element(element : Element) -> BpmnLabelStyle?

    BpmnLabelStyle::id

    fn BpmnLabelStyle::id(self : BpmnLabelStyle) -> Field[String]

    BpmnLabelStyle::new

    fn BpmnLabelStyle::new(id? : String, contents? : ArrayView[Content]) -> BpmnLabelStyle

    BpmnLabelStyle::not_equal

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

    BpmnMessageVisibleKind

    pub(all) enum BpmnMessageVisibleKind {
    Initiating
    NonInitiating
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type MessageVisibleKind.

    BpmnMessageVisibleKind::equal

    BpmnMessageVisibleKind::not_equal

    BpmnMessageVisibleKind::parse

    fn BpmnMessageVisibleKind::parse(token : String) -> BpmnMessageVisibleKind?

    BpmnMessageVisibleKind::token

    BpmnParticipantBandKind

    pub(all) enum BpmnParticipantBandKind {
    TopInitiating
    MiddleInitiating
    BottomInitiating
    TopNonInitiating
    MiddleNonInitiating
    BottomNonInitiating
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type ParticipantBandKind.

    BpmnParticipantBandKind::equal

    BpmnParticipantBandKind::not_equal

    BpmnParticipantBandKind::parse

    fn BpmnParticipantBandKind::parse(token : String) -> BpmnParticipantBandKind?

    BpmnParticipantBandKind::token

    BpmnPlane

    pub struct BpmnPlane {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNPlane.

    BpmnPlane::bpmn_element

    fn BpmnPlane::bpmn_element(self : BpmnPlane) -> Field[Reference]

    BpmnPlane::diagram_element

    fn BpmnPlane::diagram_element(self : BpmnPlane) -> Field[ReadOnlyArray[DiDiagramElement]]

    BpmnPlane::equal

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

    BpmnPlane::extension

    BpmnPlane::from_element

    fn BpmnPlane::from_element(element : Element) -> BpmnPlane?

    BpmnPlane::id

    fn BpmnPlane::id(self : BpmnPlane) -> Field[String]

    BpmnPlane::new

    fn BpmnPlane::new(id? : String, bpmn_element? : Reference, contents? : ArrayView[Content]) -> BpmnPlane

    BpmnPlane::not_equal

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

    BpmnShape

    pub struct BpmnShape {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema BPMNShape.

    BpmnShape::bounds

    fn BpmnShape::bounds(self : BpmnShape) -> Field[DcBounds]

    BpmnShape::bpmn_element

    fn BpmnShape::bpmn_element(self : BpmnShape) -> Field[Reference]

    BpmnShape::bpmn_label

    fn BpmnShape::bpmn_label(self : BpmnShape) -> Field[BpmnLabel]

    BpmnShape::choreography_activity_shape

    fn BpmnShape::choreography_activity_shape(self : BpmnShape) -> Field[Reference]

    BpmnShape::equal

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

    BpmnShape::extension

    BpmnShape::from_element

    fn BpmnShape::from_element(element : Element) -> BpmnShape?

    BpmnShape::id

    fn BpmnShape::id(self : BpmnShape) -> Field[String]

    BpmnShape::is_expanded

    fn BpmnShape::is_expanded(self : BpmnShape) -> Field[Bool]

    BpmnShape::is_horizontal

    fn BpmnShape::is_horizontal(self : BpmnShape) -> Field[Bool]

    BpmnShape::is_marker_visible

    fn BpmnShape::is_marker_visible(self : BpmnShape) -> Field[Bool]

    BpmnShape::is_message_visible

    fn BpmnShape::is_message_visible(self : BpmnShape) -> Field[Bool]

    BpmnShape::new

    fn BpmnShape::new(id? : String, bpmn_element? : Reference, is_horizontal? : Bool, is_expanded? : Bool, is_marker_visible? : Bool, is_message_visible? : Bool, participant_band_kind? : BpmnParticipantBandKind, choreography_activity_shape? : Reference, contents? : ArrayView[Content]) -> BpmnShape

    BpmnShape::not_equal

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

    BpmnShape::participant_band_kind

    fn BpmnShape::participant_band_kind(self : BpmnShape) -> Field[BpmnParticipantBandKind]

    BusinessRuleTask

    pub struct BusinessRuleTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tBusinessRuleTask.

    BusinessRuleTask::auditing

    BusinessRuleTask::category_value_ref

    fn BusinessRuleTask::category_value_ref(self : BusinessRuleTask) -> Field[ReadOnlyArray[Reference]]

    BusinessRuleTask::completion_quantity

    fn BusinessRuleTask::completion_quantity(self : BusinessRuleTask) -> Field[ExactInteger]

    BusinessRuleTask::data_input_association

    fn BusinessRuleTask::data_input_association(self : BusinessRuleTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    BusinessRuleTask::data_output_association

    fn BusinessRuleTask::data_output_association(self : BusinessRuleTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    BusinessRuleTask::default_

    BusinessRuleTask::documentation

    fn BusinessRuleTask::documentation(self : BusinessRuleTask) -> Field[ReadOnlyArray[Documentation]]

    BusinessRuleTask::equal

    BusinessRuleTask::extension_elements

    fn BusinessRuleTask::extension_elements(self : BusinessRuleTask) -> Field[ExtensionElements]

    BusinessRuleTask::from_element

    fn BusinessRuleTask::from_element(element : Element) -> BusinessRuleTask?

    BusinessRuleTask::id

    fn BusinessRuleTask::id(self : BusinessRuleTask) -> Field[String]

    BusinessRuleTask::implementation

    fn BusinessRuleTask::implementation(self : BusinessRuleTask) -> Field[Implementation]

    BusinessRuleTask::incoming

    fn BusinessRuleTask::incoming(self : BusinessRuleTask) -> Field[ReadOnlyArray[Reference]]

    BusinessRuleTask::io_specification

    BusinessRuleTask::is_for_compensation

    fn BusinessRuleTask::is_for_compensation(self : BusinessRuleTask) -> Field[Bool]

    BusinessRuleTask::loop_characteristics

    fn BusinessRuleTask::loop_characteristics(self : BusinessRuleTask) -> Field[LoopCharacteristics]

    BusinessRuleTask::monitoring

    BusinessRuleTask::name

    fn BusinessRuleTask::name(self : BusinessRuleTask) -> Field[String]

    BusinessRuleTask::new

    fn BusinessRuleTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, implementation? : Implementation, contents? : ArrayView[Content]) -> BusinessRuleTask

    BusinessRuleTask::not_equal

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

    BusinessRuleTask::outgoing

    fn BusinessRuleTask::outgoing(self : BusinessRuleTask) -> Field[ReadOnlyArray[Reference]]

    BusinessRuleTask::property

    fn BusinessRuleTask::property(self : BusinessRuleTask) -> Field[ReadOnlyArray[Property]]

    BusinessRuleTask::resource_role

    fn BusinessRuleTask::resource_role(self : BusinessRuleTask) -> Field[ReadOnlyArray[ResourceRole]]

    BusinessRuleTask::start_quantity

    fn BusinessRuleTask::start_quantity(self : BusinessRuleTask) -> Field[ExactInteger]

    CallActivity

    pub struct CallActivity {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCallActivity.

    CallActivity::auditing

    fn CallActivity::auditing(self : CallActivity) -> Field[Auditing]

    CallActivity::called_element

    fn CallActivity::called_element(self : CallActivity) -> Field[Reference]

    CallActivity::category_value_ref

    fn CallActivity::category_value_ref(self : CallActivity) -> Field[ReadOnlyArray[Reference]]

    CallActivity::completion_quantity

    fn CallActivity::completion_quantity(self : CallActivity) -> Field[ExactInteger]

    CallActivity::data_input_association

    fn CallActivity::data_input_association(self : CallActivity) -> Field[ReadOnlyArray[DataInputAssociation]]

    CallActivity::data_output_association

    fn CallActivity::data_output_association(self : CallActivity) -> Field[ReadOnlyArray[DataOutputAssociation]]

    CallActivity::default_

    fn CallActivity::default_(self : CallActivity) -> Field[Reference]

    CallActivity::documentation

    fn CallActivity::documentation(self : CallActivity) -> Field[ReadOnlyArray[Documentation]]

    CallActivity::equal

    CallActivity::extension_elements

    fn CallActivity::extension_elements(self : CallActivity) -> Field[ExtensionElements]

    CallActivity::from_element

    fn CallActivity::from_element(element : Element) -> CallActivity?

    CallActivity::id

    fn CallActivity::id(self : CallActivity) -> Field[String]

    CallActivity::incoming

    fn CallActivity::incoming(self : CallActivity) -> Field[ReadOnlyArray[Reference]]

    CallActivity::io_specification

    fn CallActivity::io_specification(self : CallActivity) -> Field[InputOutputSpecification]

    CallActivity::is_for_compensation

    fn CallActivity::is_for_compensation(self : CallActivity) -> Field[Bool]

    CallActivity::loop_characteristics

    fn CallActivity::loop_characteristics(self : CallActivity) -> Field[LoopCharacteristics]

    CallActivity::monitoring

    fn CallActivity::monitoring(self : CallActivity) -> Field[Monitoring]

    CallActivity::name

    fn CallActivity::name(self : CallActivity) -> Field[String]

    CallActivity::new

    fn CallActivity::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, called_element? : Reference, contents? : ArrayView[Content]) -> CallActivity

    CallActivity::not_equal

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

    CallActivity::outgoing

    fn CallActivity::outgoing(self : CallActivity) -> Field[ReadOnlyArray[Reference]]

    CallActivity::property

    fn CallActivity::property(self : CallActivity) -> Field[ReadOnlyArray[Property]]

    CallActivity::resource_role

    fn CallActivity::resource_role(self : CallActivity) -> Field[ReadOnlyArray[ResourceRole]]

    CallActivity::start_quantity

    fn CallActivity::start_quantity(self : CallActivity) -> Field[ExactInteger]

    CallChoreography

    pub struct CallChoreography {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCallChoreography.

    CallChoreography::auditing

    CallChoreography::called_choreography_ref

    fn CallChoreography::called_choreography_ref(self : CallChoreography) -> Field[Reference]

    CallChoreography::category_value_ref

    fn CallChoreography::category_value_ref(self : CallChoreography) -> Field[ReadOnlyArray[Reference]]

    CallChoreography::correlation_key

    fn CallChoreography::correlation_key(self : CallChoreography) -> Field[ReadOnlyArray[CorrelationKey]]

    CallChoreography::documentation

    fn CallChoreography::documentation(self : CallChoreography) -> Field[ReadOnlyArray[Documentation]]

    CallChoreography::equal

    CallChoreography::extension_elements

    fn CallChoreography::extension_elements(self : CallChoreography) -> Field[ExtensionElements]

    CallChoreography::from_element

    fn CallChoreography::from_element(element : Element) -> CallChoreography?

    CallChoreography::id

    fn CallChoreography::id(self : CallChoreography) -> Field[String]

    CallChoreography::incoming

    fn CallChoreography::incoming(self : CallChoreography) -> Field[ReadOnlyArray[Reference]]

    CallChoreography::initiating_participant_ref

    fn CallChoreography::initiating_participant_ref(self : CallChoreography) -> Field[Reference]

    CallChoreography::loop_type

    CallChoreography::monitoring

    CallChoreography::name

    fn CallChoreography::name(self : CallChoreography) -> Field[String]

    CallChoreography::new

    fn CallChoreography::new(id? : String, name? : String, initiating_participant_ref? : Reference, loop_type? : ChoreographyLoopType, called_choreography_ref? : Reference, contents? : ArrayView[Content]) -> CallChoreography

    CallChoreography::not_equal

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

    CallChoreography::outgoing

    fn CallChoreography::outgoing(self : CallChoreography) -> Field[ReadOnlyArray[Reference]]

    CallChoreography::participant_association

    fn CallChoreography::participant_association(self : CallChoreography) -> Field[ReadOnlyArray[ParticipantAssociation]]

    CallChoreography::participant_ref

    fn CallChoreography::participant_ref(self : CallChoreography) -> Field[ReadOnlyArray[Reference]]

    CallConversation

    pub struct CallConversation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCallConversation.

    CallConversation::called_collaboration_ref

    fn CallConversation::called_collaboration_ref(self : CallConversation) -> Field[Reference]

    CallConversation::correlation_key

    fn CallConversation::correlation_key(self : CallConversation) -> Field[ReadOnlyArray[CorrelationKey]]

    CallConversation::documentation

    fn CallConversation::documentation(self : CallConversation) -> Field[ReadOnlyArray[Documentation]]

    CallConversation::equal

    CallConversation::extension_elements

    fn CallConversation::extension_elements(self : CallConversation) -> Field[ExtensionElements]

    CallConversation::from_element

    fn CallConversation::from_element(element : Element) -> CallConversation?

    CallConversation::id

    fn CallConversation::id(self : CallConversation) -> Field[String]

    CallConversation::message_flow_ref

    fn CallConversation::message_flow_ref(self : CallConversation) -> Field[ReadOnlyArray[Reference]]

    CallConversation::name

    fn CallConversation::name(self : CallConversation) -> Field[String]

    CallConversation::new

    fn CallConversation::new(id? : String, name? : String, called_collaboration_ref? : Reference, contents? : ArrayView[Content]) -> CallConversation

    CallConversation::not_equal

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

    CallConversation::participant_association

    fn CallConversation::participant_association(self : CallConversation) -> Field[ReadOnlyArray[ParticipantAssociation]]

    CallConversation::participant_ref

    fn CallConversation::participant_ref(self : CallConversation) -> Field[ReadOnlyArray[Reference]]

    CallableElement

    pub struct CallableElement {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCallableElement.

    CallableElement::documentation

    fn CallableElement::documentation(self : CallableElement) -> Field[ReadOnlyArray[Documentation]]

    CallableElement::equal

    CallableElement::extension_elements

    fn CallableElement::extension_elements(self : CallableElement) -> Field[ExtensionElements]

    CallableElement::from_element

    fn CallableElement::from_element(element : Element) -> CallableElement?

    CallableElement::id

    fn CallableElement::id(self : CallableElement) -> Field[String]

    CallableElement::io_binding

    fn CallableElement::io_binding(self : CallableElement) -> Field[ReadOnlyArray[InputOutputBinding]]

    CallableElement::io_specification

    CallableElement::name

    fn CallableElement::name(self : CallableElement) -> Field[String]

    CallableElement::new

    fn CallableElement::new(id? : String, name? : String, contents? : ArrayView[Content]) -> CallableElement

    CallableElement::not_equal

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

    CallableElement::supported_interface_ref

    fn CallableElement::supported_interface_ref(self : CallableElement) -> Field[ReadOnlyArray[Reference]]

    CancelEventDefinition

    pub struct CancelEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCancelEventDefinition.

    CancelEventDefinition::documentation

    fn CancelEventDefinition::documentation(self : CancelEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    CancelEventDefinition::equal

    CancelEventDefinition::extension_elements

    CancelEventDefinition::from_element

    fn CancelEventDefinition::from_element(element : Element) -> CancelEventDefinition?

    CancelEventDefinition::id

    CancelEventDefinition::new

    fn CancelEventDefinition::new(id? : String, contents? : ArrayView[Content]) -> CancelEventDefinition

    CancelEventDefinition::not_equal

    CatchEvent

    pub struct CatchEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCatchEvent.

    CatchEvent::auditing

    fn CatchEvent::auditing(self : CatchEvent) -> Field[Auditing]

    CatchEvent::category_value_ref

    fn CatchEvent::category_value_ref(self : CatchEvent) -> Field[ReadOnlyArray[Reference]]

    CatchEvent::data_output

    fn CatchEvent::data_output(self : CatchEvent) -> Field[ReadOnlyArray[DataOutput]]

    CatchEvent::data_output_association

    fn CatchEvent::data_output_association(self : CatchEvent) -> Field[ReadOnlyArray[DataOutputAssociation]]

    CatchEvent::documentation

    fn CatchEvent::documentation(self : CatchEvent) -> Field[ReadOnlyArray[Documentation]]

    CatchEvent::equal

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

    CatchEvent::event_definition

    fn CatchEvent::event_definition(self : CatchEvent) -> Field[ReadOnlyArray[EventDefinition]]

    CatchEvent::event_definition_ref

    fn CatchEvent::event_definition_ref(self : CatchEvent) -> Field[ReadOnlyArray[Reference]]

    CatchEvent::extension_elements

    fn CatchEvent::extension_elements(self : CatchEvent) -> Field[ExtensionElements]

    CatchEvent::from_element

    fn CatchEvent::from_element(element : Element) -> CatchEvent?

    CatchEvent::id

    fn CatchEvent::id(self : CatchEvent) -> Field[String]

    CatchEvent::incoming

    fn CatchEvent::incoming(self : CatchEvent) -> Field[ReadOnlyArray[Reference]]

    CatchEvent::monitoring

    fn CatchEvent::monitoring(self : CatchEvent) -> Field[Monitoring]

    CatchEvent::name

    fn CatchEvent::name(self : CatchEvent) -> Field[String]

    CatchEvent::not_equal

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

    CatchEvent::outgoing

    fn CatchEvent::outgoing(self : CatchEvent) -> Field[ReadOnlyArray[Reference]]

    CatchEvent::output_set

    fn CatchEvent::output_set(self : CatchEvent) -> Field[OutputSet]

    CatchEvent::parallel_multiple

    fn CatchEvent::parallel_multiple(self : CatchEvent) -> Field[Bool]

    CatchEvent::property

    fn CatchEvent::property(self : CatchEvent) -> Field[ReadOnlyArray[Property]]

    Category

    pub struct Category {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCategory.

    Category::category_value

    fn Category::category_value(self : Category) -> Field[ReadOnlyArray[CategoryValue]]

    Category::documentation

    fn Category::documentation(self : Category) -> Field[ReadOnlyArray[Documentation]]

    Category::equal

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

    Category::extension_elements

    fn Category::extension_elements(self : Category) -> Field[ExtensionElements]

    Category::from_element

    fn Category::from_element(element : Element) -> Category?

    Category::id

    fn Category::id(self : Category) -> Field[String]

    Category::name

    fn Category::name(self : Category) -> Field[String]

    Category::new

    fn Category::new(id? : String, name? : String, contents? : ArrayView[Content]) -> Category

    Category::not_equal

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

    Category::to_repr

    CategoryValue

    pub struct CategoryValue {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCategoryValue.

    CategoryValue::documentation

    fn CategoryValue::documentation(self : CategoryValue) -> Field[ReadOnlyArray[Documentation]]

    CategoryValue::equal

    CategoryValue::extension_elements

    fn CategoryValue::extension_elements(self : CategoryValue) -> Field[ExtensionElements]

    CategoryValue::from_element

    fn CategoryValue::from_element(element : Element) -> CategoryValue?

    CategoryValue::id

    fn CategoryValue::id(self : CategoryValue) -> Field[String]

    CategoryValue::new

    fn CategoryValue::new(id? : String, value? : String, contents? : ArrayView[Content]) -> CategoryValue

    CategoryValue::not_equal

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

    CategoryValue::value

    fn CategoryValue::value(self : CategoryValue) -> Field[String]

    Choreography

    pub struct Choreography {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tChoreography.

    Choreography::artifact

    fn Choreography::artifact(self : Choreography) -> Field[ReadOnlyArray[Artifact]]

    Choreography::choreography_ref

    fn Choreography::choreography_ref(self : Choreography) -> Field[ReadOnlyArray[Reference]]

    Choreography::conversation_association

    fn Choreography::conversation_association(self : Choreography) -> Field[ReadOnlyArray[ConversationAssociation]]

    fn Choreography::conversation_link(self : Choreography) -> Field[ReadOnlyArray[ConversationLink]]

    Choreography::conversation_node

    fn Choreography::conversation_node(self : Choreography) -> Field[ReadOnlyArray[ConversationNode]]

    Choreography::correlation_key

    fn Choreography::correlation_key(self : Choreography) -> Field[ReadOnlyArray[CorrelationKey]]

    Choreography::documentation

    fn Choreography::documentation(self : Choreography) -> Field[ReadOnlyArray[Documentation]]

    Choreography::equal

    Choreography::extension_elements

    fn Choreography::extension_elements(self : Choreography) -> Field[ExtensionElements]

    Choreography::flow_element

    fn Choreography::flow_element(self : Choreography) -> Field[ReadOnlyArray[FlowElement]]

    Choreography::from_element

    fn Choreography::from_element(element : Element) -> Choreography?

    Choreography::id

    fn Choreography::id(self : Choreography) -> Field[String]

    Choreography::is_closed

    fn Choreography::is_closed(self : Choreography) -> Field[Bool]

    Choreography::message_flow

    fn Choreography::message_flow(self : Choreography) -> Field[ReadOnlyArray[MessageFlow]]

    Choreography::message_flow_association

    fn Choreography::message_flow_association(self : Choreography) -> Field[ReadOnlyArray[MessageFlowAssociation]]

    Choreography::name

    fn Choreography::name(self : Choreography) -> Field[String]

    Choreography::new

    fn Choreography::new(id? : String, name? : String, is_closed? : Bool, contents? : ArrayView[Content]) -> Choreography

    Choreography::not_equal

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

    Choreography::participant

    fn Choreography::participant(self : Choreography) -> Field[ReadOnlyArray[Participant]]

    Choreography::participant_association

    fn Choreography::participant_association(self : Choreography) -> Field[ReadOnlyArray[ParticipantAssociation]]

    ChoreographyActivity

    pub struct ChoreographyActivity {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tChoreographyActivity.

    ChoreographyActivity::auditing

    ChoreographyActivity::category_value_ref

    fn ChoreographyActivity::category_value_ref(self : ChoreographyActivity) -> Field[ReadOnlyArray[Reference]]

    ChoreographyActivity::correlation_key

    fn ChoreographyActivity::correlation_key(self : ChoreographyActivity) -> Field[ReadOnlyArray[CorrelationKey]]

    ChoreographyActivity::documentation

    fn ChoreographyActivity::documentation(self : ChoreographyActivity) -> Field[ReadOnlyArray[Documentation]]

    ChoreographyActivity::equal

    ChoreographyActivity::extension_elements

    ChoreographyActivity::from_element

    fn ChoreographyActivity::from_element(element : Element) -> ChoreographyActivity?

    ChoreographyActivity::id

    ChoreographyActivity::incoming

    fn ChoreographyActivity::incoming(self : ChoreographyActivity) -> Field[ReadOnlyArray[Reference]]

    ChoreographyActivity::initiating_participant_ref

    fn ChoreographyActivity::initiating_participant_ref(self : ChoreographyActivity) -> Field[Reference]

    ChoreographyActivity::loop_type

    ChoreographyActivity::monitoring

    ChoreographyActivity::name

    fn ChoreographyActivity::name(self : ChoreographyActivity) -> Field[String]

    ChoreographyActivity::not_equal

    ChoreographyActivity::outgoing

    fn ChoreographyActivity::outgoing(self : ChoreographyActivity) -> Field[ReadOnlyArray[Reference]]

    ChoreographyActivity::participant_ref

    fn ChoreographyActivity::participant_ref(self : ChoreographyActivity) -> Field[ReadOnlyArray[Reference]]

    ChoreographyLoopType

    pub(all) enum ChoreographyLoopType {
    None
    Standard
    MultiInstanceSequential
    MultiInstanceParallel
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tChoreographyLoopType.

    ChoreographyLoopType::equal

    ChoreographyLoopType::not_equal

    ChoreographyLoopType::parse

    fn ChoreographyLoopType::parse(token : String) -> ChoreographyLoopType?

    ChoreographyLoopType::token

    fn ChoreographyLoopType::token(self : ChoreographyLoopType) -> String

    ChoreographyTask

    pub struct ChoreographyTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tChoreographyTask.

    ChoreographyTask::auditing

    ChoreographyTask::category_value_ref

    fn ChoreographyTask::category_value_ref(self : ChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    ChoreographyTask::correlation_key

    fn ChoreographyTask::correlation_key(self : ChoreographyTask) -> Field[ReadOnlyArray[CorrelationKey]]

    ChoreographyTask::documentation

    fn ChoreographyTask::documentation(self : ChoreographyTask) -> Field[ReadOnlyArray[Documentation]]

    ChoreographyTask::equal

    ChoreographyTask::extension_elements

    fn ChoreographyTask::extension_elements(self : ChoreographyTask) -> Field[ExtensionElements]

    ChoreographyTask::from_element

    fn ChoreographyTask::from_element(element : Element) -> ChoreographyTask?

    ChoreographyTask::id

    fn ChoreographyTask::id(self : ChoreographyTask) -> Field[String]

    ChoreographyTask::incoming

    fn ChoreographyTask::incoming(self : ChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    ChoreographyTask::initiating_participant_ref

    fn ChoreographyTask::initiating_participant_ref(self : ChoreographyTask) -> Field[Reference]

    ChoreographyTask::loop_type

    ChoreographyTask::message_flow_ref

    fn ChoreographyTask::message_flow_ref(self : ChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    ChoreographyTask::monitoring

    ChoreographyTask::name

    fn ChoreographyTask::name(self : ChoreographyTask) -> Field[String]

    ChoreographyTask::new

    fn ChoreographyTask::new(id? : String, name? : String, initiating_participant_ref? : Reference, loop_type? : ChoreographyLoopType, contents? : ArrayView[Content]) -> ChoreographyTask

    ChoreographyTask::not_equal

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

    ChoreographyTask::outgoing

    fn ChoreographyTask::outgoing(self : ChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    ChoreographyTask::participant_ref

    fn ChoreographyTask::participant_ref(self : ChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    Collaboration

    pub struct Collaboration {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCollaboration.

    Collaboration::artifact

    fn Collaboration::artifact(self : Collaboration) -> Field[ReadOnlyArray[Artifact]]

    Collaboration::choreography_ref

    fn Collaboration::choreography_ref(self : Collaboration) -> Field[ReadOnlyArray[Reference]]

    Collaboration::conversation_association

    fn Collaboration::conversation_association(self : Collaboration) -> Field[ReadOnlyArray[ConversationAssociation]]

    fn Collaboration::conversation_link(self : Collaboration) -> Field[ReadOnlyArray[ConversationLink]]

    Collaboration::conversation_node

    fn Collaboration::conversation_node(self : Collaboration) -> Field[ReadOnlyArray[ConversationNode]]

    Collaboration::correlation_key

    fn Collaboration::correlation_key(self : Collaboration) -> Field[ReadOnlyArray[CorrelationKey]]

    Collaboration::documentation

    fn Collaboration::documentation(self : Collaboration) -> Field[ReadOnlyArray[Documentation]]

    Collaboration::equal

    Collaboration::extension_elements

    fn Collaboration::extension_elements(self : Collaboration) -> Field[ExtensionElements]

    Collaboration::from_element

    fn Collaboration::from_element(element : Element) -> Collaboration?

    Collaboration::id

    fn Collaboration::id(self : Collaboration) -> Field[String]

    Collaboration::is_closed

    fn Collaboration::is_closed(self : Collaboration) -> Field[Bool]

    Collaboration::message_flow

    fn Collaboration::message_flow(self : Collaboration) -> Field[ReadOnlyArray[MessageFlow]]

    Collaboration::message_flow_association

    fn Collaboration::message_flow_association(self : Collaboration) -> Field[ReadOnlyArray[MessageFlowAssociation]]

    Collaboration::name

    fn Collaboration::name(self : Collaboration) -> Field[String]

    Collaboration::new

    fn Collaboration::new(id? : String, name? : String, is_closed? : Bool, contents? : ArrayView[Content]) -> Collaboration

    Collaboration::not_equal

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

    Collaboration::participant

    fn Collaboration::participant(self : Collaboration) -> Field[ReadOnlyArray[Participant]]

    Collaboration::participant_association

    fn Collaboration::participant_association(self : Collaboration) -> Field[ReadOnlyArray[ParticipantAssociation]]

    CompensateEventDefinition

    pub struct CompensateEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCompensateEventDefinition.

    CompensateEventDefinition::activity_ref

    CompensateEventDefinition::documentation

    fn CompensateEventDefinition::documentation(self : CompensateEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    CompensateEventDefinition::equal

    CompensateEventDefinition::extension_elements

    CompensateEventDefinition::from_element

    CompensateEventDefinition::id

    CompensateEventDefinition::new

    fn CompensateEventDefinition::new(id? : String, wait_for_completion? : Bool, activity_ref? : Reference, contents? : ArrayView[Content]) -> CompensateEventDefinition

    CompensateEventDefinition::not_equal

    CompensateEventDefinition::wait_for_completion

    fn CompensateEventDefinition::wait_for_completion(self : CompensateEventDefinition) -> Field[Bool]

    ComplexBehaviorDefinition

    pub struct ComplexBehaviorDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tComplexBehaviorDefinition.

    ComplexBehaviorDefinition::condition

    ComplexBehaviorDefinition::documentation

    fn ComplexBehaviorDefinition::documentation(self : ComplexBehaviorDefinition) -> Field[ReadOnlyArray[Documentation]]

    ComplexBehaviorDefinition::equal

    ComplexBehaviorDefinition::event

    ComplexBehaviorDefinition::extension_elements

    ComplexBehaviorDefinition::from_element

    ComplexBehaviorDefinition::id

    ComplexBehaviorDefinition::new

    ComplexBehaviorDefinition::not_equal

    ComplexGateway

    pub struct ComplexGateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tComplexGateway.

    ComplexGateway::activation_condition

    fn ComplexGateway::activation_condition(self : ComplexGateway) -> Field[Expression]

    ComplexGateway::auditing

    fn ComplexGateway::auditing(self : ComplexGateway) -> Field[Auditing]

    ComplexGateway::category_value_ref

    fn ComplexGateway::category_value_ref(self : ComplexGateway) -> Field[ReadOnlyArray[Reference]]

    ComplexGateway::default_

    fn ComplexGateway::default_(self : ComplexGateway) -> Field[Reference]

    ComplexGateway::documentation

    fn ComplexGateway::documentation(self : ComplexGateway) -> Field[ReadOnlyArray[Documentation]]

    ComplexGateway::equal

    ComplexGateway::extension_elements

    fn ComplexGateway::extension_elements(self : ComplexGateway) -> Field[ExtensionElements]

    ComplexGateway::from_element

    fn ComplexGateway::from_element(element : Element) -> ComplexGateway?

    ComplexGateway::gateway_direction

    fn ComplexGateway::gateway_direction(self : ComplexGateway) -> Field[GatewayDirection]

    ComplexGateway::id

    fn ComplexGateway::id(self : ComplexGateway) -> Field[String]

    ComplexGateway::incoming

    fn ComplexGateway::incoming(self : ComplexGateway) -> Field[ReadOnlyArray[Reference]]

    ComplexGateway::monitoring

    fn ComplexGateway::monitoring(self : ComplexGateway) -> Field[Monitoring]

    ComplexGateway::name

    fn ComplexGateway::name(self : ComplexGateway) -> Field[String]

    ComplexGateway::new

    fn ComplexGateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, default_? : Reference, contents? : ArrayView[Content]) -> ComplexGateway

    ComplexGateway::not_equal

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

    ComplexGateway::outgoing

    fn ComplexGateway::outgoing(self : ComplexGateway) -> Field[ReadOnlyArray[Reference]]

    ConditionalEventDefinition

    pub struct ConditionalEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tConditionalEventDefinition.

    ConditionalEventDefinition::condition

    ConditionalEventDefinition::documentation

    fn ConditionalEventDefinition::documentation(self : ConditionalEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    ConditionalEventDefinition::equal

    ConditionalEventDefinition::extension_elements

    ConditionalEventDefinition::from_element

    ConditionalEventDefinition::id

    ConditionalEventDefinition::new

    ConditionalEventDefinition::not_equal

    Content

    pub(all) enum Content {
    Text(String)
    Element(Element)
    Comment(String)
    ProcessingInstruction(target~ : String, data~ : String)
    } derive(Eq,
    Debug
    )

    Ordered semantic content. Text and element order are independent of source token spelling. Comments and processing instructions are inert document data.

    Content::equal

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

    Content::not_equal

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

    Content::to_repr

    Control

    pub(all) enum Control {
    Continue
    SkipChildren
    Stop
    } derive(Eq,
    Debug
    )

    Control::equal

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

    Control::not_equal

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

    Control::to_repr

    Conversation

    pub struct Conversation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tConversation.

    Conversation::correlation_key

    fn Conversation::correlation_key(self : Conversation) -> Field[ReadOnlyArray[CorrelationKey]]

    Conversation::documentation

    fn Conversation::documentation(self : Conversation) -> Field[ReadOnlyArray[Documentation]]

    Conversation::equal

    Conversation::extension_elements

    fn Conversation::extension_elements(self : Conversation) -> Field[ExtensionElements]

    Conversation::from_element

    fn Conversation::from_element(element : Element) -> Conversation?

    Conversation::id

    fn Conversation::id(self : Conversation) -> Field[String]

    Conversation::message_flow_ref

    fn Conversation::message_flow_ref(self : Conversation) -> Field[ReadOnlyArray[Reference]]

    Conversation::name

    fn Conversation::name(self : Conversation) -> Field[String]

    Conversation::new

    fn Conversation::new(id? : String, name? : String, contents? : ArrayView[Content]) -> Conversation

    Conversation::not_equal

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

    Conversation::participant_ref

    fn Conversation::participant_ref(self : Conversation) -> Field[ReadOnlyArray[Reference]]

    ConversationAssociation

    pub struct ConversationAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tConversationAssociation.

    ConversationAssociation::documentation

    fn ConversationAssociation::documentation(self : ConversationAssociation) -> Field[ReadOnlyArray[Documentation]]

    ConversationAssociation::equal

    ConversationAssociation::extension_elements

    ConversationAssociation::from_element

    ConversationAssociation::id

    ConversationAssociation::inner_conversation_node_ref

    fn ConversationAssociation::inner_conversation_node_ref(self : ConversationAssociation) -> Field[Reference]

    ConversationAssociation::new

    fn ConversationAssociation::new(id? : String, inner_conversation_node_ref? : Reference, outer_conversation_node_ref? : Reference, contents? : ArrayView[Content]) -> ConversationAssociation

    ConversationAssociation::not_equal

    ConversationAssociation::outer_conversation_node_ref

    fn ConversationAssociation::outer_conversation_node_ref(self : ConversationAssociation) -> Field[Reference]

    pub struct ConversationLink {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tConversationLink.

    ConversationLink::documentation

    fn ConversationLink::documentation(self : ConversationLink) -> Field[ReadOnlyArray[Documentation]]

    ConversationLink::equal

    ConversationLink::extension_elements

    fn ConversationLink::extension_elements(self : ConversationLink) -> Field[ExtensionElements]

    ConversationLink::from_element

    fn ConversationLink::from_element(element : Element) -> ConversationLink?

    ConversationLink::id

    fn ConversationLink::id(self : ConversationLink) -> Field[String]

    ConversationLink::name

    fn ConversationLink::name(self : ConversationLink) -> Field[String]

    ConversationLink::new

    fn ConversationLink::new(id? : String, name? : String, source_ref? : Reference, target_ref? : Reference, contents? : ArrayView[Content]) -> ConversationLink

    ConversationLink::not_equal

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

    ConversationLink::source_ref

    ConversationLink::target_ref

    ConversationNode

    pub struct ConversationNode {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tConversationNode.

    ConversationNode::correlation_key

    fn ConversationNode::correlation_key(self : ConversationNode) -> Field[ReadOnlyArray[CorrelationKey]]

    ConversationNode::documentation

    fn ConversationNode::documentation(self : ConversationNode) -> Field[ReadOnlyArray[Documentation]]

    ConversationNode::equal

    ConversationNode::extension_elements

    fn ConversationNode::extension_elements(self : ConversationNode) -> Field[ExtensionElements]

    ConversationNode::from_element

    fn ConversationNode::from_element(element : Element) -> ConversationNode?

    ConversationNode::id

    fn ConversationNode::id(self : ConversationNode) -> Field[String]

    ConversationNode::message_flow_ref

    fn ConversationNode::message_flow_ref(self : ConversationNode) -> Field[ReadOnlyArray[Reference]]

    ConversationNode::name

    fn ConversationNode::name(self : ConversationNode) -> Field[String]

    ConversationNode::not_equal

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

    ConversationNode::participant_ref

    fn ConversationNode::participant_ref(self : ConversationNode) -> Field[ReadOnlyArray[Reference]]

    CorrelationKey

    pub struct CorrelationKey {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCorrelationKey.

    CorrelationKey::correlation_property_ref

    fn CorrelationKey::correlation_property_ref(self : CorrelationKey) -> Field[ReadOnlyArray[Reference]]

    CorrelationKey::documentation

    fn CorrelationKey::documentation(self : CorrelationKey) -> Field[ReadOnlyArray[Documentation]]

    CorrelationKey::equal

    CorrelationKey::extension_elements

    fn CorrelationKey::extension_elements(self : CorrelationKey) -> Field[ExtensionElements]

    CorrelationKey::from_element

    fn CorrelationKey::from_element(element : Element) -> CorrelationKey?

    CorrelationKey::id

    fn CorrelationKey::id(self : CorrelationKey) -> Field[String]

    CorrelationKey::name

    fn CorrelationKey::name(self : CorrelationKey) -> Field[String]

    CorrelationKey::new

    fn CorrelationKey::new(id? : String, name? : String, contents? : ArrayView[Content]) -> CorrelationKey

    CorrelationKey::not_equal

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

    CorrelationProperty

    pub struct CorrelationProperty {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCorrelationProperty.

    CorrelationProperty::correlation_property_retrieval_expression

    fn CorrelationProperty::correlation_property_retrieval_expression(self : CorrelationProperty) -> Field[ReadOnlyArray[CorrelationPropertyRetrievalExpression]]

    CorrelationProperty::documentation

    fn CorrelationProperty::documentation(self : CorrelationProperty) -> Field[ReadOnlyArray[Documentation]]

    CorrelationProperty::equal

    CorrelationProperty::extension_elements

    CorrelationProperty::from_element

    fn CorrelationProperty::from_element(element : Element) -> CorrelationProperty?

    CorrelationProperty::id

    CorrelationProperty::name

    fn CorrelationProperty::name(self : CorrelationProperty) -> Field[String]

    CorrelationProperty::new

    fn CorrelationProperty::new(id? : String, name? : String, type_? : Reference, contents? : ArrayView[Content]) -> CorrelationProperty

    CorrelationProperty::not_equal

    CorrelationProperty::type_

    CorrelationPropertyBinding

    pub struct CorrelationPropertyBinding {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCorrelationPropertyBinding.

    CorrelationPropertyBinding::correlation_property_ref

    fn CorrelationPropertyBinding::correlation_property_ref(self : CorrelationPropertyBinding) -> Field[Reference]

    CorrelationPropertyBinding::data_path

    CorrelationPropertyBinding::documentation

    fn CorrelationPropertyBinding::documentation(self : CorrelationPropertyBinding) -> Field[ReadOnlyArray[Documentation]]

    CorrelationPropertyBinding::equal

    CorrelationPropertyBinding::extension_elements

    CorrelationPropertyBinding::from_element

    CorrelationPropertyBinding::id

    CorrelationPropertyBinding::new

    fn CorrelationPropertyBinding::new(id? : String, correlation_property_ref? : Reference, contents? : ArrayView[Content]) -> CorrelationPropertyBinding

    CorrelationPropertyBinding::not_equal

    CorrelationPropertyRetrievalExpression

    pub struct CorrelationPropertyRetrievalExpression {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCorrelationPropertyRetrievalExpression.

    CorrelationPropertyRetrievalExpression::documentation

    CorrelationPropertyRetrievalExpression::extension_elements

    CorrelationPropertyRetrievalExpression::from_element

    CorrelationPropertyRetrievalExpression::id

    CorrelationPropertyRetrievalExpression::message_path

    CorrelationPropertyRetrievalExpression::message_ref

    CorrelationPropertyRetrievalExpression::new

    CorrelationPropertyRetrievalExpression::not_equal

    CorrelationSubscription

    pub struct CorrelationSubscription {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tCorrelationSubscription.

    CorrelationSubscription::correlation_key_ref

    CorrelationSubscription::correlation_property_binding

    fn CorrelationSubscription::correlation_property_binding(self : CorrelationSubscription) -> Field[ReadOnlyArray[CorrelationPropertyBinding]]

    CorrelationSubscription::documentation

    fn CorrelationSubscription::documentation(self : CorrelationSubscription) -> Field[ReadOnlyArray[Documentation]]

    CorrelationSubscription::equal

    CorrelationSubscription::extension_elements

    CorrelationSubscription::from_element

    CorrelationSubscription::id

    CorrelationSubscription::new

    fn CorrelationSubscription::new(id? : String, correlation_key_ref? : Reference, contents? : ArrayView[Content]) -> CorrelationSubscription

    CorrelationSubscription::not_equal

    Cst

    pub struct Cst {
    tokens : ReadOnlyArray[Token]
    nodes : ReadOnlyArray[XmlNode]
    complete : Bool
    } derive(Eq,
    Debug
    )

    Cst::equal

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

    Cst::not_equal

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

    Cst::text

    fn Cst::text(self : Cst) -> String

    Cst::to_repr

    DataAssociation

    pub struct DataAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataAssociation.

    DataAssociation::assignment

    fn DataAssociation::assignment(self : DataAssociation) -> Field[ReadOnlyArray[Assignment]]

    DataAssociation::documentation

    fn DataAssociation::documentation(self : DataAssociation) -> Field[ReadOnlyArray[Documentation]]

    DataAssociation::equal

    DataAssociation::extension_elements

    fn DataAssociation::extension_elements(self : DataAssociation) -> Field[ExtensionElements]

    DataAssociation::from_element

    fn DataAssociation::from_element(element : Element) -> DataAssociation?

    DataAssociation::id

    fn DataAssociation::id(self : DataAssociation) -> Field[String]

    DataAssociation::new

    fn DataAssociation::new(id? : String, contents? : ArrayView[Content]) -> DataAssociation

    DataAssociation::not_equal

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

    DataAssociation::source_ref

    fn DataAssociation::source_ref(self : DataAssociation) -> Field[ReadOnlyArray[Reference]]

    DataAssociation::target_ref

    fn DataAssociation::target_ref(self : DataAssociation) -> Field[Reference]

    DataAssociation::transformation

    fn DataAssociation::transformation(self : DataAssociation) -> Field[FormalExpression]

    DataInput

    pub struct DataInput {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataInput.

    DataInput::data_state

    fn DataInput::data_state(self : DataInput) -> Field[DataState]

    DataInput::documentation

    fn DataInput::documentation(self : DataInput) -> Field[ReadOnlyArray[Documentation]]

    DataInput::equal

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

    DataInput::extension_elements

    fn DataInput::extension_elements(self : DataInput) -> Field[ExtensionElements]

    DataInput::from_element

    fn DataInput::from_element(element : Element) -> DataInput?

    DataInput::id

    fn DataInput::id(self : DataInput) -> Field[String]

    DataInput::is_collection

    fn DataInput::is_collection(self : DataInput) -> Field[Bool]

    DataInput::item_subject_ref

    fn DataInput::item_subject_ref(self : DataInput) -> Field[Reference]

    DataInput::name

    fn DataInput::name(self : DataInput) -> Field[String]

    DataInput::new

    fn DataInput::new(id? : String, name? : String, item_subject_ref? : Reference, is_collection? : Bool, contents? : ArrayView[Content]) -> DataInput

    DataInput::not_equal

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

    DataInputAssociation

    pub struct DataInputAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataInputAssociation.

    DataInputAssociation::assignment

    fn DataInputAssociation::assignment(self : DataInputAssociation) -> Field[ReadOnlyArray[Assignment]]

    DataInputAssociation::documentation

    fn DataInputAssociation::documentation(self : DataInputAssociation) -> Field[ReadOnlyArray[Documentation]]

    DataInputAssociation::equal

    DataInputAssociation::extension_elements

    DataInputAssociation::from_element

    fn DataInputAssociation::from_element(element : Element) -> DataInputAssociation?

    DataInputAssociation::id

    DataInputAssociation::new

    fn DataInputAssociation::new(id? : String, contents? : ArrayView[Content]) -> DataInputAssociation

    DataInputAssociation::not_equal

    DataInputAssociation::source_ref

    fn DataInputAssociation::source_ref(self : DataInputAssociation) -> Field[ReadOnlyArray[Reference]]

    DataInputAssociation::target_ref

    DataInputAssociation::transformation

    DataObject

    pub struct DataObject {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataObject.

    DataObject::auditing

    fn DataObject::auditing(self : DataObject) -> Field[Auditing]

    DataObject::category_value_ref

    fn DataObject::category_value_ref(self : DataObject) -> Field[ReadOnlyArray[Reference]]

    DataObject::data_state

    fn DataObject::data_state(self : DataObject) -> Field[DataState]

    DataObject::documentation

    fn DataObject::documentation(self : DataObject) -> Field[ReadOnlyArray[Documentation]]

    DataObject::equal

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

    DataObject::extension_elements

    fn DataObject::extension_elements(self : DataObject) -> Field[ExtensionElements]

    DataObject::from_element

    fn DataObject::from_element(element : Element) -> DataObject?

    DataObject::id

    fn DataObject::id(self : DataObject) -> Field[String]

    DataObject::is_collection

    fn DataObject::is_collection(self : DataObject) -> Field[Bool]

    DataObject::item_subject_ref

    fn DataObject::item_subject_ref(self : DataObject) -> Field[Reference]

    DataObject::monitoring

    fn DataObject::monitoring(self : DataObject) -> Field[Monitoring]

    DataObject::name

    fn DataObject::name(self : DataObject) -> Field[String]

    DataObject::new

    fn DataObject::new(id? : String, name? : String, item_subject_ref? : Reference, is_collection? : Bool, contents? : ArrayView[Content]) -> DataObject

    DataObject::not_equal

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

    DataObjectReference

    pub struct DataObjectReference {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataObjectReference.

    DataObjectReference::auditing

    DataObjectReference::category_value_ref

    fn DataObjectReference::category_value_ref(self : DataObjectReference) -> Field[ReadOnlyArray[Reference]]

    DataObjectReference::data_object_ref

    fn DataObjectReference::data_object_ref(self : DataObjectReference) -> Field[Reference]

    DataObjectReference::data_state

    DataObjectReference::documentation

    fn DataObjectReference::documentation(self : DataObjectReference) -> Field[ReadOnlyArray[Documentation]]

    DataObjectReference::equal

    DataObjectReference::extension_elements

    DataObjectReference::from_element

    fn DataObjectReference::from_element(element : Element) -> DataObjectReference?

    DataObjectReference::id

    DataObjectReference::item_subject_ref

    fn DataObjectReference::item_subject_ref(self : DataObjectReference) -> Field[Reference]

    DataObjectReference::monitoring

    DataObjectReference::name

    fn DataObjectReference::name(self : DataObjectReference) -> Field[String]

    DataObjectReference::new

    fn DataObjectReference::new(id? : String, name? : String, item_subject_ref? : Reference, data_object_ref? : Reference, contents? : ArrayView[Content]) -> DataObjectReference

    DataObjectReference::not_equal

    DataOutput

    pub struct DataOutput {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataOutput.

    DataOutput::data_state

    fn DataOutput::data_state(self : DataOutput) -> Field[DataState]

    DataOutput::documentation

    fn DataOutput::documentation(self : DataOutput) -> Field[ReadOnlyArray[Documentation]]

    DataOutput::equal

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

    DataOutput::extension_elements

    fn DataOutput::extension_elements(self : DataOutput) -> Field[ExtensionElements]

    DataOutput::from_element

    fn DataOutput::from_element(element : Element) -> DataOutput?

    DataOutput::id

    fn DataOutput::id(self : DataOutput) -> Field[String]

    DataOutput::is_collection

    fn DataOutput::is_collection(self : DataOutput) -> Field[Bool]

    DataOutput::item_subject_ref

    fn DataOutput::item_subject_ref(self : DataOutput) -> Field[Reference]

    DataOutput::name

    fn DataOutput::name(self : DataOutput) -> Field[String]

    DataOutput::new

    fn DataOutput::new(id? : String, name? : String, item_subject_ref? : Reference, is_collection? : Bool, contents? : ArrayView[Content]) -> DataOutput

    DataOutput::not_equal

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

    DataOutputAssociation

    pub struct DataOutputAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataOutputAssociation.

    DataOutputAssociation::assignment

    fn DataOutputAssociation::assignment(self : DataOutputAssociation) -> Field[ReadOnlyArray[Assignment]]

    DataOutputAssociation::documentation

    fn DataOutputAssociation::documentation(self : DataOutputAssociation) -> Field[ReadOnlyArray[Documentation]]

    DataOutputAssociation::equal

    DataOutputAssociation::extension_elements

    DataOutputAssociation::from_element

    fn DataOutputAssociation::from_element(element : Element) -> DataOutputAssociation?

    DataOutputAssociation::id

    DataOutputAssociation::new

    fn DataOutputAssociation::new(id? : String, contents? : ArrayView[Content]) -> DataOutputAssociation

    DataOutputAssociation::not_equal

    DataOutputAssociation::source_ref

    fn DataOutputAssociation::source_ref(self : DataOutputAssociation) -> Field[ReadOnlyArray[Reference]]

    DataOutputAssociation::target_ref

    DataOutputAssociation::transformation

    DataState

    pub struct DataState {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataState.

    DataState::documentation

    fn DataState::documentation(self : DataState) -> Field[ReadOnlyArray[Documentation]]

    DataState::equal

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

    DataState::extension_elements

    fn DataState::extension_elements(self : DataState) -> Field[ExtensionElements]

    DataState::from_element

    fn DataState::from_element(element : Element) -> DataState?

    DataState::id

    fn DataState::id(self : DataState) -> Field[String]

    DataState::name

    fn DataState::name(self : DataState) -> Field[String]

    DataState::new

    fn DataState::new(id? : String, name? : String, contents? : ArrayView[Content]) -> DataState

    DataState::not_equal

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

    DataStore

    pub struct DataStore {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataStore.

    DataStore::capacity

    fn DataStore::capacity(self : DataStore) -> Field[ExactInteger]

    DataStore::data_state

    fn DataStore::data_state(self : DataStore) -> Field[DataState]

    DataStore::documentation

    fn DataStore::documentation(self : DataStore) -> Field[ReadOnlyArray[Documentation]]

    DataStore::equal

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

    DataStore::extension_elements

    fn DataStore::extension_elements(self : DataStore) -> Field[ExtensionElements]

    DataStore::from_element

    fn DataStore::from_element(element : Element) -> DataStore?

    DataStore::id

    fn DataStore::id(self : DataStore) -> Field[String]

    DataStore::is_unlimited

    fn DataStore::is_unlimited(self : DataStore) -> Field[Bool]

    DataStore::item_subject_ref

    fn DataStore::item_subject_ref(self : DataStore) -> Field[Reference]

    DataStore::name

    fn DataStore::name(self : DataStore) -> Field[String]

    DataStore::new

    fn DataStore::new(id? : String, name? : String, capacity? : ExactInteger, is_unlimited? : Bool, item_subject_ref? : Reference, contents? : ArrayView[Content]) -> DataStore

    DataStore::not_equal

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

    DataStoreReference

    pub struct DataStoreReference {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tDataStoreReference.

    DataStoreReference::auditing

    DataStoreReference::category_value_ref

    fn DataStoreReference::category_value_ref(self : DataStoreReference) -> Field[ReadOnlyArray[Reference]]

    DataStoreReference::data_state

    DataStoreReference::data_store_ref

    fn DataStoreReference::data_store_ref(self : DataStoreReference) -> Field[Reference]

    DataStoreReference::documentation

    fn DataStoreReference::documentation(self : DataStoreReference) -> Field[ReadOnlyArray[Documentation]]

    DataStoreReference::equal

    DataStoreReference::extension_elements

    DataStoreReference::from_element

    fn DataStoreReference::from_element(element : Element) -> DataStoreReference?

    DataStoreReference::id

    fn DataStoreReference::id(self : DataStoreReference) -> Field[String]

    DataStoreReference::item_subject_ref

    fn DataStoreReference::item_subject_ref(self : DataStoreReference) -> Field[Reference]

    DataStoreReference::monitoring

    DataStoreReference::name

    fn DataStoreReference::name(self : DataStoreReference) -> Field[String]

    DataStoreReference::new

    fn DataStoreReference::new(id? : String, name? : String, item_subject_ref? : Reference, data_store_ref? : Reference, contents? : ArrayView[Content]) -> DataStoreReference

    DataStoreReference::not_equal

    DcBounds

    pub struct DcBounds {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Bounds.

    DcBounds::equal

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

    DcBounds::from_element

    fn DcBounds::from_element(element : Element) -> DcBounds?

    DcBounds::height

    fn DcBounds::height(self : DcBounds) -> Field[ExactNumber]

    DcBounds::new

    fn DcBounds::new(x? : ExactNumber, y? : ExactNumber, width? : ExactNumber, height? : ExactNumber, contents? : ArrayView[Content]) -> DcBounds

    DcBounds::not_equal

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

    DcBounds::to_repr

    DcBounds::width

    fn DcBounds::width(self : DcBounds) -> Field[ExactNumber]

    DcBounds::x

    DcBounds::y

    DcFont

    pub struct DcFont {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Font.

    DcFont::equal

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

    DcFont::from_element

    fn DcFont::from_element(element : Element) -> DcFont?

    DcFont::is_bold

    fn DcFont::is_bold(self : DcFont) -> Field[Bool]

    DcFont::is_italic

    fn DcFont::is_italic(self : DcFont) -> Field[Bool]

    DcFont::is_strike_through

    fn DcFont::is_strike_through(self : DcFont) -> Field[Bool]

    DcFont::is_underline

    fn DcFont::is_underline(self : DcFont) -> Field[Bool]

    DcFont::name

    fn DcFont::name(self : DcFont) -> Field[String]

    DcFont::new

    fn DcFont::new(name? : String, size? : ExactNumber, is_bold? : Bool, is_italic? : Bool, is_underline? : Bool, is_strike_through? : Bool, contents? : ArrayView[Content]) -> DcFont

    DcFont::not_equal

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

    DcFont::size

    fn DcFont::size(self : DcFont) -> Field[ExactNumber]

    DcFont::to_repr

    DcPoint

    pub struct DcPoint {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Point.

    DcPoint::equal

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

    DcPoint::from_element

    fn DcPoint::from_element(element : Element) -> DcPoint?

    DcPoint::new

    fn DcPoint::new(x? : ExactNumber, y? : ExactNumber, contents? : ArrayView[Content]) -> DcPoint

    DcPoint::not_equal

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

    DcPoint::to_repr

    DcPoint::x

    fn DcPoint::x(self : DcPoint) -> Field[ExactNumber]

    DcPoint::y

    fn DcPoint::y(self : DcPoint) -> Field[ExactNumber]

    Definitions

    pub struct Definitions {
    element : Element
    } derive(Eq,
    Debug
    )

    A definitions root. Children retain the caller's containment order; schema validation is separate from construction and serialization.

    Definitions::document

    fn Definitions::document(self : Definitions) -> Document

    Definitions::equal

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

    Definitions::exporter

    fn Definitions::exporter(self : Definitions) -> Field[String]

    Definitions::exporter_version

    fn Definitions::exporter_version(self : Definitions) -> Field[String]

    Definitions::expression_language

    fn Definitions::expression_language(self : Definitions) -> Field[String]

    Definitions::from_element

    fn Definitions::from_element(element : Element) -> Definitions?

    Definitions::id

    fn Definitions::id(self : Definitions) -> Field[String]

    Definitions::imports

    fn Definitions::imports(self : Definitions) -> ReadOnlyArray[Import]

    Definitions::name

    fn Definitions::name(self : Definitions) -> Field[String]

    Definitions::new

    fn Definitions::new(target_namespace_uri : String, id? : String, name? : String, expression_language? : String, type_language? : String, exporter? : String, exporter_version? : String, children? : ArrayView[Element]) -> Definitions

    Definitions::not_equal

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

    Definitions::roots

    fn Definitions::roots(self : Definitions) -> ReadOnlyArray[RootElement]

    Definitions::target_namespace

    fn Definitions::target_namespace(self : Definitions) -> Field[String]

    Definitions::type_language

    fn Definitions::type_language(self : Definitions) -> Field[String]

    DiAnonymousDiagramElementExtension1

    pub struct DiAnonymousDiagramElementExtension1 {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Anonymous_DiagramElement_extension_1.

    DiAnonymousDiagramElementExtension1::from_element

    DiAnonymousDiagramElementExtension1::not_equal

    DiDiagram

    pub struct DiDiagram {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Diagram.

    DiDiagram::documentation

    fn DiDiagram::documentation(self : DiDiagram) -> Field[String]

    DiDiagram::equal

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

    DiDiagram::from_element

    fn DiDiagram::from_element(element : Element) -> DiDiagram?

    DiDiagram::id

    fn DiDiagram::id(self : DiDiagram) -> Field[String]

    DiDiagram::name

    fn DiDiagram::name(self : DiDiagram) -> Field[String]

    DiDiagram::not_equal

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

    DiDiagram::resolution

    fn DiDiagram::resolution(self : DiDiagram) -> Field[ExactNumber]

    DiDiagramElement

    pub struct DiDiagramElement {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema DiagramElement.

    DiDiagramElement::equal

    DiDiagramElement::extension

    DiDiagramElement::from_element

    fn DiDiagramElement::from_element(element : Element) -> DiDiagramElement?

    DiDiagramElement::id

    fn DiDiagramElement::id(self : DiDiagramElement) -> Field[String]

    DiDiagramElement::not_equal

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

    DiEdge

    pub struct DiEdge {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Edge.

    DiEdge::equal

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

    DiEdge::extension

    DiEdge::from_element

    fn DiEdge::from_element(element : Element) -> DiEdge?

    DiEdge::id

    fn DiEdge::id(self : DiEdge) -> Field[String]

    DiEdge::not_equal

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

    DiEdge::to_repr

    DiEdge::waypoint

    fn DiEdge::waypoint(self : DiEdge) -> Field[ReadOnlyArray[DcPoint]]

    DiLabel

    pub struct DiLabel {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Label.

    DiLabel::bounds

    fn DiLabel::bounds(self : DiLabel) -> Field[DcBounds]

    DiLabel::equal

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

    DiLabel::extension

    DiLabel::from_element

    fn DiLabel::from_element(element : Element) -> DiLabel?

    DiLabel::id

    fn DiLabel::id(self : DiLabel) -> Field[String]

    DiLabel::not_equal

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

    DiLabel::to_repr

    DiLabeledEdge

    pub struct DiLabeledEdge {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema LabeledEdge.

    DiLabeledEdge::equal

    DiLabeledEdge::extension

    DiLabeledEdge::from_element

    fn DiLabeledEdge::from_element(element : Element) -> DiLabeledEdge?

    DiLabeledEdge::id

    fn DiLabeledEdge::id(self : DiLabeledEdge) -> Field[String]

    DiLabeledEdge::not_equal

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

    DiLabeledEdge::waypoint

    fn DiLabeledEdge::waypoint(self : DiLabeledEdge) -> Field[ReadOnlyArray[DcPoint]]

    DiLabeledShape

    pub struct DiLabeledShape {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema LabeledShape.

    DiLabeledShape::bounds

    DiLabeledShape::equal

    DiLabeledShape::extension

    DiLabeledShape::from_element

    fn DiLabeledShape::from_element(element : Element) -> DiLabeledShape?

    DiLabeledShape::id

    fn DiLabeledShape::id(self : DiLabeledShape) -> Field[String]

    DiLabeledShape::not_equal

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

    DiNode

    pub struct DiNode {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Node.

    DiNode::equal

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

    DiNode::extension

    DiNode::from_element

    fn DiNode::from_element(element : Element) -> DiNode?

    DiNode::id

    fn DiNode::id(self : DiNode) -> Field[String]

    DiNode::not_equal

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

    DiNode::to_repr

    DiPlane

    pub struct DiPlane {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Plane.

    DiPlane::diagram_element

    fn DiPlane::diagram_element(self : DiPlane) -> Field[ReadOnlyArray[DiDiagramElement]]

    DiPlane::equal

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

    DiPlane::extension

    DiPlane::from_element

    fn DiPlane::from_element(element : Element) -> DiPlane?

    DiPlane::id

    fn DiPlane::id(self : DiPlane) -> Field[String]

    DiPlane::not_equal

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

    DiPlane::to_repr

    DiShape

    pub struct DiShape {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Shape.

    DiShape::bounds

    fn DiShape::bounds(self : DiShape) -> Field[DcBounds]

    DiShape::equal

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

    DiShape::extension

    DiShape::from_element

    fn DiShape::from_element(element : Element) -> DiShape?

    DiShape::id

    fn DiShape::id(self : DiShape) -> Field[String]

    DiShape::not_equal

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

    DiShape::to_repr

    DiStyle

    pub struct DiStyle {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema Style.

    DiStyle::equal

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

    DiStyle::from_element

    fn DiStyle::from_element(element : Element) -> DiStyle?

    DiStyle::id

    fn DiStyle::id(self : DiStyle) -> Field[String]

    DiStyle::not_equal

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

    DiStyle::to_repr

    Diagnostic

    pub struct Diagnostic {
    code : String
    severity : Severity
    message : String
    span : Span?
    location : Location?
    } derive(Eq,
    Debug
    )

    Diagnostic::equal

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

    Diagnostic::not_equal

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

    Document

    pub struct Document {
    root : Element
    prolog : ReadOnlyArray[Content]
    epilog : ReadOnlyArray[Content]
    // private fields
    } derive(
    Debug
    )

    The typed document owns its root and ordered prolog/epilog data. Source maps remain separate from semantic equality and are absent on constructed values.
    impl Eq for Document

    Document::definitions

    fn Document::definitions(self : Document) -> Definitions?

    Document::equal

    fn Document::equal(a : Document, b : Document) -> Bool

    Document::new

    fn Document::new(root : Element, prolog? : ArrayView[Content], epilog? : ArrayView[Content]) -> Document

    Document::not_equal

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

    Document::to_repr

    Document::walk

    fn Document::walk(self : Document, visit : (Element) -> Unit) -> Unit

    DocumentGraph

    pub struct DocumentGraph {
    nodes : ReadOnlyArray[GraphNode]
    edges : ReadOnlyArray[GraphEdge]
    // private fields
    }

    DocumentGraph::lookup

    fn DocumentGraph::lookup(self : DocumentGraph, endpoint : GraphEndpoint, limits? : GraphLimits) -> Result[GraphNode, GraphFailure]

    DocumentGraph::new

    fn DocumentGraph::new(document : Document, resources? : ResourceSet, resource_id? : String, limits? : Limits, graph_limits? : GraphLimits) -> GraphBuildResult

    Index the document and its explicit resource closure once. Semantic findings coexist with a graph; a query fails when it encounters an invalid selected reference. Processing exhaustion never exposes an apparently complete graph.

    DocumentGraph::reachable

    fn DocumentGraph::reachable(self : DocumentGraph, start : GraphEndpoint, kinds? : ArrayView[GraphEdgeKind], direction? : GraphDirection, limits? : GraphLimits) -> ReachabilityResult

    Breadth-first discovery, including the start once. References, coordinates and XML order never create implicit control-flow edges.

    DocumentGraph::route

    fn DocumentGraph::route(self : DocumentGraph, start : GraphEndpoint, target : GraphEndpoint, kinds? : ArrayView[GraphEdgeKind], direction? : GraphDirection, limits? : GraphLimits) -> RouteResult

    One shortest route. The first differing authored connection in document order breaks ties. Reverse traversal keeps authored edge endpoints intact.

    DocumentGraph::to_repr

    DocumentIndex

    pub struct DocumentIndex {
    document : Document
    nodes : ReadOnlyArray[IndexedElement]
    complete : Bool
    // private fields
    } derive(
    Debug
    )

    Immutable source-order index. Duplicate occurrences are never overwritten.

    DocumentIndex::lookup

    fn DocumentIndex::lookup(self : DocumentIndex, id : String) -> IdLookup

    DocumentResource

    pub struct DocumentResource {
    location : String
    document : Document
    } derive(Eq,
    Debug
    )

    DocumentResource::equal

    DocumentResource::new

    fn DocumentResource::new(location : String, document : Document) -> DocumentResource

    DocumentResource::not_equal

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

    DocumentTree

    pub struct DocumentTree {
    document : Document
    // private fields
    }

    DocumentTree::length

    fn DocumentTree::length(self : DocumentTree) -> Int

    DocumentTree::lookup

    fn DocumentTree::lookup(self : DocumentTree, handle : NodeHandle) -> NodeLookup

    DocumentTree::new

    fn DocumentTree::new(document : Document, resource_id? : String, limits? : Limits) -> TreeBuildResult

    DocumentTree::resource_id

    fn DocumentTree::resource_id(self : DocumentTree) -> String?

    DocumentTree::root

    fn DocumentTree::root(self : DocumentTree) -> NodeRef

    DocumentTree::to_repr

    Documentation

    pub struct Documentation {
    element : Element
    } derive(Eq,
    Debug
    )

    Documentation::equal

    Documentation::from_element

    fn Documentation::from_element(element : Element) -> Documentation?

    Documentation::id

    fn Documentation::id(self : Documentation) -> Field[String]

    Documentation::new

    fn Documentation::new(contents : ArrayView[Content], id? : String, text_format? : String) -> Documentation

    Documentation::not_equal

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

    Documentation::text_format

    fn Documentation::text_format(self : Documentation) -> Field[String]

    Element

    pub struct Element {
    kind : Kind
    attributes : ReadOnlyArray[(String, String)]
    values : ReadOnlyArray[Attribute]
    children : ReadOnlyArray[Element]
    contents : ReadOnlyArray[Content]
    content : String
    bindings : ReadOnlyArray[(String, String)]
    value_type : ExpandedName?
    text_value : Scalar?
    span : Span?
    // private fields
    } derive(
    Debug
    )

    Immutable document element with schema-typed attribute and scalar values. The legacy string attributes expose model tokens; lexical source is in CST.
    impl Eq for Element

    Element::attribute

    fn Element::attribute(self : Element, name : String) -> String?

    Element::boolean

    fn Element::boolean(self : Element, name : String) -> Field[Bool]

    Element::enumeration

    fn Element::enumeration(self : Element, name : String) -> Field[BpmnEnum]

    Element::equal

    fn Element::equal(a : Element, b : Element) -> Bool

    Element::from_values

    fn Element::from_values(kind : Kind, values? : ArrayView[Attribute], contents? : ArrayView[Content], bindings? : ArrayView[(String, String)], value_type? : ExpandedName, text_value? : Scalar) -> Element

    Element::integer

    fn Element::integer(self : Element, name : String) -> Field[ExactInteger]

    Element::location

    fn Element::location(self : Element) -> Location?

    Element::namespace_binding

    fn Element::namespace_binding(self : Element, prefix : String) -> String?

    Element::new

    fn Element::new(kind : Kind, attributes? : ArrayView[(String, String)], children? : ArrayView[Element], content? : String, bindings? : ArrayView[(String, String)], value_type? : ExpandedName) -> Element

    A compatibility constructor for string attributes and text followed by children. QName spellings use the explicit bindings of this value. Typed references can instead be constructed directly from expanded identity with from_values.

    Element::not_equal

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

    Element::number

    fn Element::number(self : Element, name : String) -> Field[ExactNumber]

    Element::opaque_attributes

    fn Element::opaque_attributes(self : Element) -> ReadOnlyArray[Attribute]

    Element::reference

    fn Element::reference(self : Element, name : String) -> Field[Reference]

    Element::scalar

    fn Element::scalar(self : Element, name : ExpandedName) -> Scalar?

    Element::string

    fn Element::string(self : Element, name : String) -> Field[String]

    Element::to_repr

    Element::with_attribute

    fn Element::with_attribute(self : Element, attribute : Attribute) -> Element

    Element::with_contents

    fn Element::with_contents(self : Element, contents : ArrayView[Content]) -> Element

    Element::with_kind

    fn Element::with_kind(self : Element, kind : Kind) -> Element

    Element::xml

    fn Element::xml(self : Element) -> XmlElement?

    EndEvent

    pub struct EndEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEndEvent.

    EndEvent::auditing

    fn EndEvent::auditing(self : EndEvent) -> Field[Auditing]

    EndEvent::category_value_ref

    fn EndEvent::category_value_ref(self : EndEvent) -> Field[ReadOnlyArray[Reference]]

    EndEvent::data_input

    fn EndEvent::data_input(self : EndEvent) -> Field[ReadOnlyArray[DataInput]]

    EndEvent::data_input_association

    fn EndEvent::data_input_association(self : EndEvent) -> Field[ReadOnlyArray[DataInputAssociation]]

    EndEvent::documentation

    fn EndEvent::documentation(self : EndEvent) -> Field[ReadOnlyArray[Documentation]]

    EndEvent::equal

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

    EndEvent::event_definition

    fn EndEvent::event_definition(self : EndEvent) -> Field[ReadOnlyArray[EventDefinition]]

    EndEvent::event_definition_ref

    fn EndEvent::event_definition_ref(self : EndEvent) -> Field[ReadOnlyArray[Reference]]

    EndEvent::extension_elements

    fn EndEvent::extension_elements(self : EndEvent) -> Field[ExtensionElements]

    EndEvent::from_element

    fn EndEvent::from_element(element : Element) -> EndEvent?

    EndEvent::id

    fn EndEvent::id(self : EndEvent) -> Field[String]

    EndEvent::incoming

    fn EndEvent::incoming(self : EndEvent) -> Field[ReadOnlyArray[Reference]]

    EndEvent::input_set

    fn EndEvent::input_set(self : EndEvent) -> Field[InputSet]

    EndEvent::monitoring

    fn EndEvent::monitoring(self : EndEvent) -> Field[Monitoring]

    EndEvent::name

    fn EndEvent::name(self : EndEvent) -> Field[String]

    EndEvent::new

    fn EndEvent::new(id? : String, name? : String, contents? : ArrayView[Content]) -> EndEvent

    EndEvent::not_equal

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

    EndEvent::outgoing

    fn EndEvent::outgoing(self : EndEvent) -> Field[ReadOnlyArray[Reference]]

    EndEvent::property

    fn EndEvent::property(self : EndEvent) -> Field[ReadOnlyArray[Property]]

    EndEvent::to_repr

    EndPoint

    pub struct EndPoint {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEndPoint.

    EndPoint::documentation

    fn EndPoint::documentation(self : EndPoint) -> Field[ReadOnlyArray[Documentation]]

    EndPoint::equal

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

    EndPoint::extension_elements

    fn EndPoint::extension_elements(self : EndPoint) -> Field[ExtensionElements]

    EndPoint::from_element

    fn EndPoint::from_element(element : Element) -> EndPoint?

    EndPoint::id

    fn EndPoint::id(self : EndPoint) -> Field[String]

    EndPoint::new

    fn EndPoint::new(id? : String, contents? : ArrayView[Content]) -> EndPoint

    EndPoint::not_equal

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

    EndPoint::to_repr

    ErrorEventDefinition

    pub struct ErrorEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tErrorEventDefinition.

    ErrorEventDefinition::documentation

    fn ErrorEventDefinition::documentation(self : ErrorEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    ErrorEventDefinition::equal

    ErrorEventDefinition::error_ref

    ErrorEventDefinition::extension_elements

    ErrorEventDefinition::from_element

    fn ErrorEventDefinition::from_element(element : Element) -> ErrorEventDefinition?

    ErrorEventDefinition::id

    ErrorEventDefinition::new

    fn ErrorEventDefinition::new(id? : String, error_ref? : Reference, contents? : ArrayView[Content]) -> ErrorEventDefinition

    ErrorEventDefinition::not_equal

    Escalation

    pub struct Escalation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEscalation.

    Escalation::documentation

    fn Escalation::documentation(self : Escalation) -> Field[ReadOnlyArray[Documentation]]

    Escalation::equal

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

    Escalation::escalation_code

    fn Escalation::escalation_code(self : Escalation) -> Field[String]

    Escalation::extension_elements

    fn Escalation::extension_elements(self : Escalation) -> Field[ExtensionElements]

    Escalation::from_element

    fn Escalation::from_element(element : Element) -> Escalation?

    Escalation::id

    fn Escalation::id(self : Escalation) -> Field[String]

    Escalation::name

    fn Escalation::name(self : Escalation) -> Field[String]

    Escalation::new

    fn Escalation::new(id? : String, name? : String, escalation_code? : String, structure_ref? : Reference, contents? : ArrayView[Content]) -> Escalation

    Escalation::not_equal

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

    Escalation::structure_ref

    fn Escalation::structure_ref(self : Escalation) -> Field[Reference]

    EscalationEventDefinition

    pub struct EscalationEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEscalationEventDefinition.

    EscalationEventDefinition::documentation

    fn EscalationEventDefinition::documentation(self : EscalationEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    EscalationEventDefinition::equal

    EscalationEventDefinition::escalation_ref

    EscalationEventDefinition::extension_elements

    EscalationEventDefinition::from_element

    EscalationEventDefinition::id

    EscalationEventDefinition::new

    fn EscalationEventDefinition::new(id? : String, escalation_ref? : Reference, contents? : ArrayView[Content]) -> EscalationEventDefinition

    EscalationEventDefinition::not_equal

    Event

    pub struct Event {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEvent.

    Event::auditing

    fn Event::auditing(self : Event) -> Field[Auditing]

    Event::category_value_ref

    fn Event::category_value_ref(self : Event) -> Field[ReadOnlyArray[Reference]]

    Event::documentation

    fn Event::documentation(self : Event) -> Field[ReadOnlyArray[Documentation]]

    Event::equal

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

    Event::extension_elements

    fn Event::extension_elements(self : Event) -> Field[ExtensionElements]

    Event::from_element

    fn Event::from_element(element : Element) -> Event?

    Event::id

    fn Event::id(self : Event) -> Field[String]

    Event::incoming

    fn Event::incoming(self : Event) -> Field[ReadOnlyArray[Reference]]

    Event::monitoring

    fn Event::monitoring(self : Event) -> Field[Monitoring]

    Event::name

    fn Event::name(self : Event) -> Field[String]

    Event::not_equal

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

    Event::outgoing

    fn Event::outgoing(self : Event) -> Field[ReadOnlyArray[Reference]]

    Event::property

    fn Event::property(self : Event) -> Field[ReadOnlyArray[Property]]

    Event::to_repr

    EventBasedGateway

    pub struct EventBasedGateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEventBasedGateway.

    EventBasedGateway::auditing

    EventBasedGateway::category_value_ref

    fn EventBasedGateway::category_value_ref(self : EventBasedGateway) -> Field[ReadOnlyArray[Reference]]

    EventBasedGateway::documentation

    fn EventBasedGateway::documentation(self : EventBasedGateway) -> Field[ReadOnlyArray[Documentation]]

    EventBasedGateway::equal

    EventBasedGateway::event_gateway_type

    EventBasedGateway::extension_elements

    fn EventBasedGateway::extension_elements(self : EventBasedGateway) -> Field[ExtensionElements]

    EventBasedGateway::from_element

    fn EventBasedGateway::from_element(element : Element) -> EventBasedGateway?

    EventBasedGateway::gateway_direction

    fn EventBasedGateway::gateway_direction(self : EventBasedGateway) -> Field[GatewayDirection]

    EventBasedGateway::id

    fn EventBasedGateway::id(self : EventBasedGateway) -> Field[String]

    EventBasedGateway::incoming

    fn EventBasedGateway::incoming(self : EventBasedGateway) -> Field[ReadOnlyArray[Reference]]

    EventBasedGateway::instantiate

    fn EventBasedGateway::instantiate(self : EventBasedGateway) -> Field[Bool]

    EventBasedGateway::monitoring

    EventBasedGateway::name

    fn EventBasedGateway::name(self : EventBasedGateway) -> Field[String]

    EventBasedGateway::new

    fn EventBasedGateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, instantiate? : Bool, event_gateway_type? : EventBasedGatewayType, contents? : ArrayView[Content]) -> EventBasedGateway

    EventBasedGateway::not_equal

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

    EventBasedGateway::outgoing

    fn EventBasedGateway::outgoing(self : EventBasedGateway) -> Field[ReadOnlyArray[Reference]]

    EventBasedGatewayType

    pub(all) enum EventBasedGatewayType {
    Exclusive
    Parallel
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tEventBasedGatewayType.

    EventBasedGatewayType::equal

    EventBasedGatewayType::not_equal

    EventBasedGatewayType::parse

    fn EventBasedGatewayType::parse(token : String) -> EventBasedGatewayType?

    EventBasedGatewayType::token

    fn EventBasedGatewayType::token(self : EventBasedGatewayType) -> String

    EventDefinition

    pub struct EventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tEventDefinition.

    EventDefinition::documentation

    fn EventDefinition::documentation(self : EventDefinition) -> Field[ReadOnlyArray[Documentation]]

    EventDefinition::equal

    EventDefinition::extension_elements

    fn EventDefinition::extension_elements(self : EventDefinition) -> Field[ExtensionElements]

    EventDefinition::from_element

    fn EventDefinition::from_element(element : Element) -> EventDefinition?

    EventDefinition::id

    fn EventDefinition::id(self : EventDefinition) -> Field[String]

    EventDefinition::not_equal

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

    EventReader

    pub struct EventReader {
    // private fields
    }

    EventReader::iter

    EventReader::new

    fn EventReader::new(root : NodeRef) -> EventReader

    EventReader::next

    EventReader::skip_children

    fn EventReader::skip_children(self : EventReader) -> Unit

    EventReader::stop

    fn EventReader::stop(self : EventReader) -> Unit

    ExactInteger

    pub struct ExactInteger {
    token : String
    } derive(Eq,
    Debug
    )

    ExactInteger::equal

    ExactInteger::not_equal

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

    ExactInteger::parse

    fn ExactInteger::parse(token : String) -> ExactInteger?

    ExactNumber

    pub struct ExactNumber {
    token : String
    } derive(Eq,
    Debug
    )

    An exact XML Schema numeric token. It is never converted through a host float.

    ExactNumber::equal

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

    ExactNumber::is_finite

    fn ExactNumber::is_finite(self : ExactNumber) -> Bool

    ExactNumber::not_equal

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

    ExactNumber::parse

    fn ExactNumber::parse(token : String) -> ExactNumber?

    ExclusiveGateway

    pub struct ExclusiveGateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tExclusiveGateway.

    ExclusiveGateway::auditing

    ExclusiveGateway::category_value_ref

    fn ExclusiveGateway::category_value_ref(self : ExclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    ExclusiveGateway::default_

    ExclusiveGateway::documentation

    fn ExclusiveGateway::documentation(self : ExclusiveGateway) -> Field[ReadOnlyArray[Documentation]]

    ExclusiveGateway::equal

    ExclusiveGateway::extension_elements

    fn ExclusiveGateway::extension_elements(self : ExclusiveGateway) -> Field[ExtensionElements]

    ExclusiveGateway::from_element

    fn ExclusiveGateway::from_element(element : Element) -> ExclusiveGateway?

    ExclusiveGateway::gateway_direction

    fn ExclusiveGateway::gateway_direction(self : ExclusiveGateway) -> Field[GatewayDirection]

    ExclusiveGateway::id

    fn ExclusiveGateway::id(self : ExclusiveGateway) -> Field[String]

    ExclusiveGateway::incoming

    fn ExclusiveGateway::incoming(self : ExclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    ExclusiveGateway::monitoring

    ExclusiveGateway::name

    fn ExclusiveGateway::name(self : ExclusiveGateway) -> Field[String]

    ExclusiveGateway::new

    fn ExclusiveGateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, default_? : Reference, contents? : ArrayView[Content]) -> ExclusiveGateway

    ExclusiveGateway::not_equal

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

    ExclusiveGateway::outgoing

    fn ExclusiveGateway::outgoing(self : ExclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    ExpandedName

    pub struct ExpandedName {
    namespace_uri : String
    local_name : String
    } derive(Eq,
    Debug
    )

    ExpandedName::equal

    ExpandedName::new

    fn ExpandedName::new(namespace_uri : String, local_name : String) -> ExpandedName

    Names are values; writer validation checks constructed names and bindings.

    ExpandedName::not_equal

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

    Expression

    pub struct Expression {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tExpression.

    Expression::documentation

    fn Expression::documentation(self : Expression) -> Field[ReadOnlyArray[Documentation]]

    Expression::equal

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

    Expression::extension_elements

    fn Expression::extension_elements(self : Expression) -> Field[ExtensionElements]

    Expression::from_element

    fn Expression::from_element(element : Element) -> Expression?

    Expression::id

    fn Expression::id(self : Expression) -> Field[String]

    Expression::new

    fn Expression::new(id? : String, contents? : ArrayView[Content]) -> Expression

    Expression::not_equal

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

    Extension

    pub struct Extension {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tExtension.

    Extension::definition

    fn Extension::definition(self : Extension) -> Field[Reference]

    Extension::documentation

    fn Extension::documentation(self : Extension) -> Field[ReadOnlyArray[Documentation]]

    Extension::equal

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

    Extension::from_element

    fn Extension::from_element(element : Element) -> Extension?

    Extension::must_understand

    fn Extension::must_understand(self : Extension) -> Field[Bool]

    Extension::new

    fn Extension::new(definition? : Reference, must_understand? : Bool, contents? : ArrayView[Content]) -> Extension

    Extension::not_equal

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

    ExtensionElements

    pub struct ExtensionElements {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tExtensionElements.

    ExtensionElements::equal

    ExtensionElements::from_element

    fn ExtensionElements::from_element(element : Element) -> ExtensionElements?

    ExtensionElements::new

    ExtensionElements::not_equal

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

    ExternalNode

    pub struct ExternalNode {
    symbol : ResolvedSymbol
    occurrence : Int
    } derive(Eq,
    Debug
    )

    ExternalNode::equal

    ExternalNode::not_equal

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

    ExternalResource

    pub struct ExternalResource {
    location : String
    namespace_uri : String
    import_type : String
    symbols : ReadOnlyArray[String]
    } derive(Eq,
    Debug
    )

    Caller-supplied non-BPMN identities. This is an explicit symbol table, not an XML Schema, WSDL or vendor-language validator.

    ExternalResource::equal

    ExternalResource::new

    fn ExternalResource::new(location : String, namespace_uri : String, import_type : String, symbols : ArrayView[String]) -> ExternalResource

    ExternalResource::not_equal

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

    Field

    pub(all) enum Field[T] {
    Absent
    Present(T)
    InvalidValue(Scalar)
    } derive(Eq,
    Debug
    )

    Absence is separate from a present false, empty string, zero or reference.

    Field::equal

    fn[T : Eq] Field::equal(Field[T], Field[T]) -> Bool

    Field::not_equal

    fn[T : Eq] Field::not_equal(x : Field[T], y : Field[T]) -> Bool

    Field::value

    fn[T] Field::value(self : Field[T]) -> T?

    FlowElement

    pub struct FlowElement {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tFlowElement.

    FlowElement::auditing

    fn FlowElement::auditing(self : FlowElement) -> Field[Auditing]

    FlowElement::category_value_ref

    fn FlowElement::category_value_ref(self : FlowElement) -> Field[ReadOnlyArray[Reference]]

    FlowElement::documentation

    fn FlowElement::documentation(self : FlowElement) -> Field[ReadOnlyArray[Documentation]]

    FlowElement::equal

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

    FlowElement::extension_elements

    fn FlowElement::extension_elements(self : FlowElement) -> Field[ExtensionElements]

    FlowElement::from_element

    fn FlowElement::from_element(element : Element) -> FlowElement?

    FlowElement::id

    fn FlowElement::id(self : FlowElement) -> Field[String]

    FlowElement::monitoring

    fn FlowElement::monitoring(self : FlowElement) -> Field[Monitoring]

    FlowElement::name

    fn FlowElement::name(self : FlowElement) -> Field[String]

    FlowElement::not_equal

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

    FlowNode

    pub struct FlowNode {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tFlowNode.

    FlowNode::auditing

    fn FlowNode::auditing(self : FlowNode) -> Field[Auditing]

    FlowNode::category_value_ref

    fn FlowNode::category_value_ref(self : FlowNode) -> Field[ReadOnlyArray[Reference]]

    FlowNode::documentation

    fn FlowNode::documentation(self : FlowNode) -> Field[ReadOnlyArray[Documentation]]

    FlowNode::equal

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

    FlowNode::extension_elements

    fn FlowNode::extension_elements(self : FlowNode) -> Field[ExtensionElements]

    FlowNode::from_element

    fn FlowNode::from_element(element : Element) -> FlowNode?

    FlowNode::id

    fn FlowNode::id(self : FlowNode) -> Field[String]

    FlowNode::incoming

    fn FlowNode::incoming(self : FlowNode) -> Field[ReadOnlyArray[Reference]]

    FlowNode::monitoring

    fn FlowNode::monitoring(self : FlowNode) -> Field[Monitoring]

    FlowNode::name

    fn FlowNode::name(self : FlowNode) -> Field[String]

    FlowNode::not_equal

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

    FlowNode::outgoing

    fn FlowNode::outgoing(self : FlowNode) -> Field[ReadOnlyArray[Reference]]

    FlowNode::to_repr

    FormalExpression

    pub struct FormalExpression {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tFormalExpression.

    FormalExpression::documentation

    fn FormalExpression::documentation(self : FormalExpression) -> Field[ReadOnlyArray[Documentation]]

    FormalExpression::equal

    FormalExpression::evaluates_to_type_ref

    fn FormalExpression::evaluates_to_type_ref(self : FormalExpression) -> Field[Reference]

    FormalExpression::extension_elements

    fn FormalExpression::extension_elements(self : FormalExpression) -> Field[ExtensionElements]

    FormalExpression::from_element

    fn FormalExpression::from_element(element : Element) -> FormalExpression?

    FormalExpression::id

    fn FormalExpression::id(self : FormalExpression) -> Field[String]

    FormalExpression::language

    fn FormalExpression::language(self : FormalExpression) -> Field[String]

    FormalExpression::new

    fn FormalExpression::new(id? : String, language? : String, evaluates_to_type_ref? : Reference, contents? : ArrayView[Content]) -> FormalExpression

    FormalExpression::not_equal

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

    Gateway

    pub struct Gateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGateway.

    Gateway::auditing

    fn Gateway::auditing(self : Gateway) -> Field[Auditing]

    Gateway::category_value_ref

    fn Gateway::category_value_ref(self : Gateway) -> Field[ReadOnlyArray[Reference]]

    Gateway::documentation

    fn Gateway::documentation(self : Gateway) -> Field[ReadOnlyArray[Documentation]]

    Gateway::equal

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

    Gateway::extension_elements

    fn Gateway::extension_elements(self : Gateway) -> Field[ExtensionElements]

    Gateway::from_element

    fn Gateway::from_element(element : Element) -> Gateway?

    Gateway::gateway_direction

    fn Gateway::gateway_direction(self : Gateway) -> Field[GatewayDirection]

    Gateway::id

    fn Gateway::id(self : Gateway) -> Field[String]

    Gateway::incoming

    fn Gateway::incoming(self : Gateway) -> Field[ReadOnlyArray[Reference]]

    Gateway::monitoring

    fn Gateway::monitoring(self : Gateway) -> Field[Monitoring]

    Gateway::name

    fn Gateway::name(self : Gateway) -> Field[String]

    Gateway::new

    fn Gateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, contents? : ArrayView[Content]) -> Gateway

    Gateway::not_equal

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

    Gateway::outgoing

    fn Gateway::outgoing(self : Gateway) -> Field[ReadOnlyArray[Reference]]

    Gateway::to_repr

    GatewayDirection

    pub(all) enum GatewayDirection {
    Unspecified
    Converging
    Diverging
    Mixed
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tGatewayDirection.

    GatewayDirection::equal

    GatewayDirection::not_equal

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

    GatewayDirection::parse

    fn GatewayDirection::parse(token : String) -> GatewayDirection?

    GatewayDirection::token

    fn GatewayDirection::token(self : GatewayDirection) -> String

    GlobalBusinessRuleTask

    pub struct GlobalBusinessRuleTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalBusinessRuleTask.

    GlobalBusinessRuleTask::documentation

    fn GlobalBusinessRuleTask::documentation(self : GlobalBusinessRuleTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalBusinessRuleTask::equal

    GlobalBusinessRuleTask::extension_elements

    GlobalBusinessRuleTask::from_element

    fn GlobalBusinessRuleTask::from_element(element : Element) -> GlobalBusinessRuleTask?

    GlobalBusinessRuleTask::id

    GlobalBusinessRuleTask::implementation

    GlobalBusinessRuleTask::io_binding

    fn GlobalBusinessRuleTask::io_binding(self : GlobalBusinessRuleTask) -> Field[ReadOnlyArray[InputOutputBinding]]

    GlobalBusinessRuleTask::io_specification

    GlobalBusinessRuleTask::name

    GlobalBusinessRuleTask::new

    fn GlobalBusinessRuleTask::new(id? : String, name? : String, implementation? : Implementation, contents? : ArrayView[Content]) -> GlobalBusinessRuleTask

    GlobalBusinessRuleTask::not_equal

    GlobalBusinessRuleTask::resource_role

    fn GlobalBusinessRuleTask::resource_role(self : GlobalBusinessRuleTask) -> Field[ReadOnlyArray[ResourceRole]]

    GlobalBusinessRuleTask::supported_interface_ref

    fn GlobalBusinessRuleTask::supported_interface_ref(self : GlobalBusinessRuleTask) -> Field[ReadOnlyArray[Reference]]

    GlobalChoreographyTask

    pub struct GlobalChoreographyTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalChoreographyTask.

    GlobalChoreographyTask::artifact

    fn GlobalChoreographyTask::artifact(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[Artifact]]

    GlobalChoreographyTask::choreography_ref

    fn GlobalChoreographyTask::choreography_ref(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[Reference]]

    GlobalChoreographyTask::conversation_association

    fn GlobalChoreographyTask::conversation_association(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[ConversationAssociation]]

    fn GlobalChoreographyTask::conversation_link(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[ConversationLink]]

    GlobalChoreographyTask::conversation_node

    fn GlobalChoreographyTask::conversation_node(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[ConversationNode]]

    GlobalChoreographyTask::correlation_key

    fn GlobalChoreographyTask::correlation_key(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[CorrelationKey]]

    GlobalChoreographyTask::documentation

    fn GlobalChoreographyTask::documentation(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalChoreographyTask::equal

    GlobalChoreographyTask::extension_elements

    GlobalChoreographyTask::flow_element

    fn GlobalChoreographyTask::flow_element(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[FlowElement]]

    GlobalChoreographyTask::from_element

    fn GlobalChoreographyTask::from_element(element : Element) -> GlobalChoreographyTask?

    GlobalChoreographyTask::id

    GlobalChoreographyTask::initiating_participant_ref

    fn GlobalChoreographyTask::initiating_participant_ref(self : GlobalChoreographyTask) -> Field[Reference]

    GlobalChoreographyTask::is_closed

    fn GlobalChoreographyTask::is_closed(self : GlobalChoreographyTask) -> Field[Bool]

    GlobalChoreographyTask::message_flow

    fn GlobalChoreographyTask::message_flow(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[MessageFlow]]

    GlobalChoreographyTask::message_flow_association

    fn GlobalChoreographyTask::message_flow_association(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[MessageFlowAssociation]]

    GlobalChoreographyTask::name

    GlobalChoreographyTask::new

    fn GlobalChoreographyTask::new(id? : String, name? : String, is_closed? : Bool, initiating_participant_ref? : Reference, contents? : ArrayView[Content]) -> GlobalChoreographyTask

    GlobalChoreographyTask::not_equal

    GlobalChoreographyTask::participant

    fn GlobalChoreographyTask::participant(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[Participant]]

    GlobalChoreographyTask::participant_association

    fn GlobalChoreographyTask::participant_association(self : GlobalChoreographyTask) -> Field[ReadOnlyArray[ParticipantAssociation]]

    GlobalConversation

    pub struct GlobalConversation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalConversation.

    GlobalConversation::artifact

    fn GlobalConversation::artifact(self : GlobalConversation) -> Field[ReadOnlyArray[Artifact]]

    GlobalConversation::choreography_ref

    fn GlobalConversation::choreography_ref(self : GlobalConversation) -> Field[ReadOnlyArray[Reference]]

    GlobalConversation::conversation_association

    fn GlobalConversation::conversation_association(self : GlobalConversation) -> Field[ReadOnlyArray[ConversationAssociation]]

    fn GlobalConversation::conversation_link(self : GlobalConversation) -> Field[ReadOnlyArray[ConversationLink]]

    GlobalConversation::conversation_node

    fn GlobalConversation::conversation_node(self : GlobalConversation) -> Field[ReadOnlyArray[ConversationNode]]

    GlobalConversation::correlation_key

    fn GlobalConversation::correlation_key(self : GlobalConversation) -> Field[ReadOnlyArray[CorrelationKey]]

    GlobalConversation::documentation

    fn GlobalConversation::documentation(self : GlobalConversation) -> Field[ReadOnlyArray[Documentation]]

    GlobalConversation::equal

    GlobalConversation::extension_elements

    GlobalConversation::from_element

    fn GlobalConversation::from_element(element : Element) -> GlobalConversation?

    GlobalConversation::id

    fn GlobalConversation::id(self : GlobalConversation) -> Field[String]

    GlobalConversation::is_closed

    fn GlobalConversation::is_closed(self : GlobalConversation) -> Field[Bool]

    GlobalConversation::message_flow

    fn GlobalConversation::message_flow(self : GlobalConversation) -> Field[ReadOnlyArray[MessageFlow]]

    GlobalConversation::message_flow_association

    fn GlobalConversation::message_flow_association(self : GlobalConversation) -> Field[ReadOnlyArray[MessageFlowAssociation]]

    GlobalConversation::name

    fn GlobalConversation::name(self : GlobalConversation) -> Field[String]

    GlobalConversation::new

    fn GlobalConversation::new(id? : String, name? : String, is_closed? : Bool, contents? : ArrayView[Content]) -> GlobalConversation

    GlobalConversation::not_equal

    GlobalConversation::participant

    fn GlobalConversation::participant(self : GlobalConversation) -> Field[ReadOnlyArray[Participant]]

    GlobalConversation::participant_association

    fn GlobalConversation::participant_association(self : GlobalConversation) -> Field[ReadOnlyArray[ParticipantAssociation]]

    GlobalManualTask

    pub struct GlobalManualTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalManualTask.

    GlobalManualTask::documentation

    fn GlobalManualTask::documentation(self : GlobalManualTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalManualTask::equal

    GlobalManualTask::extension_elements

    fn GlobalManualTask::extension_elements(self : GlobalManualTask) -> Field[ExtensionElements]

    GlobalManualTask::from_element

    fn GlobalManualTask::from_element(element : Element) -> GlobalManualTask?

    GlobalManualTask::id

    fn GlobalManualTask::id(self : GlobalManualTask) -> Field[String]

    GlobalManualTask::io_binding

    fn GlobalManualTask::io_binding(self : GlobalManualTask) -> Field[ReadOnlyArray[InputOutputBinding]]

    GlobalManualTask::io_specification

    GlobalManualTask::name

    fn GlobalManualTask::name(self : GlobalManualTask) -> Field[String]

    GlobalManualTask::new

    fn GlobalManualTask::new(id? : String, name? : String, contents? : ArrayView[Content]) -> GlobalManualTask

    GlobalManualTask::not_equal

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

    GlobalManualTask::resource_role

    fn GlobalManualTask::resource_role(self : GlobalManualTask) -> Field[ReadOnlyArray[ResourceRole]]

    GlobalManualTask::supported_interface_ref

    fn GlobalManualTask::supported_interface_ref(self : GlobalManualTask) -> Field[ReadOnlyArray[Reference]]

    GlobalScriptTask

    pub struct GlobalScriptTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalScriptTask.

    GlobalScriptTask::documentation

    fn GlobalScriptTask::documentation(self : GlobalScriptTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalScriptTask::equal

    GlobalScriptTask::extension_elements

    fn GlobalScriptTask::extension_elements(self : GlobalScriptTask) -> Field[ExtensionElements]

    GlobalScriptTask::from_element

    fn GlobalScriptTask::from_element(element : Element) -> GlobalScriptTask?

    GlobalScriptTask::id

    fn GlobalScriptTask::id(self : GlobalScriptTask) -> Field[String]

    GlobalScriptTask::io_binding

    fn GlobalScriptTask::io_binding(self : GlobalScriptTask) -> Field[ReadOnlyArray[InputOutputBinding]]

    GlobalScriptTask::io_specification

    GlobalScriptTask::name

    fn GlobalScriptTask::name(self : GlobalScriptTask) -> Field[String]

    GlobalScriptTask::new

    fn GlobalScriptTask::new(id? : String, name? : String, script_language? : String, contents? : ArrayView[Content]) -> GlobalScriptTask

    GlobalScriptTask::not_equal

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

    GlobalScriptTask::resource_role

    fn GlobalScriptTask::resource_role(self : GlobalScriptTask) -> Field[ReadOnlyArray[ResourceRole]]

    GlobalScriptTask::script

    GlobalScriptTask::script_language

    fn GlobalScriptTask::script_language(self : GlobalScriptTask) -> Field[String]

    GlobalScriptTask::supported_interface_ref

    fn GlobalScriptTask::supported_interface_ref(self : GlobalScriptTask) -> Field[ReadOnlyArray[Reference]]

    GlobalTask

    pub struct GlobalTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalTask.

    GlobalTask::documentation

    fn GlobalTask::documentation(self : GlobalTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalTask::equal

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

    GlobalTask::extension_elements

    fn GlobalTask::extension_elements(self : GlobalTask) -> Field[ExtensionElements]

    GlobalTask::from_element

    fn GlobalTask::from_element(element : Element) -> GlobalTask?

    GlobalTask::id

    fn GlobalTask::id(self : GlobalTask) -> Field[String]

    GlobalTask::io_binding

    fn GlobalTask::io_binding(self : GlobalTask) -> Field[ReadOnlyArray[InputOutputBinding]]

    GlobalTask::io_specification

    fn GlobalTask::io_specification(self : GlobalTask) -> Field[InputOutputSpecification]

    GlobalTask::name

    fn GlobalTask::name(self : GlobalTask) -> Field[String]

    GlobalTask::new

    fn GlobalTask::new(id? : String, name? : String, contents? : ArrayView[Content]) -> GlobalTask

    GlobalTask::not_equal

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

    GlobalTask::resource_role

    fn GlobalTask::resource_role(self : GlobalTask) -> Field[ReadOnlyArray[ResourceRole]]

    GlobalTask::supported_interface_ref

    fn GlobalTask::supported_interface_ref(self : GlobalTask) -> Field[ReadOnlyArray[Reference]]

    GlobalUserTask

    pub struct GlobalUserTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGlobalUserTask.

    GlobalUserTask::documentation

    fn GlobalUserTask::documentation(self : GlobalUserTask) -> Field[ReadOnlyArray[Documentation]]

    GlobalUserTask::equal

    GlobalUserTask::extension_elements

    fn GlobalUserTask::extension_elements(self : GlobalUserTask) -> Field[ExtensionElements]

    GlobalUserTask::from_element

    fn GlobalUserTask::from_element(element : Element) -> GlobalUserTask?

    GlobalUserTask::id

    fn GlobalUserTask::id(self : GlobalUserTask) -> Field[String]

    GlobalUserTask::implementation

    fn GlobalUserTask::implementation(self : GlobalUserTask) -> Field[Implementation]

    GlobalUserTask::io_binding

    fn GlobalUserTask::io_binding(self : GlobalUserTask) -> Field[ReadOnlyArray[InputOutputBinding]]

    GlobalUserTask::io_specification

    GlobalUserTask::name

    fn GlobalUserTask::name(self : GlobalUserTask) -> Field[String]

    GlobalUserTask::new

    fn GlobalUserTask::new(id? : String, name? : String, implementation? : Implementation, contents? : ArrayView[Content]) -> GlobalUserTask

    GlobalUserTask::not_equal

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

    GlobalUserTask::rendering

    fn GlobalUserTask::rendering(self : GlobalUserTask) -> Field[ReadOnlyArray[Rendering]]

    GlobalUserTask::resource_role

    fn GlobalUserTask::resource_role(self : GlobalUserTask) -> Field[ReadOnlyArray[ResourceRole]]

    GlobalUserTask::supported_interface_ref

    fn GlobalUserTask::supported_interface_ref(self : GlobalUserTask) -> Field[ReadOnlyArray[Reference]]

    GraphBuildResult

    pub struct GraphBuildResult {
    graph : DocumentGraph?
    diagnostics : ReadOnlyArray[Diagnostic]
    } derive(
    Debug
    )

    GraphDirection

    pub(all) enum GraphDirection {
    Forward
    Reverse
    Both
    } derive(Eq,
    Debug
    )

    GraphDirection::equal

    GraphDirection::not_equal

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

    GraphEdge

    pub struct GraphEdge {
    kind : GraphEdgeKind
    source : GraphNode
    target : GraphNode
    connection : NodeRef?
    } derive(Eq,
    Debug
    )

    GraphEdge::equal

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

    GraphEdge::not_equal

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

    GraphEdgeKind

    pub(all) enum GraphEdgeKind {
    Containment
    SequenceFlow
    MessageFlow
    Association
    DataAssociation
    ConversationLink
    Reference
    } derive(Eq,
    Debug
    )

    GraphEdgeKind::equal

    GraphEdgeKind::not_equal

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

    GraphEndpoint

    pub(all) enum GraphEndpoint {
    Node(NodeHandle)
    Id(String)
    Qualified(ExpandedName)
    Symbol(ResolvedSymbol)
    } derive(Eq,
    Debug
    )

    GraphEndpoint::equal

    GraphEndpoint::not_equal

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

    GraphFailure

    pub(all) enum GraphFailure {
    InvalidEndpoint
    DocumentMismatch
    InvalidReference(NodeHandle)
    Ambiguous(ReadOnlyArray[GraphNode])
    Limit(GraphLimit)
    InvalidLimits
    } derive(Eq,
    Debug
    )

    GraphFailure::equal

    GraphFailure::not_equal

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

    GraphLimit

    pub(all) enum GraphLimit {
    Nodes
    Edges
    Results
    Work
    } derive(Eq,
    Debug
    )

    GraphLimit::equal

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

    GraphLimit::not_equal

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

    GraphLimits

    pub struct GraphLimits {
    nodes : Int
    edges : Int
    results : Int
    work : Int
    } derive(Eq,
    Debug
    )

    GraphLimits::equal

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

    GraphLimits::new

    fn GraphLimits::new(nodes? : Int, edges? : Int, results? : Int, work? : Int) -> GraphLimits

    GraphLimits::not_equal

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

    GraphNode

    pub(all) enum GraphNode {
    Document(NodeRef)
    External(ExternalNode)
    } derive(Eq,
    Debug
    )

    GraphNode::equal

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

    GraphNode::id

    fn GraphNode::id(self : GraphNode) -> String?

    GraphNode::not_equal

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

    GraphRoute

    pub struct GraphRoute {
    nodes : ReadOnlyArray[GraphNode]
    edges : ReadOnlyArray[GraphEdge]
    } derive(Eq,
    Debug
    )

    GraphRoute::equal

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

    GraphRoute::not_equal

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

    Group

    pub struct Group {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tGroup.

    Group::category_value_ref

    fn Group::category_value_ref(self : Group) -> Field[Reference]

    Group::documentation

    fn Group::documentation(self : Group) -> Field[ReadOnlyArray[Documentation]]

    Group::equal

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

    Group::extension_elements

    fn Group::extension_elements(self : Group) -> Field[ExtensionElements]

    Group::from_element

    fn Group::from_element(element : Element) -> Group?

    Group::id

    fn Group::id(self : Group) -> Field[String]

    Group::new

    fn Group::new(id? : String, category_value_ref? : Reference, contents? : ArrayView[Content]) -> Group

    Group::not_equal

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

    Group::to_repr

    HumanPerformer

    pub struct HumanPerformer {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tHumanPerformer.

    HumanPerformer::documentation

    fn HumanPerformer::documentation(self : HumanPerformer) -> Field[ReadOnlyArray[Documentation]]

    HumanPerformer::equal

    HumanPerformer::extension_elements

    fn HumanPerformer::extension_elements(self : HumanPerformer) -> Field[ExtensionElements]

    HumanPerformer::from_element

    fn HumanPerformer::from_element(element : Element) -> HumanPerformer?

    HumanPerformer::id

    fn HumanPerformer::id(self : HumanPerformer) -> Field[String]

    HumanPerformer::name

    fn HumanPerformer::name(self : HumanPerformer) -> Field[String]

    HumanPerformer::new

    fn HumanPerformer::new(id? : String, name? : String, contents? : ArrayView[Content]) -> HumanPerformer

    HumanPerformer::not_equal

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

    HumanPerformer::resource_assignment_expression

    fn HumanPerformer::resource_assignment_expression(self : HumanPerformer) -> Field[ResourceAssignmentExpression]

    HumanPerformer::resource_parameter_binding

    fn HumanPerformer::resource_parameter_binding(self : HumanPerformer) -> Field[ReadOnlyArray[ResourceParameterBinding]]

    HumanPerformer::resource_ref

    fn HumanPerformer::resource_ref(self : HumanPerformer) -> Field[Reference]

    IdLookup

    pub(all) enum IdLookup {
    Found(IndexedElement)
    Ambiguous(ReadOnlyArray[IndexedElement])
    Missing
    Incomplete
    } derive(Eq,
    Debug
    )

    IdLookup::equal

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

    IdLookup::not_equal

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

    IdLookup::to_repr

    Implementation

    pub(all) enum Implementation {
    Unspecified
    WebService
    Uri(String)
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tImplementation.

    Implementation::equal

    Implementation::not_equal

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

    Implementation::parse

    fn Implementation::parse(token : String) -> Implementation?

    Implementation::token

    fn Implementation::token(self : Implementation) -> String

    ImplicitThrowEvent

    pub struct ImplicitThrowEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tImplicitThrowEvent.

    ImplicitThrowEvent::auditing

    ImplicitThrowEvent::category_value_ref

    fn ImplicitThrowEvent::category_value_ref(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ImplicitThrowEvent::data_input

    fn ImplicitThrowEvent::data_input(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[DataInput]]

    ImplicitThrowEvent::data_input_association

    fn ImplicitThrowEvent::data_input_association(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[DataInputAssociation]]

    ImplicitThrowEvent::documentation

    fn ImplicitThrowEvent::documentation(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Documentation]]

    ImplicitThrowEvent::equal

    ImplicitThrowEvent::event_definition

    fn ImplicitThrowEvent::event_definition(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[EventDefinition]]

    ImplicitThrowEvent::event_definition_ref

    fn ImplicitThrowEvent::event_definition_ref(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ImplicitThrowEvent::extension_elements

    ImplicitThrowEvent::from_element

    fn ImplicitThrowEvent::from_element(element : Element) -> ImplicitThrowEvent?

    ImplicitThrowEvent::id

    fn ImplicitThrowEvent::id(self : ImplicitThrowEvent) -> Field[String]

    ImplicitThrowEvent::incoming

    fn ImplicitThrowEvent::incoming(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ImplicitThrowEvent::input_set

    ImplicitThrowEvent::monitoring

    ImplicitThrowEvent::name

    fn ImplicitThrowEvent::name(self : ImplicitThrowEvent) -> Field[String]

    ImplicitThrowEvent::new

    fn ImplicitThrowEvent::new(id? : String, name? : String, contents? : ArrayView[Content]) -> ImplicitThrowEvent

    ImplicitThrowEvent::not_equal

    ImplicitThrowEvent::outgoing

    fn ImplicitThrowEvent::outgoing(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ImplicitThrowEvent::property

    fn ImplicitThrowEvent::property(self : ImplicitThrowEvent) -> Field[ReadOnlyArray[Property]]

    Import

    pub struct Import {
    element : Element
    } derive(Eq,
    Debug
    )

    Import::equal

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

    Import::from_element

    fn Import::from_element(element : Element) -> Import?

    Import::import_type

    fn Import::import_type(self : Import) -> Field[String]

    Import::location

    fn Import::location(self : Import) -> Field[String]

    Import::namespace_uri

    fn Import::namespace_uri(self : Import) -> Field[String]

    Import::new

    fn Import::new(namespace_uri : String, location : String, import_type : String) -> Import

    Import::not_equal

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

    Import::to_repr

    InclusiveGateway

    pub struct InclusiveGateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tInclusiveGateway.

    InclusiveGateway::auditing

    InclusiveGateway::category_value_ref

    fn InclusiveGateway::category_value_ref(self : InclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    InclusiveGateway::default_

    InclusiveGateway::documentation

    fn InclusiveGateway::documentation(self : InclusiveGateway) -> Field[ReadOnlyArray[Documentation]]

    InclusiveGateway::equal

    InclusiveGateway::extension_elements

    fn InclusiveGateway::extension_elements(self : InclusiveGateway) -> Field[ExtensionElements]

    InclusiveGateway::from_element

    fn InclusiveGateway::from_element(element : Element) -> InclusiveGateway?

    InclusiveGateway::gateway_direction

    fn InclusiveGateway::gateway_direction(self : InclusiveGateway) -> Field[GatewayDirection]

    InclusiveGateway::id

    fn InclusiveGateway::id(self : InclusiveGateway) -> Field[String]

    InclusiveGateway::incoming

    fn InclusiveGateway::incoming(self : InclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    InclusiveGateway::monitoring

    InclusiveGateway::name

    fn InclusiveGateway::name(self : InclusiveGateway) -> Field[String]

    InclusiveGateway::new

    fn InclusiveGateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, default_? : Reference, contents? : ArrayView[Content]) -> InclusiveGateway

    InclusiveGateway::not_equal

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

    InclusiveGateway::outgoing

    fn InclusiveGateway::outgoing(self : InclusiveGateway) -> Field[ReadOnlyArray[Reference]]

    IndexedElement

    pub struct IndexedElement {
    ordinal : Int
    element : Element
    parent : Int?
    child_index : Int
    children : ReadOnlyArray[Int]
    depth : Int
    scope : Int?
    payload : Bool
    } derive(Eq,
    Debug
    )

    IndexedElement::equal

    IndexedElement::not_equal

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

    IndexedResource

    pub struct IndexedResource {
    resource_id : String?
    index : DocumentIndex
    records : Int
    } derive(
    Debug
    )

    One immutable document index in the resolver's explicit import closure. records counts the bounded element/attribute/content/namespace work, not only elements. Hosts can reuse an index without fetching or reparsing XML.

    InputOutputBinding

    pub struct InputOutputBinding {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tInputOutputBinding.

    InputOutputBinding::documentation

    fn InputOutputBinding::documentation(self : InputOutputBinding) -> Field[ReadOnlyArray[Documentation]]

    InputOutputBinding::equal

    InputOutputBinding::extension_elements

    InputOutputBinding::from_element

    fn InputOutputBinding::from_element(element : Element) -> InputOutputBinding?

    InputOutputBinding::id

    fn InputOutputBinding::id(self : InputOutputBinding) -> Field[String]

    InputOutputBinding::input_data_ref

    fn InputOutputBinding::input_data_ref(self : InputOutputBinding) -> Field[Reference]

    InputOutputBinding::new

    fn InputOutputBinding::new(id? : String, operation_ref? : Reference, input_data_ref? : Reference, output_data_ref? : Reference, contents? : ArrayView[Content]) -> InputOutputBinding

    InputOutputBinding::not_equal

    InputOutputBinding::operation_ref

    InputOutputBinding::output_data_ref

    fn InputOutputBinding::output_data_ref(self : InputOutputBinding) -> Field[Reference]

    InputOutputSpecification

    pub struct InputOutputSpecification {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tInputOutputSpecification.

    InputOutputSpecification::data_input

    fn InputOutputSpecification::data_input(self : InputOutputSpecification) -> Field[ReadOnlyArray[DataInput]]

    InputOutputSpecification::data_output

    fn InputOutputSpecification::data_output(self : InputOutputSpecification) -> Field[ReadOnlyArray[DataOutput]]

    InputOutputSpecification::documentation

    fn InputOutputSpecification::documentation(self : InputOutputSpecification) -> Field[ReadOnlyArray[Documentation]]

    InputOutputSpecification::equal

    InputOutputSpecification::extension_elements

    InputOutputSpecification::from_element

    InputOutputSpecification::id

    InputOutputSpecification::input_set

    fn InputOutputSpecification::input_set(self : InputOutputSpecification) -> Field[ReadOnlyArray[InputSet]]

    InputOutputSpecification::new

    InputOutputSpecification::not_equal

    InputOutputSpecification::output_set

    fn InputOutputSpecification::output_set(self : InputOutputSpecification) -> Field[ReadOnlyArray[OutputSet]]

    InputSet

    pub struct InputSet {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tInputSet.

    InputSet::data_input_refs

    fn InputSet::data_input_refs(self : InputSet) -> Field[ReadOnlyArray[Reference]]

    InputSet::documentation

    fn InputSet::documentation(self : InputSet) -> Field[ReadOnlyArray[Documentation]]

    InputSet::equal

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

    InputSet::extension_elements

    fn InputSet::extension_elements(self : InputSet) -> Field[ExtensionElements]

    InputSet::from_element

    fn InputSet::from_element(element : Element) -> InputSet?

    InputSet::id

    fn InputSet::id(self : InputSet) -> Field[String]

    InputSet::name

    fn InputSet::name(self : InputSet) -> Field[String]

    InputSet::new

    fn InputSet::new(id? : String, name? : String, contents? : ArrayView[Content]) -> InputSet

    InputSet::not_equal

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

    InputSet::optional_input_refs

    fn InputSet::optional_input_refs(self : InputSet) -> Field[ReadOnlyArray[Reference]]

    InputSet::output_set_refs

    fn InputSet::output_set_refs(self : InputSet) -> Field[ReadOnlyArray[Reference]]

    InputSet::to_repr

    InputSet::while_executing_input_refs

    fn InputSet::while_executing_input_refs(self : InputSet) -> Field[ReadOnlyArray[Reference]]

    Interface

    pub struct Interface {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tInterface.

    Interface::documentation

    fn Interface::documentation(self : Interface) -> Field[ReadOnlyArray[Documentation]]

    Interface::equal

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

    Interface::extension_elements

    fn Interface::extension_elements(self : Interface) -> Field[ExtensionElements]

    Interface::from_element

    fn Interface::from_element(element : Element) -> Interface?

    Interface::id

    fn Interface::id(self : Interface) -> Field[String]

    Interface::implementation_ref

    fn Interface::implementation_ref(self : Interface) -> Field[Reference]

    Interface::name

    fn Interface::name(self : Interface) -> Field[String]

    Interface::new

    fn Interface::new(id? : String, name? : String, implementation_ref? : Reference, contents? : ArrayView[Content]) -> Interface

    Interface::not_equal

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

    Interface::operation

    fn Interface::operation(self : Interface) -> Field[ReadOnlyArray[Operation]]

    IntermediateCatchEvent

    pub struct IntermediateCatchEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tIntermediateCatchEvent.

    IntermediateCatchEvent::auditing

    IntermediateCatchEvent::category_value_ref

    fn IntermediateCatchEvent::category_value_ref(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateCatchEvent::data_output

    fn IntermediateCatchEvent::data_output(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[DataOutput]]

    IntermediateCatchEvent::data_output_association

    fn IntermediateCatchEvent::data_output_association(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[DataOutputAssociation]]

    IntermediateCatchEvent::documentation

    fn IntermediateCatchEvent::documentation(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Documentation]]

    IntermediateCatchEvent::equal

    IntermediateCatchEvent::event_definition

    fn IntermediateCatchEvent::event_definition(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[EventDefinition]]

    IntermediateCatchEvent::event_definition_ref

    fn IntermediateCatchEvent::event_definition_ref(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateCatchEvent::extension_elements

    IntermediateCatchEvent::from_element

    fn IntermediateCatchEvent::from_element(element : Element) -> IntermediateCatchEvent?

    IntermediateCatchEvent::id

    IntermediateCatchEvent::incoming

    fn IntermediateCatchEvent::incoming(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateCatchEvent::monitoring

    IntermediateCatchEvent::name

    IntermediateCatchEvent::new

    fn IntermediateCatchEvent::new(id? : String, name? : String, parallel_multiple? : Bool, contents? : ArrayView[Content]) -> IntermediateCatchEvent

    IntermediateCatchEvent::not_equal

    IntermediateCatchEvent::outgoing

    fn IntermediateCatchEvent::outgoing(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateCatchEvent::output_set

    IntermediateCatchEvent::parallel_multiple

    fn IntermediateCatchEvent::parallel_multiple(self : IntermediateCatchEvent) -> Field[Bool]

    IntermediateCatchEvent::property

    fn IntermediateCatchEvent::property(self : IntermediateCatchEvent) -> Field[ReadOnlyArray[Property]]

    IntermediateThrowEvent

    pub struct IntermediateThrowEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tIntermediateThrowEvent.

    IntermediateThrowEvent::auditing

    IntermediateThrowEvent::category_value_ref

    fn IntermediateThrowEvent::category_value_ref(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateThrowEvent::data_input

    fn IntermediateThrowEvent::data_input(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[DataInput]]

    IntermediateThrowEvent::data_input_association

    fn IntermediateThrowEvent::data_input_association(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[DataInputAssociation]]

    IntermediateThrowEvent::documentation

    fn IntermediateThrowEvent::documentation(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Documentation]]

    IntermediateThrowEvent::equal

    IntermediateThrowEvent::event_definition

    fn IntermediateThrowEvent::event_definition(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[EventDefinition]]

    IntermediateThrowEvent::event_definition_ref

    fn IntermediateThrowEvent::event_definition_ref(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateThrowEvent::extension_elements

    IntermediateThrowEvent::from_element

    fn IntermediateThrowEvent::from_element(element : Element) -> IntermediateThrowEvent?

    IntermediateThrowEvent::id

    IntermediateThrowEvent::incoming

    fn IntermediateThrowEvent::incoming(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateThrowEvent::input_set

    IntermediateThrowEvent::monitoring

    IntermediateThrowEvent::name

    IntermediateThrowEvent::new

    fn IntermediateThrowEvent::new(id? : String, name? : String, contents? : ArrayView[Content]) -> IntermediateThrowEvent

    IntermediateThrowEvent::not_equal

    IntermediateThrowEvent::outgoing

    fn IntermediateThrowEvent::outgoing(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Reference]]

    IntermediateThrowEvent::property

    fn IntermediateThrowEvent::property(self : IntermediateThrowEvent) -> Field[ReadOnlyArray[Property]]

    ItemDefinition

    pub struct ItemDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tItemDefinition.

    ItemDefinition::documentation

    fn ItemDefinition::documentation(self : ItemDefinition) -> Field[ReadOnlyArray[Documentation]]

    ItemDefinition::equal

    ItemDefinition::extension_elements

    fn ItemDefinition::extension_elements(self : ItemDefinition) -> Field[ExtensionElements]

    ItemDefinition::from_element

    fn ItemDefinition::from_element(element : Element) -> ItemDefinition?

    ItemDefinition::id

    fn ItemDefinition::id(self : ItemDefinition) -> Field[String]

    ItemDefinition::is_collection

    fn ItemDefinition::is_collection(self : ItemDefinition) -> Field[Bool]

    ItemDefinition::item_kind

    fn ItemDefinition::item_kind(self : ItemDefinition) -> Field[ItemKind]

    ItemDefinition::new

    fn ItemDefinition::new(id? : String, structure_ref? : Reference, is_collection? : Bool, item_kind? : ItemKind, contents? : ArrayView[Content]) -> ItemDefinition

    ItemDefinition::not_equal

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

    ItemDefinition::structure_ref

    fn ItemDefinition::structure_ref(self : ItemDefinition) -> Field[Reference]

    ItemKind

    pub(all) enum ItemKind {
    Information
    Physical
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tItemKind.

    ItemKind::equal

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

    ItemKind::not_equal

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

    ItemKind::parse

    fn ItemKind::parse(token : String) -> ItemKind?

    ItemKind::to_repr

    ItemKind::token

    fn ItemKind::token(self : ItemKind) -> String

    Kind

    pub(all) enum Kind {
    DcFont
    DiEdge
    DiNode
    DcPoint
    DiLabel
    DiPlane
    DiShape
    DiStyle
    Bounds
    To
    DiDiagram
    Waypoint
    From
    Lane
    Task
    Text
    DiExtension
    Edge
    Error
    Event
    Group
    BpmnBPMNLabel
    Plane
    Shape
    Import
    Script
    Signal
    Source
    Target
    DiLabeledEdge
    Gateway
    LaneSet
    Message
    Process
    DiLabeledShape
    Diagram
    Activity
    Artifact
    Auditing
    Category
    DataPath
    EndEvent
    EndPoint
    ErrorRef
    FlowNode
    Incoming
    InputSet
    Outgoing
    Property
    Resource
    SendTask
    Supports
    TimeDate
    UserTask
    Condition
    DataInput
    DataState
    DataStore
    Extension
    Interface
    IoBinding
    Operation
    OutputSet
    Performer
    Rendering
    SourceRef
    TargetRef
    TimeCycle
    DiDiagramElement
    Assignment
    CatchEvent
    DataObject
    DataOutput
    Escalation
    Expression
    GlobalTask
    ManualTask
    Monitoring
    ScriptTask
    StartEvent
    SubProcess
    ThrowEvent
    BpmnBPMNLabelStyle
    Association
    BaseElement
    Definitions
    EndPointRef
    FlowElement
    FlowNodeRef
    MessageFlow
    MessagePath
    Participant
    PartnerRole
    ReceiveTask
    ResourceRef
    RootElement
    ServiceTask
    Transaction
    CallActivity
    ChildLaneSet
    Choreography
    Conversation
    InMessageRef
    InputSetRefs
    InterfaceRef
    OperationRef
    Relationship
    ResourceRole
    SequenceFlow
    TimeDuration
    BoundaryEvent
    CategoryValue
    Collaboration
    DataInputRefs
    Documentation
    InputDataItem
    LoopCondition
    OutMessageRef
    OutputSetRefs
    PartnerEntity
    ComplexGateway
    CorrelationKey
    DataOutputRefs
    GlobalUserTask
    HumanPerformer
    ItemDefinition
    MessageFlowRef
    OutputDataItem
    ParticipantRef
    PotentialOwner
    TextAnnotation
    Transformation
    AdHocSubProcess
    CallableElement
    ChoreographyRef
    DataAssociation
    EventDefinition
    IoSpecification
    LoopCardinality
    ParallelGateway
    SubChoreography
    SubConversation
    BusinessRuleTask
    CallChoreography
    CallConversation
    CategoryValueRef
    ChoreographyTask
    ConversationLink
    ConversationNode
    ExclusiveGateway
    FormalExpression
    GlobalManualTask
    GlobalScriptTask
    InclusiveGateway
    LoopDataInputRef
    PartitionElement
    EventBasedGateway
    ExtensionElements
    LoopDataOutputRef
    OptionalInputRefs
    ResourceParameter
    DataStoreReference
    EventDefinitionRef
    GlobalConversation
    ImplicitThrowEvent
    OptionalOutputRefs
    ActivationCondition
    CompletionCondition
    ConditionExpression
    CorrelationProperty
    DataObjectReference
    InnerParticipantRef
    LinkEventDefinition
    LoopCharacteristics
    OuterParticipantRef
    ChoreographyActivity
    DataInputAssociation
    ErrorEventDefinition
    TimerEventDefinition
    CancelEventDefinition
    DataOutputAssociation
    SignalEventDefinition
    SupportedInterfaceRef
    CorrelationPropertyRef
    GlobalBusinessRuleTask
    GlobalChoreographyTask
    IntermediateCatchEvent
    IntermediateThrowEvent
    MessageEventDefinition
    MessageFlowAssociation
    ParticipantAssociation
    ConversationAssociation
    CorrelationSubscription
    ParticipantMultiplicity
    WhileExecutingInputRefs
    ResourceParameterBinding
    TerminateEventDefinition
    WhileExecutingOutputRefs
    CompensateEventDefinition
    ComplexBehaviorDefinition
    EscalationEventDefinition
    ConditionalEventDefinition
    CorrelationPropertyBinding
    BaseElementWithMixedContent
    StandardLoopCharacteristics
    ResourceAssignmentExpression
    MultiInstanceLoopCharacteristics
    CorrelationPropertyRetrievalExpression
    Foreign(ExpandedName)
    Unknown(ExpandedName)
    } derive(Eq,
    Debug
    )

    Standard element names derived from global and local declarations.

    Kind::declared_type

    fn Kind::declared_type(self : Kind) -> ExpandedName?

    Kind::equal

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

    Kind::local_name

    fn Kind::local_name(self : Kind) -> String

    Kind::name

    fn Kind::name(self : Kind) -> ExpandedName

    Kind::namespace_uri

    fn Kind::namespace_uri(self : Kind) -> String

    Kind::not_equal

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

    Kind::substitutes

    fn Kind::substitutes(self : Kind, head : ExpandedName) -> Bool

    Kind::to_repr

    Lane

    pub struct Lane {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tLane.

    Lane::child_lane_set

    fn Lane::child_lane_set(self : Lane) -> Field[LaneSet]

    Lane::documentation

    fn Lane::documentation(self : Lane) -> Field[ReadOnlyArray[Documentation]]

    Lane::equal

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

    Lane::extension_elements

    fn Lane::extension_elements(self : Lane) -> Field[ExtensionElements]

    Lane::flow_node_ref

    fn Lane::flow_node_ref(self : Lane) -> Field[ReadOnlyArray[Reference]]

    Lane::from_element

    fn Lane::from_element(element : Element) -> Lane?

    Lane::id

    fn Lane::id(self : Lane) -> Field[String]

    Lane::name

    fn Lane::name(self : Lane) -> Field[String]

    Lane::new

    fn Lane::new(id? : String, name? : String, partition_element_ref? : Reference, contents? : ArrayView[Content]) -> Lane

    Lane::not_equal

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

    Lane::partition_element

    fn Lane::partition_element(self : Lane) -> Field[BaseElement]

    Lane::partition_element_ref

    fn Lane::partition_element_ref(self : Lane) -> Field[Reference]

    Lane::to_repr

    LaneSet

    pub struct LaneSet {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tLaneSet.

    LaneSet::documentation

    fn LaneSet::documentation(self : LaneSet) -> Field[ReadOnlyArray[Documentation]]

    LaneSet::equal

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

    LaneSet::extension_elements

    fn LaneSet::extension_elements(self : LaneSet) -> Field[ExtensionElements]

    LaneSet::from_element

    fn LaneSet::from_element(element : Element) -> LaneSet?

    LaneSet::id

    fn LaneSet::id(self : LaneSet) -> Field[String]

    LaneSet::lane

    fn LaneSet::lane(self : LaneSet) -> Field[ReadOnlyArray[Lane]]

    LaneSet::name

    fn LaneSet::name(self : LaneSet) -> Field[String]

    LaneSet::new

    fn LaneSet::new(id? : String, name? : String, contents? : ArrayView[Content]) -> LaneSet

    LaneSet::not_equal

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

    LaneSet::to_repr

    Limits

    pub struct Limits {
    source_units : Int
    output_units : Int
    nodes : Int
    depth : Int
    token_units : Int
    diagnostics : Int
    } derive(Eq,
    Debug
    )

    A processing bound is inclusive. All fields must be positive. Node count includes the document node, elements, content nodes and attributes.

    Limits::equal

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

    Limits::new

    fn Limits::new(source_units? : Int, output_units? : Int, nodes? : Int, depth? : Int, token_units? : Int, diagnostics? : Int) -> Limits

    Limits::not_equal

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

    Limits::to_repr

    LinkEventDefinition

    pub struct LinkEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tLinkEventDefinition.

    LinkEventDefinition::documentation

    fn LinkEventDefinition::documentation(self : LinkEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    LinkEventDefinition::equal

    LinkEventDefinition::extension_elements

    LinkEventDefinition::from_element

    fn LinkEventDefinition::from_element(element : Element) -> LinkEventDefinition?

    LinkEventDefinition::id

    LinkEventDefinition::name

    fn LinkEventDefinition::name(self : LinkEventDefinition) -> Field[String]

    LinkEventDefinition::new

    fn LinkEventDefinition::new(id? : String, name? : String, contents? : ArrayView[Content]) -> LinkEventDefinition

    LinkEventDefinition::not_equal

    LinkEventDefinition::source

    fn LinkEventDefinition::source(self : LinkEventDefinition) -> Field[ReadOnlyArray[Reference]]

    LinkEventDefinition::target

    Location

    pub struct Location {
    source_id : String?
    start : Position
    end : Position
    } derive(Eq,
    Debug
    )

    Location::equal

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

    Location::not_equal

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

    Location::to_repr

    LoopCharacteristics

    pub struct LoopCharacteristics {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tLoopCharacteristics.

    LoopCharacteristics::documentation

    fn LoopCharacteristics::documentation(self : LoopCharacteristics) -> Field[ReadOnlyArray[Documentation]]

    LoopCharacteristics::equal

    LoopCharacteristics::extension_elements

    LoopCharacteristics::from_element

    fn LoopCharacteristics::from_element(element : Element) -> LoopCharacteristics?

    LoopCharacteristics::id

    LoopCharacteristics::not_equal

    ManualTask

    pub struct ManualTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tManualTask.

    ManualTask::auditing

    fn ManualTask::auditing(self : ManualTask) -> Field[Auditing]

    ManualTask::category_value_ref

    fn ManualTask::category_value_ref(self : ManualTask) -> Field[ReadOnlyArray[Reference]]

    ManualTask::completion_quantity

    fn ManualTask::completion_quantity(self : ManualTask) -> Field[ExactInteger]

    ManualTask::data_input_association

    fn ManualTask::data_input_association(self : ManualTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    ManualTask::data_output_association

    fn ManualTask::data_output_association(self : ManualTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    ManualTask::default_

    fn ManualTask::default_(self : ManualTask) -> Field[Reference]

    ManualTask::documentation

    fn ManualTask::documentation(self : ManualTask) -> Field[ReadOnlyArray[Documentation]]

    ManualTask::equal

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

    ManualTask::extension_elements

    fn ManualTask::extension_elements(self : ManualTask) -> Field[ExtensionElements]

    ManualTask::from_element

    fn ManualTask::from_element(element : Element) -> ManualTask?

    ManualTask::id

    fn ManualTask::id(self : ManualTask) -> Field[String]

    ManualTask::incoming

    fn ManualTask::incoming(self : ManualTask) -> Field[ReadOnlyArray[Reference]]

    ManualTask::io_specification

    fn ManualTask::io_specification(self : ManualTask) -> Field[InputOutputSpecification]

    ManualTask::is_for_compensation

    fn ManualTask::is_for_compensation(self : ManualTask) -> Field[Bool]

    ManualTask::loop_characteristics

    fn ManualTask::loop_characteristics(self : ManualTask) -> Field[LoopCharacteristics]

    ManualTask::monitoring

    fn ManualTask::monitoring(self : ManualTask) -> Field[Monitoring]

    ManualTask::name

    fn ManualTask::name(self : ManualTask) -> Field[String]

    ManualTask::new

    fn ManualTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, contents? : ArrayView[Content]) -> ManualTask

    ManualTask::not_equal

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

    ManualTask::outgoing

    fn ManualTask::outgoing(self : ManualTask) -> Field[ReadOnlyArray[Reference]]

    ManualTask::property

    fn ManualTask::property(self : ManualTask) -> Field[ReadOnlyArray[Property]]

    ManualTask::resource_role

    fn ManualTask::resource_role(self : ManualTask) -> Field[ReadOnlyArray[ResourceRole]]

    ManualTask::start_quantity

    fn ManualTask::start_quantity(self : ManualTask) -> Field[ExactInteger]

    Message

    pub struct Message {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMessage.

    Message::documentation

    fn Message::documentation(self : Message) -> Field[ReadOnlyArray[Documentation]]

    Message::equal

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

    Message::extension_elements

    fn Message::extension_elements(self : Message) -> Field[ExtensionElements]

    Message::from_element

    fn Message::from_element(element : Element) -> Message?

    Message::id

    fn Message::id(self : Message) -> Field[String]

    Message::item_ref

    fn Message::item_ref(self : Message) -> Field[Reference]

    Message::name

    fn Message::name(self : Message) -> Field[String]

    Message::new

    fn Message::new(id? : String, name? : String, item_ref? : Reference, contents? : ArrayView[Content]) -> Message

    Message::not_equal

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

    Message::to_repr

    MessageEventDefinition

    pub struct MessageEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMessageEventDefinition.

    MessageEventDefinition::documentation

    fn MessageEventDefinition::documentation(self : MessageEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    MessageEventDefinition::equal

    MessageEventDefinition::extension_elements

    MessageEventDefinition::from_element

    fn MessageEventDefinition::from_element(element : Element) -> MessageEventDefinition?

    MessageEventDefinition::id

    MessageEventDefinition::message_ref

    MessageEventDefinition::new

    fn MessageEventDefinition::new(id? : String, message_ref? : Reference, contents? : ArrayView[Content]) -> MessageEventDefinition

    MessageEventDefinition::not_equal

    MessageEventDefinition::operation_ref

    MessageFlow

    pub struct MessageFlow {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMessageFlow.

    MessageFlow::documentation

    fn MessageFlow::documentation(self : MessageFlow) -> Field[ReadOnlyArray[Documentation]]

    MessageFlow::equal

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

    MessageFlow::extension_elements

    fn MessageFlow::extension_elements(self : MessageFlow) -> Field[ExtensionElements]

    MessageFlow::from_element

    fn MessageFlow::from_element(element : Element) -> MessageFlow?

    MessageFlow::id

    fn MessageFlow::id(self : MessageFlow) -> Field[String]

    MessageFlow::message_ref

    fn MessageFlow::message_ref(self : MessageFlow) -> Field[Reference]

    MessageFlow::name

    fn MessageFlow::name(self : MessageFlow) -> Field[String]

    MessageFlow::new

    fn MessageFlow::new(id? : String, name? : String, source_ref? : Reference, target_ref? : Reference, message_ref? : Reference, contents? : ArrayView[Content]) -> MessageFlow

    MessageFlow::not_equal

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

    MessageFlow::source_ref

    fn MessageFlow::source_ref(self : MessageFlow) -> Field[Reference]

    MessageFlow::target_ref

    fn MessageFlow::target_ref(self : MessageFlow) -> Field[Reference]

    MessageFlowAssociation

    pub struct MessageFlowAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMessageFlowAssociation.

    MessageFlowAssociation::documentation

    fn MessageFlowAssociation::documentation(self : MessageFlowAssociation) -> Field[ReadOnlyArray[Documentation]]

    MessageFlowAssociation::equal

    MessageFlowAssociation::extension_elements

    MessageFlowAssociation::from_element

    fn MessageFlowAssociation::from_element(element : Element) -> MessageFlowAssociation?

    MessageFlowAssociation::id

    MessageFlowAssociation::inner_message_flow_ref

    fn MessageFlowAssociation::inner_message_flow_ref(self : MessageFlowAssociation) -> Field[Reference]

    MessageFlowAssociation::new

    fn MessageFlowAssociation::new(id? : String, inner_message_flow_ref? : Reference, outer_message_flow_ref? : Reference, contents? : ArrayView[Content]) -> MessageFlowAssociation

    MessageFlowAssociation::not_equal

    MessageFlowAssociation::outer_message_flow_ref

    fn MessageFlowAssociation::outer_message_flow_ref(self : MessageFlowAssociation) -> Field[Reference]

    Monitoring

    pub struct Monitoring {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMonitoring.

    Monitoring::documentation

    fn Monitoring::documentation(self : Monitoring) -> Field[ReadOnlyArray[Documentation]]

    Monitoring::equal

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

    Monitoring::extension_elements

    fn Monitoring::extension_elements(self : Monitoring) -> Field[ExtensionElements]

    Monitoring::from_element

    fn Monitoring::from_element(element : Element) -> Monitoring?

    Monitoring::id

    fn Monitoring::id(self : Monitoring) -> Field[String]

    Monitoring::new

    fn Monitoring::new(id? : String, contents? : ArrayView[Content]) -> Monitoring

    Monitoring::not_equal

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

    MultiInstanceFlowCondition

    pub(all) enum MultiInstanceFlowCondition {
    None
    One
    All
    Complex
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tMultiInstanceFlowCondition.

    MultiInstanceFlowCondition::equal

    MultiInstanceFlowCondition::not_equal

    MultiInstanceFlowCondition::parse

    MultiInstanceFlowCondition::token

    MultiInstanceLoopCharacteristics

    pub struct MultiInstanceLoopCharacteristics {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tMultiInstanceLoopCharacteristics.

    MultiInstanceLoopCharacteristics::behavior

    MultiInstanceLoopCharacteristics::completion_condition

    MultiInstanceLoopCharacteristics::complex_behavior_definition

    MultiInstanceLoopCharacteristics::documentation

    MultiInstanceLoopCharacteristics::extension_elements

    MultiInstanceLoopCharacteristics::from_element

    MultiInstanceLoopCharacteristics::id

    MultiInstanceLoopCharacteristics::input_data_item

    MultiInstanceLoopCharacteristics::is_sequential

    MultiInstanceLoopCharacteristics::loop_cardinality

    MultiInstanceLoopCharacteristics::loop_data_input_ref

    MultiInstanceLoopCharacteristics::loop_data_output_ref

    MultiInstanceLoopCharacteristics::new

    fn MultiInstanceLoopCharacteristics::new(id? : String, is_sequential? : Bool, behavior? : MultiInstanceFlowCondition, one_behavior_event_ref? : Reference, none_behavior_event_ref? : Reference, contents? : ArrayView[Content]) -> MultiInstanceLoopCharacteristics

    MultiInstanceLoopCharacteristics::none_behavior_event_ref

    MultiInstanceLoopCharacteristics::not_equal

    MultiInstanceLoopCharacteristics::one_behavior_event_ref

    MultiInstanceLoopCharacteristics::output_data_item

    NodeCategory

    pub(all) enum NodeCategory {
    Document
    Definitions
    Process
    Activity
    Event
    Gateway
    SequenceFlow
    Collaboration
    Participant
    Lane
    Choreography
    ChoreographyActivity
    Conversation
    ConversationLink
    DiagramInterchange
    Extension
    Other
    Text
    Comment
    ProcessingInstruction
    } derive(Eq,
    Debug
    )

    NodeCategory::equal

    NodeCategory::not_equal

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

    NodeField

    pub struct NodeField {
    field : PathField
    attributes : ReadOnlyArray[Attribute]
    children : ReadOnlyArray[NodeRef]
    } derive(Eq,
    Debug
    )

    NodeField::equal

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

    NodeField::not_equal

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

    NodeHandle

    pub struct NodeHandle {
    ordinal : Int
    // private fields
    }

    impl Eq for NodeHandle

    NodeHandle::equal

    fn NodeHandle::equal(a : NodeHandle, b : NodeHandle) -> Bool

    NodeHandle::not_equal

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

    NodeHandle::resource_id

    fn NodeHandle::resource_id(self : NodeHandle) -> String?

    NodeHandle::to_repr

    NodeLookup

    pub(all) enum NodeLookup {
    Found(NodeRef)
    DocumentMismatch
    InvalidHandle
    } derive(Eq,
    Debug
    )

    NodeLookup::equal

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

    NodeLookup::not_equal

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

    NodePath

    pub struct NodePath {
    // private fields
    }

    The view is constant size; steps are materialized only when requested.
    impl Eq for NodePath

    NodePath::depth

    fn NodePath::depth(self : NodePath) -> Int

    NodePath::equal

    fn NodePath::equal(a : NodePath, b : NodePath) -> Bool

    NodePath::not_equal

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

    NodePath::resolve

    fn NodePath::resolve(self : NodePath, tree : DocumentTree) -> NodeLookup

    NodePath::steps

    fn NodePath::steps(self : NodePath) -> ReadOnlyArray[PathStep]

    NodePath::to_repr

    NodeRef

    pub struct NodeRef {
    // private fields
    }

    impl Eq for NodeRef

    NodeRef::attributes

    fn NodeRef::attributes(self : NodeRef) -> ReadOnlyArray[Attribute]

    NodeRef::category

    fn NodeRef::category(self : NodeRef) -> NodeCategory

    NodeRef::children

    fn NodeRef::children(self : NodeRef) -> ReadOnlyArray[NodeRef]

    NodeRef::depth

    fn NodeRef::depth(self : NodeRef) -> Int

    NodeRef::element

    fn NodeRef::element(self : NodeRef) -> Element?

    NodeRef::equal

    fn NodeRef::equal(a : NodeRef, b : NodeRef) -> Bool

    NodeRef::field

    fn NodeRef::field(self : NodeRef, field : PathField) -> NodeField?

    NodeRef::fields

    fn NodeRef::fields(self : NodeRef) -> ReadOnlyArray[NodeField]

    NodeRef::handle

    fn NodeRef::handle(self : NodeRef) -> NodeHandle

    NodeRef::id

    fn NodeRef::id(self : NodeRef) -> String?

    NodeRef::kind

    fn NodeRef::kind(self : NodeRef) -> Kind?

    NodeRef::location

    fn NodeRef::location(self : NodeRef) -> Location?

    NodeRef::not_equal

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

    NodeRef::parent

    fn NodeRef::parent(self : NodeRef) -> NodeRef?

    NodeRef::path

    fn NodeRef::path(self : NodeRef) -> NodePath

    NodeRef::resource_id

    fn NodeRef::resource_id(self : NodeRef) -> String?

    NodeRef::scalar

    fn NodeRef::scalar(self : NodeRef, name : ExpandedName) -> Scalar?

    NodeRef::span

    fn NodeRef::span(self : NodeRef) -> Span?

    NodeRef::step

    fn NodeRef::step(self : NodeRef) -> PathStep?

    NodeRef::to_repr

    NodeRef::value

    fn NodeRef::value(self : NodeRef) -> NodeValue

    NodeValue

    pub(all) enum NodeValue {
    Document
    Element(Element)
    Text(String)
    Comment(String)
    ProcessingInstruction(target~ : String, data~ : String)
    } derive(Eq,
    Debug
    )

    NodeValue::equal

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

    NodeValue::not_equal

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

    Operation

    pub struct Operation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tOperation.

    Operation::documentation

    fn Operation::documentation(self : Operation) -> Field[ReadOnlyArray[Documentation]]

    Operation::equal

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

    Operation::error_ref

    fn Operation::error_ref(self : Operation) -> Field[ReadOnlyArray[Reference]]

    Operation::extension_elements

    fn Operation::extension_elements(self : Operation) -> Field[ExtensionElements]

    Operation::from_element

    fn Operation::from_element(element : Element) -> Operation?

    Operation::id

    fn Operation::id(self : Operation) -> Field[String]

    Operation::implementation_ref

    fn Operation::implementation_ref(self : Operation) -> Field[Reference]

    Operation::in_message_ref

    fn Operation::in_message_ref(self : Operation) -> Field[Reference]

    Operation::name

    fn Operation::name(self : Operation) -> Field[String]

    Operation::new

    fn Operation::new(id? : String, name? : String, implementation_ref? : Reference, contents? : ArrayView[Content]) -> Operation

    Operation::not_equal

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

    Operation::out_message_ref

    fn Operation::out_message_ref(self : Operation) -> Field[Reference]

    OutputSet

    pub struct OutputSet {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tOutputSet.

    OutputSet::data_output_refs

    fn OutputSet::data_output_refs(self : OutputSet) -> Field[ReadOnlyArray[Reference]]

    OutputSet::documentation

    fn OutputSet::documentation(self : OutputSet) -> Field[ReadOnlyArray[Documentation]]

    OutputSet::equal

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

    OutputSet::extension_elements

    fn OutputSet::extension_elements(self : OutputSet) -> Field[ExtensionElements]

    OutputSet::from_element

    fn OutputSet::from_element(element : Element) -> OutputSet?

    OutputSet::id

    fn OutputSet::id(self : OutputSet) -> Field[String]

    OutputSet::input_set_refs

    fn OutputSet::input_set_refs(self : OutputSet) -> Field[ReadOnlyArray[Reference]]

    OutputSet::name

    fn OutputSet::name(self : OutputSet) -> Field[String]

    OutputSet::new

    fn OutputSet::new(id? : String, name? : String, contents? : ArrayView[Content]) -> OutputSet

    OutputSet::not_equal

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

    OutputSet::optional_output_refs

    fn OutputSet::optional_output_refs(self : OutputSet) -> Field[ReadOnlyArray[Reference]]

    OutputSet::while_executing_output_refs

    fn OutputSet::while_executing_output_refs(self : OutputSet) -> Field[ReadOnlyArray[Reference]]

    ParallelGateway

    pub struct ParallelGateway {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tParallelGateway.

    ParallelGateway::auditing

    ParallelGateway::category_value_ref

    fn ParallelGateway::category_value_ref(self : ParallelGateway) -> Field[ReadOnlyArray[Reference]]

    ParallelGateway::documentation

    fn ParallelGateway::documentation(self : ParallelGateway) -> Field[ReadOnlyArray[Documentation]]

    ParallelGateway::equal

    ParallelGateway::extension_elements

    fn ParallelGateway::extension_elements(self : ParallelGateway) -> Field[ExtensionElements]

    ParallelGateway::from_element

    fn ParallelGateway::from_element(element : Element) -> ParallelGateway?

    ParallelGateway::gateway_direction

    fn ParallelGateway::gateway_direction(self : ParallelGateway) -> Field[GatewayDirection]

    ParallelGateway::id

    fn ParallelGateway::id(self : ParallelGateway) -> Field[String]

    ParallelGateway::incoming

    fn ParallelGateway::incoming(self : ParallelGateway) -> Field[ReadOnlyArray[Reference]]

    ParallelGateway::monitoring

    fn ParallelGateway::monitoring(self : ParallelGateway) -> Field[Monitoring]

    ParallelGateway::name

    fn ParallelGateway::name(self : ParallelGateway) -> Field[String]

    ParallelGateway::new

    fn ParallelGateway::new(id? : String, name? : String, gateway_direction? : GatewayDirection, contents? : ArrayView[Content]) -> ParallelGateway

    ParallelGateway::not_equal

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

    ParallelGateway::outgoing

    fn ParallelGateway::outgoing(self : ParallelGateway) -> Field[ReadOnlyArray[Reference]]

    Participant

    pub struct Participant {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tParticipant.

    Participant::documentation

    fn Participant::documentation(self : Participant) -> Field[ReadOnlyArray[Documentation]]

    Participant::end_point_ref

    fn Participant::end_point_ref(self : Participant) -> Field[ReadOnlyArray[Reference]]

    Participant::equal

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

    Participant::extension_elements

    fn Participant::extension_elements(self : Participant) -> Field[ExtensionElements]

    Participant::from_element

    fn Participant::from_element(element : Element) -> Participant?

    Participant::id

    fn Participant::id(self : Participant) -> Field[String]

    Participant::interface_ref

    fn Participant::interface_ref(self : Participant) -> Field[ReadOnlyArray[Reference]]

    Participant::name

    fn Participant::name(self : Participant) -> Field[String]

    Participant::new

    fn Participant::new(id? : String, name? : String, process_ref? : Reference, contents? : ArrayView[Content]) -> Participant

    Participant::not_equal

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

    Participant::participant_multiplicity

    fn Participant::participant_multiplicity(self : Participant) -> Field[ParticipantMultiplicity]

    Participant::process_ref

    fn Participant::process_ref(self : Participant) -> Field[Reference]

    ParticipantAssociation

    pub struct ParticipantAssociation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tParticipantAssociation.

    ParticipantAssociation::documentation

    fn ParticipantAssociation::documentation(self : ParticipantAssociation) -> Field[ReadOnlyArray[Documentation]]

    ParticipantAssociation::equal

    ParticipantAssociation::extension_elements

    ParticipantAssociation::from_element

    fn ParticipantAssociation::from_element(element : Element) -> ParticipantAssociation?

    ParticipantAssociation::id

    ParticipantAssociation::inner_participant_ref

    fn ParticipantAssociation::inner_participant_ref(self : ParticipantAssociation) -> Field[Reference]

    ParticipantAssociation::new

    fn ParticipantAssociation::new(id? : String, contents? : ArrayView[Content]) -> ParticipantAssociation

    ParticipantAssociation::not_equal

    ParticipantAssociation::outer_participant_ref

    fn ParticipantAssociation::outer_participant_ref(self : ParticipantAssociation) -> Field[Reference]

    ParticipantMultiplicity

    pub struct ParticipantMultiplicity {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tParticipantMultiplicity.

    ParticipantMultiplicity::documentation

    fn ParticipantMultiplicity::documentation(self : ParticipantMultiplicity) -> Field[ReadOnlyArray[Documentation]]

    ParticipantMultiplicity::equal

    ParticipantMultiplicity::extension_elements

    ParticipantMultiplicity::from_element

    ParticipantMultiplicity::id

    ParticipantMultiplicity::maximum

    ParticipantMultiplicity::minimum

    ParticipantMultiplicity::new

    fn ParticipantMultiplicity::new(id? : String, minimum? : ExactInteger, maximum? : ExactInteger, contents? : ArrayView[Content]) -> ParticipantMultiplicity

    ParticipantMultiplicity::not_equal

    PartnerEntity

    pub struct PartnerEntity {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tPartnerEntity.

    PartnerEntity::documentation

    fn PartnerEntity::documentation(self : PartnerEntity) -> Field[ReadOnlyArray[Documentation]]

    PartnerEntity::equal

    PartnerEntity::extension_elements

    fn PartnerEntity::extension_elements(self : PartnerEntity) -> Field[ExtensionElements]

    PartnerEntity::from_element

    fn PartnerEntity::from_element(element : Element) -> PartnerEntity?

    PartnerEntity::id

    fn PartnerEntity::id(self : PartnerEntity) -> Field[String]

    PartnerEntity::name

    fn PartnerEntity::name(self : PartnerEntity) -> Field[String]

    PartnerEntity::new

    fn PartnerEntity::new(id? : String, name? : String, contents? : ArrayView[Content]) -> PartnerEntity

    PartnerEntity::not_equal

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

    PartnerEntity::participant_ref

    fn PartnerEntity::participant_ref(self : PartnerEntity) -> Field[ReadOnlyArray[Reference]]

    PartnerRole

    pub struct PartnerRole {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tPartnerRole.

    PartnerRole::documentation

    fn PartnerRole::documentation(self : PartnerRole) -> Field[ReadOnlyArray[Documentation]]

    PartnerRole::equal

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

    PartnerRole::extension_elements

    fn PartnerRole::extension_elements(self : PartnerRole) -> Field[ExtensionElements]

    PartnerRole::from_element

    fn PartnerRole::from_element(element : Element) -> PartnerRole?

    PartnerRole::id

    fn PartnerRole::id(self : PartnerRole) -> Field[String]

    PartnerRole::name

    fn PartnerRole::name(self : PartnerRole) -> Field[String]

    PartnerRole::new

    fn PartnerRole::new(id? : String, name? : String, contents? : ArrayView[Content]) -> PartnerRole

    PartnerRole::not_equal

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

    PartnerRole::participant_ref

    fn PartnerRole::participant_ref(self : PartnerRole) -> Field[ReadOnlyArray[Reference]]

    PathField

    pub(all) enum PathField {
    Named(ExpandedName)
    Text
    Comment
    ProcessingInstruction
    Root
    Prolog
    Epilog
    } derive(Eq,
    Debug
    )

    PathField::equal

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

    PathField::not_equal

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

    PathStep

    pub struct PathStep {
    field : PathField
    index : Int
    content_index : Int
    } derive(Eq,
    Debug
    )

    Index within a named field, plus the absolute ordered-content index.

    PathStep::equal

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

    PathStep::not_equal

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

    PathStep::to_repr

    Performer

    pub struct Performer {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tPerformer.

    Performer::documentation

    fn Performer::documentation(self : Performer) -> Field[ReadOnlyArray[Documentation]]

    Performer::equal

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

    Performer::extension_elements

    fn Performer::extension_elements(self : Performer) -> Field[ExtensionElements]

    Performer::from_element

    fn Performer::from_element(element : Element) -> Performer?

    Performer::id

    fn Performer::id(self : Performer) -> Field[String]

    Performer::name

    fn Performer::name(self : Performer) -> Field[String]

    Performer::new

    fn Performer::new(id? : String, name? : String, contents? : ArrayView[Content]) -> Performer

    Performer::not_equal

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

    Performer::resource_assignment_expression

    fn Performer::resource_assignment_expression(self : Performer) -> Field[ResourceAssignmentExpression]

    Performer::resource_parameter_binding

    fn Performer::resource_parameter_binding(self : Performer) -> Field[ReadOnlyArray[ResourceParameterBinding]]

    Performer::resource_ref

    fn Performer::resource_ref(self : Performer) -> Field[Reference]

    Position

    pub struct Position {
    offset : Int
    line : Int
    column : Int
    } derive(Eq,
    Debug
    )

    Position::equal

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

    Position::not_equal

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

    Position::to_repr

    PotentialOwner

    pub struct PotentialOwner {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tPotentialOwner.

    PotentialOwner::documentation

    fn PotentialOwner::documentation(self : PotentialOwner) -> Field[ReadOnlyArray[Documentation]]

    PotentialOwner::equal

    PotentialOwner::extension_elements

    fn PotentialOwner::extension_elements(self : PotentialOwner) -> Field[ExtensionElements]

    PotentialOwner::from_element

    fn PotentialOwner::from_element(element : Element) -> PotentialOwner?

    PotentialOwner::id

    fn PotentialOwner::id(self : PotentialOwner) -> Field[String]

    PotentialOwner::name

    fn PotentialOwner::name(self : PotentialOwner) -> Field[String]

    PotentialOwner::new

    fn PotentialOwner::new(id? : String, name? : String, contents? : ArrayView[Content]) -> PotentialOwner

    PotentialOwner::not_equal

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

    PotentialOwner::resource_assignment_expression

    fn PotentialOwner::resource_assignment_expression(self : PotentialOwner) -> Field[ResourceAssignmentExpression]

    PotentialOwner::resource_parameter_binding

    fn PotentialOwner::resource_parameter_binding(self : PotentialOwner) -> Field[ReadOnlyArray[ResourceParameterBinding]]

    PotentialOwner::resource_ref

    fn PotentialOwner::resource_ref(self : PotentialOwner) -> Field[Reference]

    Process

    pub struct Process {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tProcess.

    Process::artifact

    fn Process::artifact(self : Process) -> Field[ReadOnlyArray[Artifact]]

    Process::auditing

    fn Process::auditing(self : Process) -> Field[Auditing]

    Process::correlation_subscription

    fn Process::correlation_subscription(self : Process) -> Field[ReadOnlyArray[CorrelationSubscription]]

    Process::definitional_collaboration_ref

    fn Process::definitional_collaboration_ref(self : Process) -> Field[Reference]

    Process::documentation

    fn Process::documentation(self : Process) -> Field[ReadOnlyArray[Documentation]]

    Process::equal

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

    Process::extension_elements

    fn Process::extension_elements(self : Process) -> Field[ExtensionElements]

    Process::flow_element

    fn Process::flow_element(self : Process) -> Field[ReadOnlyArray[FlowElement]]

    Process::from_element

    fn Process::from_element(element : Element) -> Process?

    Process::id

    fn Process::id(self : Process) -> Field[String]

    Process::io_binding

    fn Process::io_binding(self : Process) -> Field[ReadOnlyArray[InputOutputBinding]]

    Process::io_specification

    fn Process::io_specification(self : Process) -> Field[InputOutputSpecification]

    Process::is_closed

    fn Process::is_closed(self : Process) -> Field[Bool]

    Process::is_executable

    fn Process::is_executable(self : Process) -> Field[Bool]

    Process::lane_set

    fn Process::lane_set(self : Process) -> Field[ReadOnlyArray[LaneSet]]

    Process::monitoring

    fn Process::monitoring(self : Process) -> Field[Monitoring]

    Process::name

    fn Process::name(self : Process) -> Field[String]

    Process::new

    fn Process::new(id? : String, name? : String, process_type? : ProcessType, is_closed? : Bool, is_executable? : Bool, definitional_collaboration_ref? : Reference, contents? : ArrayView[Content]) -> Process

    Process::not_equal

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

    Process::process_type

    fn Process::process_type(self : Process) -> Field[ProcessType]

    Process::property

    fn Process::property(self : Process) -> Field[ReadOnlyArray[Property]]

    Process::resource_role

    fn Process::resource_role(self : Process) -> Field[ReadOnlyArray[ResourceRole]]

    Process::supported_interface_ref

    fn Process::supported_interface_ref(self : Process) -> Field[ReadOnlyArray[Reference]]

    Process::supports

    fn Process::supports(self : Process) -> Field[ReadOnlyArray[Reference]]

    Process::to_repr

    ProcessType

    pub(all) enum ProcessType {
    None
    Public
    Private
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tProcessType.

    ProcessType::equal

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

    ProcessType::not_equal

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

    ProcessType::parse

    fn ProcessType::parse(token : String) -> ProcessType?

    ProcessType::token

    fn ProcessType::token(self : ProcessType) -> String

    Property

    pub struct Property {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tProperty.

    Property::data_state

    fn Property::data_state(self : Property) -> Field[DataState]

    Property::documentation

    fn Property::documentation(self : Property) -> Field[ReadOnlyArray[Documentation]]

    Property::equal

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

    Property::extension_elements

    fn Property::extension_elements(self : Property) -> Field[ExtensionElements]

    Property::from_element

    fn Property::from_element(element : Element) -> Property?

    Property::id

    fn Property::id(self : Property) -> Field[String]

    Property::item_subject_ref

    fn Property::item_subject_ref(self : Property) -> Field[Reference]

    Property::name

    fn Property::name(self : Property) -> Field[String]

    Property::new

    fn Property::new(id? : String, name? : String, item_subject_ref? : Reference, contents? : ArrayView[Content]) -> Property

    Property::not_equal

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

    Property::to_repr

    ReachabilityResult

    pub(all) enum ReachabilityResult {
    Complete(ReadOnlyArray[GraphNode])
    Failed(GraphFailure)
    } derive(Eq,
    Debug
    )

    ReachabilityResult::equal

    ReachabilityResult::not_equal

    ReadResult

    pub struct ReadResult {
    tree : Cst
    document : Document?
    source_map : SourceMap?
    diagnostics : ReadOnlyArray[Diagnostic]
    } derive(Eq,
    Debug
    )

    ReadResult::equal

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

    ReadResult::not_equal

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

    ReceiveTask

    pub struct ReceiveTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tReceiveTask.

    ReceiveTask::auditing

    fn ReceiveTask::auditing(self : ReceiveTask) -> Field[Auditing]

    ReceiveTask::category_value_ref

    fn ReceiveTask::category_value_ref(self : ReceiveTask) -> Field[ReadOnlyArray[Reference]]

    ReceiveTask::completion_quantity

    fn ReceiveTask::completion_quantity(self : ReceiveTask) -> Field[ExactInteger]

    ReceiveTask::data_input_association

    fn ReceiveTask::data_input_association(self : ReceiveTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    ReceiveTask::data_output_association

    fn ReceiveTask::data_output_association(self : ReceiveTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    ReceiveTask::default_

    fn ReceiveTask::default_(self : ReceiveTask) -> Field[Reference]

    ReceiveTask::documentation

    fn ReceiveTask::documentation(self : ReceiveTask) -> Field[ReadOnlyArray[Documentation]]

    ReceiveTask::equal

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

    ReceiveTask::extension_elements

    fn ReceiveTask::extension_elements(self : ReceiveTask) -> Field[ExtensionElements]

    ReceiveTask::from_element

    fn ReceiveTask::from_element(element : Element) -> ReceiveTask?

    ReceiveTask::id

    fn ReceiveTask::id(self : ReceiveTask) -> Field[String]

    ReceiveTask::implementation

    fn ReceiveTask::implementation(self : ReceiveTask) -> Field[Implementation]

    ReceiveTask::incoming

    fn ReceiveTask::incoming(self : ReceiveTask) -> Field[ReadOnlyArray[Reference]]

    ReceiveTask::instantiate

    fn ReceiveTask::instantiate(self : ReceiveTask) -> Field[Bool]

    ReceiveTask::io_specification

    fn ReceiveTask::io_specification(self : ReceiveTask) -> Field[InputOutputSpecification]

    ReceiveTask::is_for_compensation

    fn ReceiveTask::is_for_compensation(self : ReceiveTask) -> Field[Bool]

    ReceiveTask::loop_characteristics

    fn ReceiveTask::loop_characteristics(self : ReceiveTask) -> Field[LoopCharacteristics]

    ReceiveTask::message_ref

    fn ReceiveTask::message_ref(self : ReceiveTask) -> Field[Reference]

    ReceiveTask::monitoring

    fn ReceiveTask::monitoring(self : ReceiveTask) -> Field[Monitoring]

    ReceiveTask::name

    fn ReceiveTask::name(self : ReceiveTask) -> Field[String]

    ReceiveTask::new

    fn ReceiveTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, implementation? : Implementation, instantiate? : Bool, message_ref? : Reference, operation_ref? : Reference, contents? : ArrayView[Content]) -> ReceiveTask

    ReceiveTask::not_equal

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

    ReceiveTask::operation_ref

    fn ReceiveTask::operation_ref(self : ReceiveTask) -> Field[Reference]

    ReceiveTask::outgoing

    fn ReceiveTask::outgoing(self : ReceiveTask) -> Field[ReadOnlyArray[Reference]]

    ReceiveTask::property

    fn ReceiveTask::property(self : ReceiveTask) -> Field[ReadOnlyArray[Property]]

    ReceiveTask::resource_role

    fn ReceiveTask::resource_role(self : ReceiveTask) -> Field[ReadOnlyArray[ResourceRole]]

    ReceiveTask::start_quantity

    fn ReceiveTask::start_quantity(self : ReceiveTask) -> Field[ExactInteger]

    Reference

    pub struct Reference {
    kind : ReferenceKind
    spelling : String
    name : ExpandedName?
    } derive(
    Debug
    )

    Namespace identity and original spelling are separate. A missing name marks an unresolved namespace binding, not a missing external target document.
    impl Eq for Reference

    Reference::equal

    fn Reference::equal(a : Reference, b : Reference) -> Bool

    Reference::new

    fn Reference::new(name : ExpandedName, kind? : ReferenceKind) -> Reference

    Reference::not_equal

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

    Reference::parse

    fn Reference::parse(spelling : String, bindings? : ArrayView[(String, String)], kind? : ReferenceKind) -> Reference

    ReferenceKind

    pub(all) enum ReferenceKind {
    Id
    QName
    } derive(Eq,
    Debug
    )

    ReferenceKind::equal

    ReferenceKind::not_equal

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

    ReferenceResolution

    pub(all) enum ReferenceResolution {
    Found(ResolvedElement)
    External(ResolvedSymbol)
    Ambiguous(ReadOnlyArray[ResolvedElement], ReadOnlyArray[ResolvedSymbol])
    Unresolved
    Invalid
    Limit
    } derive(Eq,
    Debug
    )

    ReferenceResolution::equal

    ReferenceResolution::not_equal

    ReferenceResult

    pub struct ReferenceResult {
    index : DocumentIndex
    references : ReadOnlyArray[ResolvedReference]
    findings : ReadOnlyArray[ValidationFinding]
    complete : Bool
    // private fields
    } derive(
    Debug
    )

    ReferenceResult::indexed_resources

    fn ReferenceResult::indexed_resources(self : ReferenceResult) -> ReadOnlyArray[IndexedResource]

    ReferenceResult::resolve

    fn ReferenceResult::resolve(self : ReferenceResult, reference : Reference) -> ReferenceResolution

    Lookup uses the same direct/transitive import closure as field resolution.

    ReferenceRule

    pub struct ReferenceRule {
    owner : TypeId
    field : ExpandedName
    kind : SchemaFieldKind
    target : ReferenceTarget
    } derive(Eq,
    Debug
    )

    ReferenceRule::equal

    ReferenceRule::not_equal

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

    ReferenceTarget

    pub(all) enum ReferenceTarget {
    Bpmn(TypeId)
    AnyElement
    InteractionNode
    ItemAwareElement
    Plane
    External
    } derive(Eq,
    Debug
    )

    Semantic reference targets supplement the frozen XSD's QName/IDREF fields. Targets follow the BPMN 2.0.2 metamodel; external language symbols are supplied explicitly and are never parsed or executed by this module.

    ReferenceTarget::equal

    ReferenceTarget::not_equal

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

    Relationship

    pub struct Relationship {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tRelationship.

    Relationship::direction

    Relationship::documentation

    fn Relationship::documentation(self : Relationship) -> Field[ReadOnlyArray[Documentation]]

    Relationship::equal

    Relationship::extension_elements

    fn Relationship::extension_elements(self : Relationship) -> Field[ExtensionElements]

    Relationship::from_element

    fn Relationship::from_element(element : Element) -> Relationship?

    Relationship::id

    fn Relationship::id(self : Relationship) -> Field[String]

    Relationship::new

    fn Relationship::new(id? : String, type_? : String, direction? : RelationshipDirection, contents? : ArrayView[Content]) -> Relationship

    Relationship::not_equal

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

    Relationship::source

    fn Relationship::source(self : Relationship) -> Field[ReadOnlyArray[Reference]]

    Relationship::target

    fn Relationship::target(self : Relationship) -> Field[ReadOnlyArray[Reference]]

    Relationship::type_

    fn Relationship::type_(self : Relationship) -> Field[String]

    RelationshipDirection

    pub(all) enum RelationshipDirection {
    None
    Forward
    Backward
    Both
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tRelationshipDirection.

    RelationshipDirection::equal

    RelationshipDirection::not_equal

    RelationshipDirection::parse

    fn RelationshipDirection::parse(token : String) -> RelationshipDirection?

    RelationshipDirection::token

    fn RelationshipDirection::token(self : RelationshipDirection) -> String

    Rendering

    pub struct Rendering {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tRendering.

    Rendering::documentation

    fn Rendering::documentation(self : Rendering) -> Field[ReadOnlyArray[Documentation]]

    Rendering::equal

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

    Rendering::extension_elements

    fn Rendering::extension_elements(self : Rendering) -> Field[ExtensionElements]

    Rendering::from_element

    fn Rendering::from_element(element : Element) -> Rendering?

    Rendering::id

    fn Rendering::id(self : Rendering) -> Field[String]

    Rendering::new

    fn Rendering::new(id? : String, contents? : ArrayView[Content]) -> Rendering

    Rendering::not_equal

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

    ResolvedElement

    pub struct ResolvedElement {
    resource_id : String?
    node : IndexedElement
    } derive(Eq,
    Debug
    )

    ResolvedElement::equal

    ResolvedElement::not_equal

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

    ResolvedReference

    pub struct ResolvedReference {
    source : IndexedElement
    field : ExpandedName
    value : Reference
    target : ReferenceTarget
    resolution : ReferenceResolution
    } derive(Eq,
    Debug
    )

    ResolvedReference::equal

    ResolvedReference::not_equal

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

    ResolvedSymbol

    pub struct ResolvedSymbol {
    resource_id : String
    name : ExpandedName
    } derive(Eq,
    Debug
    )

    ResolvedSymbol::equal

    ResolvedSymbol::new

    fn ResolvedSymbol::new(resource_id : String, name : ExpandedName) -> ResolvedSymbol

    ResolvedSymbol::not_equal

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

    Resource

    pub struct Resource {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tResource.

    Resource::documentation

    fn Resource::documentation(self : Resource) -> Field[ReadOnlyArray[Documentation]]

    Resource::equal

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

    Resource::extension_elements

    fn Resource::extension_elements(self : Resource) -> Field[ExtensionElements]

    Resource::from_element

    fn Resource::from_element(element : Element) -> Resource?

    Resource::id

    fn Resource::id(self : Resource) -> Field[String]

    Resource::name

    fn Resource::name(self : Resource) -> Field[String]

    Resource::new

    fn Resource::new(id? : String, name? : String, contents? : ArrayView[Content]) -> Resource

    Resource::not_equal

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

    Resource::resource_parameter

    fn Resource::resource_parameter(self : Resource) -> Field[ReadOnlyArray[ResourceParameter]]

    Resource::to_repr

    ResourceAssignmentExpression

    pub struct ResourceAssignmentExpression {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tResourceAssignmentExpression.

    ResourceAssignmentExpression::documentation

    ResourceAssignmentExpression::expression

    ResourceAssignmentExpression::extension_elements

    ResourceAssignmentExpression::from_element

    ResourceAssignmentExpression::id

    ResourceAssignmentExpression::new

    ResourceAssignmentExpression::not_equal

    ResourceParameter

    pub struct ResourceParameter {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tResourceParameter.

    ResourceParameter::documentation

    fn ResourceParameter::documentation(self : ResourceParameter) -> Field[ReadOnlyArray[Documentation]]

    ResourceParameter::equal

    ResourceParameter::extension_elements

    fn ResourceParameter::extension_elements(self : ResourceParameter) -> Field[ExtensionElements]

    ResourceParameter::from_element

    fn ResourceParameter::from_element(element : Element) -> ResourceParameter?

    ResourceParameter::id

    fn ResourceParameter::id(self : ResourceParameter) -> Field[String]

    ResourceParameter::is_required

    fn ResourceParameter::is_required(self : ResourceParameter) -> Field[Bool]

    ResourceParameter::name

    fn ResourceParameter::name(self : ResourceParameter) -> Field[String]

    ResourceParameter::new

    fn ResourceParameter::new(id? : String, name? : String, type_? : Reference, is_required? : Bool, contents? : ArrayView[Content]) -> ResourceParameter

    ResourceParameter::not_equal

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

    ResourceParameter::type_

    ResourceParameterBinding

    pub struct ResourceParameterBinding {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tResourceParameterBinding.

    ResourceParameterBinding::documentation

    fn ResourceParameterBinding::documentation(self : ResourceParameterBinding) -> Field[ReadOnlyArray[Documentation]]

    ResourceParameterBinding::equal

    ResourceParameterBinding::expression

    ResourceParameterBinding::extension_elements

    ResourceParameterBinding::from_element

    ResourceParameterBinding::id

    ResourceParameterBinding::new

    fn ResourceParameterBinding::new(id? : String, parameter_ref? : Reference, contents? : ArrayView[Content]) -> ResourceParameterBinding

    ResourceParameterBinding::not_equal

    ResourceParameterBinding::parameter_ref

    ResourceRole

    pub struct ResourceRole {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tResourceRole.

    ResourceRole::documentation

    fn ResourceRole::documentation(self : ResourceRole) -> Field[ReadOnlyArray[Documentation]]

    ResourceRole::equal

    ResourceRole::extension_elements

    fn ResourceRole::extension_elements(self : ResourceRole) -> Field[ExtensionElements]

    ResourceRole::from_element

    fn ResourceRole::from_element(element : Element) -> ResourceRole?

    ResourceRole::id

    fn ResourceRole::id(self : ResourceRole) -> Field[String]

    ResourceRole::name

    fn ResourceRole::name(self : ResourceRole) -> Field[String]

    ResourceRole::new

    fn ResourceRole::new(id? : String, name? : String, contents? : ArrayView[Content]) -> ResourceRole

    ResourceRole::not_equal

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

    ResourceRole::resource_assignment_expression

    fn ResourceRole::resource_assignment_expression(self : ResourceRole) -> Field[ResourceAssignmentExpression]

    ResourceRole::resource_parameter_binding

    fn ResourceRole::resource_parameter_binding(self : ResourceRole) -> Field[ReadOnlyArray[ResourceParameterBinding]]

    ResourceRole::resource_ref

    fn ResourceRole::resource_ref(self : ResourceRole) -> Field[Reference]

    ResourceSet

    pub struct ResourceSet {
    documents : ReadOnlyArray[DocumentResource]
    external : ReadOnlyArray[ExternalResource]
    } derive(Eq,
    Debug
    )

    Literal import-location keys are supplied by the caller. No relative-path, URL, filesystem, environment or network resolution is implicit.

    ResourceSet::equal

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

    ResourceSet::new

    ResourceSet::not_equal

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

    RootElement

    pub struct RootElement {
    element : Element
    } derive(Eq,
    Debug
    )

    RootElement::base

    fn RootElement::base(self : RootElement) -> BaseElement

    RootElement::equal

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

    RootElement::from_element

    fn RootElement::from_element(element : Element) -> RootElement?

    RootElement::not_equal

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

    RouteResult

    pub(all) enum RouteResult {
    Found(GraphRoute)
    Unreachable
    Failed(GraphFailure)
    } derive(Eq,
    Debug
    )

    RouteResult::equal

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

    RouteResult::not_equal

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

    Scalar

    pub(all) enum Scalar {
    Text(String)
    Identifier(String)
    Uri(String)
    Boolean(Bool)
    Integer(ExactInteger)
    Number(ExactNumber)
    Reference(Reference)
    Enumeration(BpmnEnum)
    Invalid(raw~ : String, expected~ : ExpandedName)
    } derive(Eq,
    Debug
    )

    Invalid scalar spellings remain explicit values for inspection. Writers return a structured failure instead of serializing them as valid fields.

    Scalar::equal

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

    Scalar::not_equal

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

    Scalar::to_repr

    Scalar::token

    fn Scalar::token(self : Scalar) -> String

    SchemaElement

    pub struct SchemaElement {
    name : ExpandedName
    value_type : ExpandedName?
    substitution_group : ExpandedName?
    abstract_element : Bool
    } derive(Eq,
    Debug
    )

    SchemaElement::equal

    SchemaElement::not_equal

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

    SchemaField

    pub struct SchemaField {
    owner : TypeId
    kind : SchemaFieldKind
    name : ExpandedName?
    value_type : ExpandedName?
    reference_element : ExpandedName?
    minimum : Int
    maximum : Int?
    default_value : String?
    fixed_value : String?
    group : String
    namespace_constraint : String
    source_path : String
    } derive(Eq,
    Debug
    )

    SchemaField::equal

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

    SchemaField::not_equal

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

    SchemaFieldKind

    pub(all) enum SchemaFieldKind {
    Attribute
    Child
    AnyAttribute
    AnyChild
    } derive(Eq,
    Debug
    )

    SchemaFieldKind::equal

    SchemaFieldKind::not_equal

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

    SchemaGroup

    pub struct SchemaGroup {
    owner : TypeId
    path : String
    parent : String
    choice : Bool
    minimum : Int
    maximum : Int?
    } derive(Eq,
    Debug
    )

    SchemaGroup::equal

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

    SchemaGroup::not_equal

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

    SchemaType

    pub struct SchemaType {
    id : TypeId
    name : ExpandedName
    base : ExpandedName?
    abstract_type : Bool
    mixed : Bool
    simple : Bool
    anonymous : Bool
    enum_values : ReadOnlyArray[String]
    union_members : ReadOnlyArray[ExpandedName]
    } derive(Eq,
    Debug
    )

    SchemaType::equal

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

    SchemaType::fields

    fn SchemaType::fields(self : SchemaType) -> ReadOnlyArray[SchemaField]

    Inherited fields are returned in base-to-derived declaration order. Choice membership stays in schema_groups instead of making every alternative required.

    SchemaType::has_mixed_content

    fn SchemaType::has_mixed_content(self : SchemaType) -> Bool

    SchemaType::is_subtype_of

    fn SchemaType::is_subtype_of(self : SchemaType, parent : ExpandedName) -> Bool

    SchemaType::not_equal

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

    Script

    pub struct Script {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tScript.

    Script::equal

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

    Script::from_element

    fn Script::from_element(element : Element) -> Script?

    Script::new

    fn Script::new(contents? : ArrayView[Content]) -> Script

    Script::not_equal

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

    Script::to_repr

    ScriptTask

    pub struct ScriptTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tScriptTask.

    ScriptTask::auditing

    fn ScriptTask::auditing(self : ScriptTask) -> Field[Auditing]

    ScriptTask::category_value_ref

    fn ScriptTask::category_value_ref(self : ScriptTask) -> Field[ReadOnlyArray[Reference]]

    ScriptTask::completion_quantity

    fn ScriptTask::completion_quantity(self : ScriptTask) -> Field[ExactInteger]

    ScriptTask::data_input_association

    fn ScriptTask::data_input_association(self : ScriptTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    ScriptTask::data_output_association

    fn ScriptTask::data_output_association(self : ScriptTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    ScriptTask::default_

    fn ScriptTask::default_(self : ScriptTask) -> Field[Reference]

    ScriptTask::documentation

    fn ScriptTask::documentation(self : ScriptTask) -> Field[ReadOnlyArray[Documentation]]

    ScriptTask::equal

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

    ScriptTask::extension_elements

    fn ScriptTask::extension_elements(self : ScriptTask) -> Field[ExtensionElements]

    ScriptTask::from_element

    fn ScriptTask::from_element(element : Element) -> ScriptTask?

    ScriptTask::id

    fn ScriptTask::id(self : ScriptTask) -> Field[String]

    ScriptTask::incoming

    fn ScriptTask::incoming(self : ScriptTask) -> Field[ReadOnlyArray[Reference]]

    ScriptTask::io_specification

    fn ScriptTask::io_specification(self : ScriptTask) -> Field[InputOutputSpecification]

    ScriptTask::is_for_compensation

    fn ScriptTask::is_for_compensation(self : ScriptTask) -> Field[Bool]

    ScriptTask::loop_characteristics

    fn ScriptTask::loop_characteristics(self : ScriptTask) -> Field[LoopCharacteristics]

    ScriptTask::monitoring

    fn ScriptTask::monitoring(self : ScriptTask) -> Field[Monitoring]

    ScriptTask::name

    fn ScriptTask::name(self : ScriptTask) -> Field[String]

    ScriptTask::new

    fn ScriptTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, script_format? : String, contents? : ArrayView[Content]) -> ScriptTask

    ScriptTask::not_equal

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

    ScriptTask::outgoing

    fn ScriptTask::outgoing(self : ScriptTask) -> Field[ReadOnlyArray[Reference]]

    ScriptTask::property

    fn ScriptTask::property(self : ScriptTask) -> Field[ReadOnlyArray[Property]]

    ScriptTask::resource_role

    fn ScriptTask::resource_role(self : ScriptTask) -> Field[ReadOnlyArray[ResourceRole]]

    ScriptTask::script

    fn ScriptTask::script(self : ScriptTask) -> Field[Script]

    ScriptTask::script_format

    fn ScriptTask::script_format(self : ScriptTask) -> Field[String]

    ScriptTask::start_quantity

    fn ScriptTask::start_quantity(self : ScriptTask) -> Field[ExactInteger]

    SendTask

    pub struct SendTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSendTask.

    SendTask::auditing

    fn SendTask::auditing(self : SendTask) -> Field[Auditing]

    SendTask::category_value_ref

    fn SendTask::category_value_ref(self : SendTask) -> Field[ReadOnlyArray[Reference]]

    SendTask::completion_quantity

    fn SendTask::completion_quantity(self : SendTask) -> Field[ExactInteger]

    SendTask::data_input_association

    fn SendTask::data_input_association(self : SendTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    SendTask::data_output_association

    fn SendTask::data_output_association(self : SendTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    SendTask::default_

    fn SendTask::default_(self : SendTask) -> Field[Reference]

    SendTask::documentation

    fn SendTask::documentation(self : SendTask) -> Field[ReadOnlyArray[Documentation]]

    SendTask::equal

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

    SendTask::extension_elements

    fn SendTask::extension_elements(self : SendTask) -> Field[ExtensionElements]

    SendTask::from_element

    fn SendTask::from_element(element : Element) -> SendTask?

    SendTask::id

    fn SendTask::id(self : SendTask) -> Field[String]

    SendTask::implementation

    fn SendTask::implementation(self : SendTask) -> Field[Implementation]

    SendTask::incoming

    fn SendTask::incoming(self : SendTask) -> Field[ReadOnlyArray[Reference]]

    SendTask::io_specification

    fn SendTask::io_specification(self : SendTask) -> Field[InputOutputSpecification]

    SendTask::is_for_compensation

    fn SendTask::is_for_compensation(self : SendTask) -> Field[Bool]

    SendTask::loop_characteristics

    fn SendTask::loop_characteristics(self : SendTask) -> Field[LoopCharacteristics]

    SendTask::message_ref

    fn SendTask::message_ref(self : SendTask) -> Field[Reference]

    SendTask::monitoring

    fn SendTask::monitoring(self : SendTask) -> Field[Monitoring]

    SendTask::name

    fn SendTask::name(self : SendTask) -> Field[String]

    SendTask::new

    fn SendTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, implementation? : Implementation, message_ref? : Reference, operation_ref? : Reference, contents? : ArrayView[Content]) -> SendTask

    SendTask::not_equal

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

    SendTask::operation_ref

    fn SendTask::operation_ref(self : SendTask) -> Field[Reference]

    SendTask::outgoing

    fn SendTask::outgoing(self : SendTask) -> Field[ReadOnlyArray[Reference]]

    SendTask::property

    fn SendTask::property(self : SendTask) -> Field[ReadOnlyArray[Property]]

    SendTask::resource_role

    fn SendTask::resource_role(self : SendTask) -> Field[ReadOnlyArray[ResourceRole]]

    SendTask::start_quantity

    fn SendTask::start_quantity(self : SendTask) -> Field[ExactInteger]

    SendTask::to_repr

    SequenceFlow

    pub struct SequenceFlow {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSequenceFlow.

    SequenceFlow::auditing

    fn SequenceFlow::auditing(self : SequenceFlow) -> Field[Auditing]

    SequenceFlow::category_value_ref

    fn SequenceFlow::category_value_ref(self : SequenceFlow) -> Field[ReadOnlyArray[Reference]]

    SequenceFlow::condition_expression

    fn SequenceFlow::condition_expression(self : SequenceFlow) -> Field[Expression]

    SequenceFlow::documentation

    fn SequenceFlow::documentation(self : SequenceFlow) -> Field[ReadOnlyArray[Documentation]]

    SequenceFlow::equal

    SequenceFlow::extension_elements

    fn SequenceFlow::extension_elements(self : SequenceFlow) -> Field[ExtensionElements]

    SequenceFlow::from_element

    fn SequenceFlow::from_element(element : Element) -> SequenceFlow?

    SequenceFlow::id

    fn SequenceFlow::id(self : SequenceFlow) -> Field[String]

    SequenceFlow::is_immediate

    fn SequenceFlow::is_immediate(self : SequenceFlow) -> Field[Bool]

    SequenceFlow::monitoring

    fn SequenceFlow::monitoring(self : SequenceFlow) -> Field[Monitoring]

    SequenceFlow::name

    fn SequenceFlow::name(self : SequenceFlow) -> Field[String]

    SequenceFlow::new

    fn SequenceFlow::new(id? : String, name? : String, source_ref? : Reference, target_ref? : Reference, is_immediate? : Bool, contents? : ArrayView[Content]) -> SequenceFlow

    SequenceFlow::not_equal

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

    SequenceFlow::source_ref

    fn SequenceFlow::source_ref(self : SequenceFlow) -> Field[Reference]

    SequenceFlow::target_ref

    fn SequenceFlow::target_ref(self : SequenceFlow) -> Field[Reference]

    ServiceTask

    pub struct ServiceTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tServiceTask.

    ServiceTask::auditing

    fn ServiceTask::auditing(self : ServiceTask) -> Field[Auditing]

    ServiceTask::category_value_ref

    fn ServiceTask::category_value_ref(self : ServiceTask) -> Field[ReadOnlyArray[Reference]]

    ServiceTask::completion_quantity

    fn ServiceTask::completion_quantity(self : ServiceTask) -> Field[ExactInteger]

    ServiceTask::data_input_association

    fn ServiceTask::data_input_association(self : ServiceTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    ServiceTask::data_output_association

    fn ServiceTask::data_output_association(self : ServiceTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    ServiceTask::default_

    fn ServiceTask::default_(self : ServiceTask) -> Field[Reference]

    ServiceTask::documentation

    fn ServiceTask::documentation(self : ServiceTask) -> Field[ReadOnlyArray[Documentation]]

    ServiceTask::equal

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

    ServiceTask::extension_elements

    fn ServiceTask::extension_elements(self : ServiceTask) -> Field[ExtensionElements]

    ServiceTask::from_element

    fn ServiceTask::from_element(element : Element) -> ServiceTask?

    ServiceTask::id

    fn ServiceTask::id(self : ServiceTask) -> Field[String]

    ServiceTask::implementation

    fn ServiceTask::implementation(self : ServiceTask) -> Field[Implementation]

    ServiceTask::incoming

    fn ServiceTask::incoming(self : ServiceTask) -> Field[ReadOnlyArray[Reference]]

    ServiceTask::io_specification

    fn ServiceTask::io_specification(self : ServiceTask) -> Field[InputOutputSpecification]

    ServiceTask::is_for_compensation

    fn ServiceTask::is_for_compensation(self : ServiceTask) -> Field[Bool]

    ServiceTask::loop_characteristics

    fn ServiceTask::loop_characteristics(self : ServiceTask) -> Field[LoopCharacteristics]

    ServiceTask::monitoring

    fn ServiceTask::monitoring(self : ServiceTask) -> Field[Monitoring]

    ServiceTask::name

    fn ServiceTask::name(self : ServiceTask) -> Field[String]

    ServiceTask::new

    fn ServiceTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, implementation? : Implementation, operation_ref? : Reference, contents? : ArrayView[Content]) -> ServiceTask

    ServiceTask::not_equal

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

    ServiceTask::operation_ref

    fn ServiceTask::operation_ref(self : ServiceTask) -> Field[Reference]

    ServiceTask::outgoing

    fn ServiceTask::outgoing(self : ServiceTask) -> Field[ReadOnlyArray[Reference]]

    ServiceTask::property

    fn ServiceTask::property(self : ServiceTask) -> Field[ReadOnlyArray[Property]]

    ServiceTask::resource_role

    fn ServiceTask::resource_role(self : ServiceTask) -> Field[ReadOnlyArray[ResourceRole]]

    ServiceTask::start_quantity

    fn ServiceTask::start_quantity(self : ServiceTask) -> Field[ExactInteger]

    Severity

    pub(all) enum Severity {
    Error
    Warning
    } derive(Eq,
    Debug
    )

    Severity::equal

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

    Severity::not_equal

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

    Severity::to_repr

    Signal

    pub struct Signal {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSignal.

    Signal::documentation

    fn Signal::documentation(self : Signal) -> Field[ReadOnlyArray[Documentation]]

    Signal::equal

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

    Signal::extension_elements

    fn Signal::extension_elements(self : Signal) -> Field[ExtensionElements]

    Signal::from_element

    fn Signal::from_element(element : Element) -> Signal?

    Signal::id

    fn Signal::id(self : Signal) -> Field[String]

    Signal::name

    fn Signal::name(self : Signal) -> Field[String]

    Signal::new

    fn Signal::new(id? : String, name? : String, structure_ref? : Reference, contents? : ArrayView[Content]) -> Signal

    Signal::not_equal

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

    Signal::structure_ref

    fn Signal::structure_ref(self : Signal) -> Field[Reference]

    Signal::to_repr

    SignalEventDefinition

    pub struct SignalEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSignalEventDefinition.

    SignalEventDefinition::documentation

    fn SignalEventDefinition::documentation(self : SignalEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    SignalEventDefinition::equal

    SignalEventDefinition::extension_elements

    SignalEventDefinition::from_element

    fn SignalEventDefinition::from_element(element : Element) -> SignalEventDefinition?

    SignalEventDefinition::id

    SignalEventDefinition::new

    fn SignalEventDefinition::new(id? : String, signal_ref? : Reference, contents? : ArrayView[Content]) -> SignalEventDefinition

    SignalEventDefinition::not_equal

    SignalEventDefinition::signal_ref

    SourceMap

    pub struct SourceMap {
    source_id : String?
    length : Int
    line_starts : ReadOnlyArray[Int]
    } derive(Eq,
    Debug
    )

    SourceMap::equal

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

    SourceMap::location

    fn SourceMap::location(self : SourceMap, span : Span) -> Location?

    SourceMap::not_equal

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

    SourceMap::position

    fn SourceMap::position(self : SourceMap, offset : Int) -> Position?

    Offsets outside the source are rejected, not clamped into invented locations.

    Span

    pub struct Span {
    start : Int
    end : Int
    } derive(Eq,
    Debug
    )

    Half-open UTF-16 offsets into the owned source.

    Span::equal

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

    Span::not_equal

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

    Span::to_repr

    StandardLoopCharacteristics

    pub struct StandardLoopCharacteristics {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tStandardLoopCharacteristics.

    StandardLoopCharacteristics::documentation

    fn StandardLoopCharacteristics::documentation(self : StandardLoopCharacteristics) -> Field[ReadOnlyArray[Documentation]]

    StandardLoopCharacteristics::extension_elements

    StandardLoopCharacteristics::from_element

    StandardLoopCharacteristics::id

    StandardLoopCharacteristics::loop_condition

    StandardLoopCharacteristics::loop_maximum

    StandardLoopCharacteristics::new

    fn StandardLoopCharacteristics::new(id? : String, test_before? : Bool, loop_maximum? : ExactInteger, contents? : ArrayView[Content]) -> StandardLoopCharacteristics

    StandardLoopCharacteristics::not_equal

    StandardLoopCharacteristics::test_before

    StartEvent

    pub struct StartEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tStartEvent.

    StartEvent::auditing

    fn StartEvent::auditing(self : StartEvent) -> Field[Auditing]

    StartEvent::category_value_ref

    fn StartEvent::category_value_ref(self : StartEvent) -> Field[ReadOnlyArray[Reference]]

    StartEvent::data_output

    fn StartEvent::data_output(self : StartEvent) -> Field[ReadOnlyArray[DataOutput]]

    StartEvent::data_output_association

    fn StartEvent::data_output_association(self : StartEvent) -> Field[ReadOnlyArray[DataOutputAssociation]]

    StartEvent::documentation

    fn StartEvent::documentation(self : StartEvent) -> Field[ReadOnlyArray[Documentation]]

    StartEvent::equal

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

    StartEvent::event_definition

    fn StartEvent::event_definition(self : StartEvent) -> Field[ReadOnlyArray[EventDefinition]]

    StartEvent::event_definition_ref

    fn StartEvent::event_definition_ref(self : StartEvent) -> Field[ReadOnlyArray[Reference]]

    StartEvent::extension_elements

    fn StartEvent::extension_elements(self : StartEvent) -> Field[ExtensionElements]

    StartEvent::from_element

    fn StartEvent::from_element(element : Element) -> StartEvent?

    StartEvent::id

    fn StartEvent::id(self : StartEvent) -> Field[String]

    StartEvent::incoming

    fn StartEvent::incoming(self : StartEvent) -> Field[ReadOnlyArray[Reference]]

    StartEvent::is_interrupting

    fn StartEvent::is_interrupting(self : StartEvent) -> Field[Bool]

    StartEvent::monitoring

    fn StartEvent::monitoring(self : StartEvent) -> Field[Monitoring]

    StartEvent::name

    fn StartEvent::name(self : StartEvent) -> Field[String]

    StartEvent::new

    fn StartEvent::new(id? : String, name? : String, parallel_multiple? : Bool, is_interrupting? : Bool, contents? : ArrayView[Content]) -> StartEvent

    StartEvent::not_equal

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

    StartEvent::outgoing

    fn StartEvent::outgoing(self : StartEvent) -> Field[ReadOnlyArray[Reference]]

    StartEvent::output_set

    fn StartEvent::output_set(self : StartEvent) -> Field[OutputSet]

    StartEvent::parallel_multiple

    fn StartEvent::parallel_multiple(self : StartEvent) -> Field[Bool]

    StartEvent::property

    fn StartEvent::property(self : StartEvent) -> Field[ReadOnlyArray[Property]]

    StructureResult

    pub struct StructureResult {
    index : DocumentIndex
    findings : ReadOnlyArray[ValidationFinding]
    complete : Bool
    } derive(
    Debug
    )

    SubChoreography

    pub struct SubChoreography {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSubChoreography.

    SubChoreography::artifact

    fn SubChoreography::artifact(self : SubChoreography) -> Field[ReadOnlyArray[Artifact]]

    SubChoreography::auditing

    SubChoreography::category_value_ref

    fn SubChoreography::category_value_ref(self : SubChoreography) -> Field[ReadOnlyArray[Reference]]

    SubChoreography::correlation_key

    fn SubChoreography::correlation_key(self : SubChoreography) -> Field[ReadOnlyArray[CorrelationKey]]

    SubChoreography::documentation

    fn SubChoreography::documentation(self : SubChoreography) -> Field[ReadOnlyArray[Documentation]]

    SubChoreography::equal

    SubChoreography::extension_elements

    fn SubChoreography::extension_elements(self : SubChoreography) -> Field[ExtensionElements]

    SubChoreography::flow_element

    fn SubChoreography::flow_element(self : SubChoreography) -> Field[ReadOnlyArray[FlowElement]]

    SubChoreography::from_element

    fn SubChoreography::from_element(element : Element) -> SubChoreography?

    SubChoreography::id

    fn SubChoreography::id(self : SubChoreography) -> Field[String]

    SubChoreography::incoming

    fn SubChoreography::incoming(self : SubChoreography) -> Field[ReadOnlyArray[Reference]]

    SubChoreography::initiating_participant_ref

    fn SubChoreography::initiating_participant_ref(self : SubChoreography) -> Field[Reference]

    SubChoreography::loop_type

    SubChoreography::monitoring

    fn SubChoreography::monitoring(self : SubChoreography) -> Field[Monitoring]

    SubChoreography::name

    fn SubChoreography::name(self : SubChoreography) -> Field[String]

    SubChoreography::new

    fn SubChoreography::new(id? : String, name? : String, initiating_participant_ref? : Reference, loop_type? : ChoreographyLoopType, contents? : ArrayView[Content]) -> SubChoreography

    SubChoreography::not_equal

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

    SubChoreography::outgoing

    fn SubChoreography::outgoing(self : SubChoreography) -> Field[ReadOnlyArray[Reference]]

    SubChoreography::participant_ref

    fn SubChoreography::participant_ref(self : SubChoreography) -> Field[ReadOnlyArray[Reference]]

    SubConversation

    pub struct SubConversation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSubConversation.

    SubConversation::conversation_node

    fn SubConversation::conversation_node(self : SubConversation) -> Field[ReadOnlyArray[ConversationNode]]

    SubConversation::correlation_key

    fn SubConversation::correlation_key(self : SubConversation) -> Field[ReadOnlyArray[CorrelationKey]]

    SubConversation::documentation

    fn SubConversation::documentation(self : SubConversation) -> Field[ReadOnlyArray[Documentation]]

    SubConversation::equal

    SubConversation::extension_elements

    fn SubConversation::extension_elements(self : SubConversation) -> Field[ExtensionElements]

    SubConversation::from_element

    fn SubConversation::from_element(element : Element) -> SubConversation?

    SubConversation::id

    fn SubConversation::id(self : SubConversation) -> Field[String]

    SubConversation::message_flow_ref

    fn SubConversation::message_flow_ref(self : SubConversation) -> Field[ReadOnlyArray[Reference]]

    SubConversation::name

    fn SubConversation::name(self : SubConversation) -> Field[String]

    SubConversation::new

    fn SubConversation::new(id? : String, name? : String, contents? : ArrayView[Content]) -> SubConversation

    SubConversation::not_equal

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

    SubConversation::participant_ref

    fn SubConversation::participant_ref(self : SubConversation) -> Field[ReadOnlyArray[Reference]]

    SubProcess

    pub struct SubProcess {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tSubProcess.

    SubProcess::artifact

    fn SubProcess::artifact(self : SubProcess) -> Field[ReadOnlyArray[Artifact]]

    SubProcess::auditing

    fn SubProcess::auditing(self : SubProcess) -> Field[Auditing]

    SubProcess::category_value_ref

    fn SubProcess::category_value_ref(self : SubProcess) -> Field[ReadOnlyArray[Reference]]

    SubProcess::completion_quantity

    fn SubProcess::completion_quantity(self : SubProcess) -> Field[ExactInteger]

    SubProcess::data_input_association

    fn SubProcess::data_input_association(self : SubProcess) -> Field[ReadOnlyArray[DataInputAssociation]]

    SubProcess::data_output_association

    fn SubProcess::data_output_association(self : SubProcess) -> Field[ReadOnlyArray[DataOutputAssociation]]

    SubProcess::default_

    fn SubProcess::default_(self : SubProcess) -> Field[Reference]

    SubProcess::documentation

    fn SubProcess::documentation(self : SubProcess) -> Field[ReadOnlyArray[Documentation]]

    SubProcess::equal

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

    SubProcess::extension_elements

    fn SubProcess::extension_elements(self : SubProcess) -> Field[ExtensionElements]

    SubProcess::flow_element

    fn SubProcess::flow_element(self : SubProcess) -> Field[ReadOnlyArray[FlowElement]]

    SubProcess::from_element

    fn SubProcess::from_element(element : Element) -> SubProcess?

    SubProcess::id

    fn SubProcess::id(self : SubProcess) -> Field[String]

    SubProcess::incoming

    fn SubProcess::incoming(self : SubProcess) -> Field[ReadOnlyArray[Reference]]

    SubProcess::io_specification

    fn SubProcess::io_specification(self : SubProcess) -> Field[InputOutputSpecification]

    SubProcess::is_for_compensation

    fn SubProcess::is_for_compensation(self : SubProcess) -> Field[Bool]

    SubProcess::lane_set

    fn SubProcess::lane_set(self : SubProcess) -> Field[ReadOnlyArray[LaneSet]]

    SubProcess::loop_characteristics

    fn SubProcess::loop_characteristics(self : SubProcess) -> Field[LoopCharacteristics]

    SubProcess::monitoring

    fn SubProcess::monitoring(self : SubProcess) -> Field[Monitoring]

    SubProcess::name

    fn SubProcess::name(self : SubProcess) -> Field[String]

    SubProcess::new

    fn SubProcess::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, triggered_by_event? : Bool, contents? : ArrayView[Content]) -> SubProcess

    SubProcess::not_equal

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

    SubProcess::outgoing

    fn SubProcess::outgoing(self : SubProcess) -> Field[ReadOnlyArray[Reference]]

    SubProcess::property

    fn SubProcess::property(self : SubProcess) -> Field[ReadOnlyArray[Property]]

    SubProcess::resource_role

    fn SubProcess::resource_role(self : SubProcess) -> Field[ReadOnlyArray[ResourceRole]]

    SubProcess::start_quantity

    fn SubProcess::start_quantity(self : SubProcess) -> Field[ExactInteger]

    SubProcess::triggered_by_event

    fn SubProcess::triggered_by_event(self : SubProcess) -> Field[Bool]

    Task

    pub struct Task {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tTask.

    Task::auditing

    fn Task::auditing(self : Task) -> Field[Auditing]

    Task::category_value_ref

    fn Task::category_value_ref(self : Task) -> Field[ReadOnlyArray[Reference]]

    Task::completion_quantity

    fn Task::completion_quantity(self : Task) -> Field[ExactInteger]

    Task::data_input_association

    fn Task::data_input_association(self : Task) -> Field[ReadOnlyArray[DataInputAssociation]]

    Task::data_output_association

    fn Task::data_output_association(self : Task) -> Field[ReadOnlyArray[DataOutputAssociation]]

    Task::default_

    fn Task::default_(self : Task) -> Field[Reference]

    Task::documentation

    fn Task::documentation(self : Task) -> Field[ReadOnlyArray[Documentation]]

    Task::equal

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

    Task::extension_elements

    fn Task::extension_elements(self : Task) -> Field[ExtensionElements]

    Task::from_element

    fn Task::from_element(element : Element) -> Task?

    Task::id

    fn Task::id(self : Task) -> Field[String]

    Task::incoming

    fn Task::incoming(self : Task) -> Field[ReadOnlyArray[Reference]]

    Task::io_specification

    fn Task::io_specification(self : Task) -> Field[InputOutputSpecification]

    Task::is_for_compensation

    fn Task::is_for_compensation(self : Task) -> Field[Bool]

    Task::loop_characteristics

    fn Task::loop_characteristics(self : Task) -> Field[LoopCharacteristics]

    Task::monitoring

    fn Task::monitoring(self : Task) -> Field[Monitoring]

    Task::name

    fn Task::name(self : Task) -> Field[String]

    Task::new

    fn Task::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, contents? : ArrayView[Content]) -> Task

    Task::not_equal

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

    Task::outgoing

    fn Task::outgoing(self : Task) -> Field[ReadOnlyArray[Reference]]

    Task::property

    fn Task::property(self : Task) -> Field[ReadOnlyArray[Property]]

    Task::resource_role

    fn Task::resource_role(self : Task) -> Field[ReadOnlyArray[ResourceRole]]

    Task::start_quantity

    fn Task::start_quantity(self : Task) -> Field[ExactInteger]

    Task::to_repr

    TerminateEventDefinition

    pub struct TerminateEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tTerminateEventDefinition.

    TerminateEventDefinition::documentation

    fn TerminateEventDefinition::documentation(self : TerminateEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    TerminateEventDefinition::equal

    TerminateEventDefinition::extension_elements

    TerminateEventDefinition::from_element

    TerminateEventDefinition::id

    TerminateEventDefinition::new

    TerminateEventDefinition::not_equal

    Text

    pub struct Text {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tText.

    Text::equal

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

    Text::from_element

    fn Text::from_element(element : Element) -> Text?

    Text::new

    fn Text::new(contents? : ArrayView[Content]) -> Text

    Text::not_equal

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

    Text::to_repr

    TextAnnotation

    pub struct TextAnnotation {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tTextAnnotation.

    TextAnnotation::documentation

    fn TextAnnotation::documentation(self : TextAnnotation) -> Field[ReadOnlyArray[Documentation]]

    TextAnnotation::equal

    TextAnnotation::extension_elements

    fn TextAnnotation::extension_elements(self : TextAnnotation) -> Field[ExtensionElements]

    TextAnnotation::from_element

    fn TextAnnotation::from_element(element : Element) -> TextAnnotation?

    TextAnnotation::id

    fn TextAnnotation::id(self : TextAnnotation) -> Field[String]

    TextAnnotation::new

    fn TextAnnotation::new(id? : String, text_format? : String, contents? : ArrayView[Content]) -> TextAnnotation

    TextAnnotation::not_equal

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

    TextAnnotation::text

    TextAnnotation::text_format

    fn TextAnnotation::text_format(self : TextAnnotation) -> Field[String]

    ThrowEvent

    pub struct ThrowEvent {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tThrowEvent.

    ThrowEvent::auditing

    fn ThrowEvent::auditing(self : ThrowEvent) -> Field[Auditing]

    ThrowEvent::category_value_ref

    fn ThrowEvent::category_value_ref(self : ThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ThrowEvent::data_input

    fn ThrowEvent::data_input(self : ThrowEvent) -> Field[ReadOnlyArray[DataInput]]

    ThrowEvent::data_input_association

    fn ThrowEvent::data_input_association(self : ThrowEvent) -> Field[ReadOnlyArray[DataInputAssociation]]

    ThrowEvent::documentation

    fn ThrowEvent::documentation(self : ThrowEvent) -> Field[ReadOnlyArray[Documentation]]

    ThrowEvent::equal

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

    ThrowEvent::event_definition

    fn ThrowEvent::event_definition(self : ThrowEvent) -> Field[ReadOnlyArray[EventDefinition]]

    ThrowEvent::event_definition_ref

    fn ThrowEvent::event_definition_ref(self : ThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ThrowEvent::extension_elements

    fn ThrowEvent::extension_elements(self : ThrowEvent) -> Field[ExtensionElements]

    ThrowEvent::from_element

    fn ThrowEvent::from_element(element : Element) -> ThrowEvent?

    ThrowEvent::id

    fn ThrowEvent::id(self : ThrowEvent) -> Field[String]

    ThrowEvent::incoming

    fn ThrowEvent::incoming(self : ThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ThrowEvent::input_set

    fn ThrowEvent::input_set(self : ThrowEvent) -> Field[InputSet]

    ThrowEvent::monitoring

    fn ThrowEvent::monitoring(self : ThrowEvent) -> Field[Monitoring]

    ThrowEvent::name

    fn ThrowEvent::name(self : ThrowEvent) -> Field[String]

    ThrowEvent::not_equal

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

    ThrowEvent::outgoing

    fn ThrowEvent::outgoing(self : ThrowEvent) -> Field[ReadOnlyArray[Reference]]

    ThrowEvent::property

    fn ThrowEvent::property(self : ThrowEvent) -> Field[ReadOnlyArray[Property]]

    TimerEventDefinition

    pub struct TimerEventDefinition {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tTimerEventDefinition.

    TimerEventDefinition::documentation

    fn TimerEventDefinition::documentation(self : TimerEventDefinition) -> Field[ReadOnlyArray[Documentation]]

    TimerEventDefinition::equal

    TimerEventDefinition::extension_elements

    TimerEventDefinition::from_element

    fn TimerEventDefinition::from_element(element : Element) -> TimerEventDefinition?

    TimerEventDefinition::id

    TimerEventDefinition::new

    fn TimerEventDefinition::new(id? : String, contents? : ArrayView[Content]) -> TimerEventDefinition

    TimerEventDefinition::not_equal

    TimerEventDefinition::time_cycle

    TimerEventDefinition::time_date

    TimerEventDefinition::time_duration

    Token

    pub struct Token {
    kind : TokenKind
    text : String
    span : Span
    } derive(Eq,
    Debug
    )

    Token::equal

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

    Token::not_equal

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

    Token::to_repr

    TokenKind

    pub(all) enum TokenKind {
    Open
    EndOpen
    Close
    EmptyClose
    Name
    Whitespace
    Equals
    Quote
    AttributeValue
    Text
    CharacterReference
    Comment
    ProcessingInstruction
    CData
    Declaration
    Error
    } derive(Eq,
    Debug
    )

    Lexical source records. Raw text is never normalized or entity-expanded.

    TokenKind::equal

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

    TokenKind::not_equal

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

    Transaction

    pub struct Transaction {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tTransaction.

    Transaction::artifact

    fn Transaction::artifact(self : Transaction) -> Field[ReadOnlyArray[Artifact]]

    Transaction::auditing

    fn Transaction::auditing(self : Transaction) -> Field[Auditing]

    Transaction::category_value_ref

    fn Transaction::category_value_ref(self : Transaction) -> Field[ReadOnlyArray[Reference]]

    Transaction::completion_quantity

    fn Transaction::completion_quantity(self : Transaction) -> Field[ExactInteger]

    Transaction::data_input_association

    fn Transaction::data_input_association(self : Transaction) -> Field[ReadOnlyArray[DataInputAssociation]]

    Transaction::data_output_association

    fn Transaction::data_output_association(self : Transaction) -> Field[ReadOnlyArray[DataOutputAssociation]]

    Transaction::default_

    fn Transaction::default_(self : Transaction) -> Field[Reference]

    Transaction::documentation

    fn Transaction::documentation(self : Transaction) -> Field[ReadOnlyArray[Documentation]]

    Transaction::equal

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

    Transaction::extension_elements

    fn Transaction::extension_elements(self : Transaction) -> Field[ExtensionElements]

    Transaction::flow_element

    fn Transaction::flow_element(self : Transaction) -> Field[ReadOnlyArray[FlowElement]]

    Transaction::from_element

    fn Transaction::from_element(element : Element) -> Transaction?

    Transaction::id

    fn Transaction::id(self : Transaction) -> Field[String]

    Transaction::incoming

    fn Transaction::incoming(self : Transaction) -> Field[ReadOnlyArray[Reference]]

    Transaction::io_specification

    fn Transaction::io_specification(self : Transaction) -> Field[InputOutputSpecification]

    Transaction::is_for_compensation

    fn Transaction::is_for_compensation(self : Transaction) -> Field[Bool]

    Transaction::lane_set

    fn Transaction::lane_set(self : Transaction) -> Field[ReadOnlyArray[LaneSet]]

    Transaction::loop_characteristics

    fn Transaction::loop_characteristics(self : Transaction) -> Field[LoopCharacteristics]

    Transaction::method_

    Transaction::monitoring

    fn Transaction::monitoring(self : Transaction) -> Field[Monitoring]

    Transaction::name

    fn Transaction::name(self : Transaction) -> Field[String]

    Transaction::new

    fn Transaction::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, triggered_by_event? : Bool, method_? : TransactionMethod, contents? : ArrayView[Content]) -> Transaction

    Transaction::not_equal

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

    Transaction::outgoing

    fn Transaction::outgoing(self : Transaction) -> Field[ReadOnlyArray[Reference]]

    Transaction::property

    fn Transaction::property(self : Transaction) -> Field[ReadOnlyArray[Property]]

    Transaction::resource_role

    fn Transaction::resource_role(self : Transaction) -> Field[ReadOnlyArray[ResourceRole]]

    Transaction::start_quantity

    fn Transaction::start_quantity(self : Transaction) -> Field[ExactInteger]

    Transaction::triggered_by_event

    fn Transaction::triggered_by_event(self : Transaction) -> Field[Bool]

    TransactionMethod

    pub(all) enum TransactionMethod {
    Compensate
    Image
    Store
    Uri(String)
    } derive(Eq,
    Debug
    )

    Values of the pinned XSD type tTransactionMethod.

    TransactionMethod::equal

    TransactionMethod::not_equal

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

    TransactionMethod::parse

    fn TransactionMethod::parse(token : String) -> TransactionMethod?

    TransactionMethod::token

    fn TransactionMethod::token(self : TransactionMethod) -> String

    TraversalEvent

    pub(all) enum TraversalEvent {
    Enter(NodeRef)
    Leave(NodeRef)
    } derive(Eq,
    Debug
    )

    TraversalEvent::equal

    TraversalEvent::not_equal

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

    TreeBuildResult

    pub struct TreeBuildResult {
    tree : DocumentTree?
    diagnostics : ReadOnlyArray[Diagnostic]
    } derive(
    Debug
    )

    TreeCursor

    pub struct TreeCursor {
    // private fields
    }

    TreeCursor::depth

    fn TreeCursor::depth(self : TreeCursor) -> Int

    TreeCursor::goto_first_child

    fn TreeCursor::goto_first_child(self : TreeCursor) -> Bool

    TreeCursor::goto_last_child

    fn TreeCursor::goto_last_child(self : TreeCursor) -> Bool

    TreeCursor::goto_next_sibling

    fn TreeCursor::goto_next_sibling(self : TreeCursor) -> Bool

    TreeCursor::goto_parent

    fn TreeCursor::goto_parent(self : TreeCursor) -> Bool

    TreeCursor::goto_previous_sibling

    fn TreeCursor::goto_previous_sibling(self : TreeCursor) -> Bool

    TreeCursor::new

    fn TreeCursor::new(root : NodeRef) -> TreeCursor

    TreeCursor::node

    fn TreeCursor::node(self : TreeCursor) -> NodeRef

    TreeCursor::path

    fn TreeCursor::path(self : TreeCursor) -> NodePath

    TypeId

    pub(all) enum TypeId {
    Definitions
    Import
    BpmnBPMNDiagram
    BpmnBPMNPlane
    BpmnBPMNEdge
    BpmnBPMNShape
    BpmnBPMNLabel
    BpmnBPMNLabelStyle
    BpmnParticipantBandKind
    BpmnMessageVisibleKind
    DcFont
    DcPoint
    DcBounds
    DiDiagramElement
    DiAnonymousDiagramElementExtension1
    DiDiagram
    DiNode
    DiEdge
    DiLabeledEdge
    DiShape
    DiLabeledShape
    DiLabel
    DiPlane
    DiStyle
    Activity
    AdHocSubProcess
    AdHocOrdering
    Artifact
    Assignment
    Association
    AssociationDirection
    Auditing
    BaseElement
    BaseElementWithMixedContent
    BoundaryEvent
    BusinessRuleTask
    CallableElement
    CallActivity
    CallChoreography
    CallConversation
    CancelEventDefinition
    CatchEvent
    Category
    CategoryValue
    Choreography
    ChoreographyActivity
    ChoreographyLoopType
    ChoreographyTask
    Collaboration
    CompensateEventDefinition
    ComplexBehaviorDefinition
    ComplexGateway
    ConditionalEventDefinition
    Conversation
    ConversationAssociation
    ConversationLink
    ConversationNode
    CorrelationKey
    CorrelationProperty
    CorrelationPropertyBinding
    CorrelationPropertyRetrievalExpression
    CorrelationSubscription
    DataAssociation
    DataInput
    DataInputAssociation
    DataObject
    DataObjectReference
    DataOutput
    DataOutputAssociation
    DataState
    DataStore
    DataStoreReference
    Documentation
    EndEvent
    EndPoint
    Error
    ErrorEventDefinition
    Escalation
    EscalationEventDefinition
    Event
    EventBasedGateway
    EventBasedGatewayType
    EventDefinition
    ExclusiveGateway
    Expression
    Extension
    ExtensionElements
    FlowElement
    FlowNode
    FormalExpression
    Gateway
    GatewayDirection
    GlobalBusinessRuleTask
    GlobalChoreographyTask
    GlobalConversation
    GlobalManualTask
    GlobalScriptTask
    GlobalTask
    GlobalUserTask
    Group
    HumanPerformer
    Implementation
    AnonymousTImplementation78
    ImplicitThrowEvent
    InclusiveGateway
    InputSet
    Interface
    IntermediateCatchEvent
    IntermediateThrowEvent
    InputOutputBinding
    InputOutputSpecification
    ItemDefinition
    ItemKind
    Lane
    LaneSet
    LinkEventDefinition
    LoopCharacteristics
    ManualTask
    Message
    MessageEventDefinition
    MessageFlow
    MessageFlowAssociation
    Monitoring
    MultiInstanceLoopCharacteristics
    MultiInstanceFlowCondition
    Operation
    OutputSet
    ParallelGateway
    Participant
    ParticipantAssociation
    ParticipantMultiplicity
    PartnerEntity
    PartnerRole
    Performer
    PotentialOwner
    Process
    ProcessType
    Property
    ReceiveTask
    Relationship
    RelationshipDirection
    Rendering
    Resource
    ResourceAssignmentExpression
    ResourceParameter
    ResourceParameterBinding
    ResourceRole
    RootElement
    ScriptTask
    Script
    SendTask
    SequenceFlow
    ServiceTask
    Signal
    SignalEventDefinition
    StandardLoopCharacteristics
    StartEvent
    SubChoreography
    SubConversation
    SubProcess
    Task
    TerminateEventDefinition
    TextAnnotation
    Text
    ThrowEvent
    TimerEventDefinition
    Transaction
    TransactionMethod
    AnonymousTTransactionMethod144
    UserTask
    } derive(Eq,
    Debug
    )

    TypeId::equal

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

    TypeId::name

    fn TypeId::name(self : TypeId) -> ExpandedName

    TypeId::not_equal

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

    TypeId::to_repr

    UserTask

    pub struct UserTask {
    element : Element
    } derive(Eq,
    Debug
    )

    Immutable typed view of schema tUserTask.

    UserTask::auditing

    fn UserTask::auditing(self : UserTask) -> Field[Auditing]

    UserTask::category_value_ref

    fn UserTask::category_value_ref(self : UserTask) -> Field[ReadOnlyArray[Reference]]

    UserTask::completion_quantity

    fn UserTask::completion_quantity(self : UserTask) -> Field[ExactInteger]

    UserTask::data_input_association

    fn UserTask::data_input_association(self : UserTask) -> Field[ReadOnlyArray[DataInputAssociation]]

    UserTask::data_output_association

    fn UserTask::data_output_association(self : UserTask) -> Field[ReadOnlyArray[DataOutputAssociation]]

    UserTask::default_

    fn UserTask::default_(self : UserTask) -> Field[Reference]

    UserTask::documentation

    fn UserTask::documentation(self : UserTask) -> Field[ReadOnlyArray[Documentation]]

    UserTask::equal

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

    UserTask::extension_elements

    fn UserTask::extension_elements(self : UserTask) -> Field[ExtensionElements]

    UserTask::from_element

    fn UserTask::from_element(element : Element) -> UserTask?

    UserTask::id

    fn UserTask::id(self : UserTask) -> Field[String]

    UserTask::implementation

    fn UserTask::implementation(self : UserTask) -> Field[Implementation]

    UserTask::incoming

    fn UserTask::incoming(self : UserTask) -> Field[ReadOnlyArray[Reference]]

    UserTask::io_specification

    fn UserTask::io_specification(self : UserTask) -> Field[InputOutputSpecification]

    UserTask::is_for_compensation

    fn UserTask::is_for_compensation(self : UserTask) -> Field[Bool]

    UserTask::loop_characteristics

    fn UserTask::loop_characteristics(self : UserTask) -> Field[LoopCharacteristics]

    UserTask::monitoring

    fn UserTask::monitoring(self : UserTask) -> Field[Monitoring]

    UserTask::name

    fn UserTask::name(self : UserTask) -> Field[String]

    UserTask::new

    fn UserTask::new(id? : String, name? : String, is_for_compensation? : Bool, start_quantity? : ExactInteger, completion_quantity? : ExactInteger, default_? : Reference, implementation? : Implementation, contents? : ArrayView[Content]) -> UserTask

    UserTask::not_equal

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

    UserTask::outgoing

    fn UserTask::outgoing(self : UserTask) -> Field[ReadOnlyArray[Reference]]

    UserTask::property

    fn UserTask::property(self : UserTask) -> Field[ReadOnlyArray[Property]]

    UserTask::rendering

    fn UserTask::rendering(self : UserTask) -> Field[ReadOnlyArray[Rendering]]

    UserTask::resource_role

    fn UserTask::resource_role(self : UserTask) -> Field[ReadOnlyArray[ResourceRole]]

    UserTask::start_quantity

    fn UserTask::start_quantity(self : UserTask) -> Field[ExactInteger]

    UserTask::to_repr

    ValidationFinding

    pub struct ValidationFinding {
    stage : ValidationStage
    diagnostic : Diagnostic
    resource_id : String?
    node : Int?
    element_id : String?
    field : ExpandedName?
    } derive(Eq,
    Debug
    )

    The node ordinal is local to the result's index. It is not a revision handle.

    ValidationFinding::equal

    ValidationFinding::not_equal

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

    ValidationResult

    pub struct ValidationResult {
    document : Document?
    index : DocumentIndex?
    references : ReadOnlyArray[ResolvedReference]
    findings : ReadOnlyArray[ValidationFinding]
    complete : Bool
    } derive(
    Debug
    )

    ValidationStage

    pub(all) enum ValidationStage {
    Syntax
    Structure
    References
    } derive(Eq,
    Debug
    )

    ValidationStage::equal

    ValidationStage::not_equal

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

    WriteFormat

    pub(all) enum WriteFormat {
    Compact
    Pretty
    } derive(Eq,
    Debug
    )

    WriteFormat::equal

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

    WriteFormat::not_equal

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

    WriteResult

    pub struct WriteResult {
    output : String?
    diagnostics : ReadOnlyArray[Diagnostic]
    } derive(Eq,
    Debug
    )

    WriteResult::equal

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

    WriteResult::not_equal

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

    XmlAttribute

    pub struct XmlAttribute {
    raw_name : String
    name : ExpandedName
    value : String
    span : Span
    value_span : Span
    namespace_declaration : Bool
    } derive(Eq,
    Debug
    )

    XmlAttribute::equal

    XmlAttribute::not_equal

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

    XmlContent

    pub(all) enum XmlContent {
    Text(String)
    Element(XmlElement)
    Comment(String)
    ProcessingInstruction(target~ : String, data~ : String)
    } derive(Eq,
    Debug
    )

    Preserved XML content has string-valued attributes and its own namespace scope. A known BPMN name inside this payload remains XML payload data.

    XmlContent::equal

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

    XmlContent::not_equal

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

    XmlElement

    pub struct XmlElement {
    element : Element
    } derive(Eq,
    Debug
    )

    XmlElement::attributes

    fn XmlElement::attributes(self : XmlElement) -> ReadOnlyArray[Attribute]

    XmlElement::bindings

    fn XmlElement::bindings(self : XmlElement) -> ReadOnlyArray[(String, String)]

    XmlElement::contents

    fn XmlElement::contents(self : XmlElement) -> ReadOnlyArray[Content]

    XmlElement::equal

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

    XmlElement::from_element

    fn XmlElement::from_element(element : Element) -> XmlElement?

    XmlElement::name

    fn XmlElement::name(self : XmlElement) -> ExpandedName

    XmlElement::namespace_binding

    fn XmlElement::namespace_binding(self : XmlElement, prefix : String) -> String?

    XmlElement::new

    fn XmlElement::new(name : ExpandedName, attributes? : ArrayView[(ExpandedName, String)], contents? : ArrayView[XmlContent], bindings? : ArrayView[(String, String)]) -> XmlElement

    XmlElement::not_equal

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

    XmlNode

    pub struct XmlNode {
    kind : XmlNodeKind
    raw_name : String
    name : ExpandedName?
    attributes : ReadOnlyArray[XmlAttribute]
    bindings : ReadOnlyArray[(String, String)]
    children : ReadOnlyArray[Int]
    parent : Int?
    span : Span
    value : String
    complete : Bool
    } derive(Eq,
    Debug
    )

    Nodes use local arena indexes, so deeply nested XML does not require recursive values or recursive CST operations. Bindings are declarations on this node.

    XmlNode::equal

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

    XmlNode::not_equal

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

    XmlNode::to_repr

    XmlNodeKind

    pub(all) enum XmlNodeKind {
    Document
    Element
    Text
    Comment
    ProcessingInstruction
    CData
    Declaration
    Error
    } derive(Eq,
    Debug
    )

    XmlNodeKind::equal

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

    XmlNodeKind::not_equal

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

    accept

    fn[V : Visitor] accept(root : NodeRef, visitor : V) -> Unit

    fold

    fn[A] fold(root : NodeRef, initial : A, enter : (A, NodeRef) -> (A, Control), leave? : (A, NodeRef) -> A) -> A

    graph_diagnostic_codes

    let graph_diagnostic_codes : ReadOnlyArray[String]

    kind_from_name

    fn kind_from_name(name : ExpandedName) -> Kind?

    push_events

    fn[S : EventSource] push_events(source : S, enter : (NodeRef) -> Control, leave? : (NodeRef) -> Unit) -> Unit

    read

    fn read(source : String, source_id? : String, limits? : Limits) -> ReadResult

    Read decoded XML without resource access. CST reproduction remains available after errors or limit exhaustion; a syntax error prevents typed lowering.

    reduce

    fn[R] reduce(root : NodeRef, combine : (NodeRef, ArrayView[R]) -> R) -> R

    reduce_pruned

    fn[R] reduce_pruned(root : NodeRef, enter : (NodeRef) -> Control, combine : (NodeRef, ArrayView[R]) -> R) -> R?

    reference_rules

    let reference_rules : ReadOnlyArray[ReferenceRule]

    resolve_references

    fn resolve_references(index : DocumentIndex, resources? : ResourceSet, resource_id? : String, limits? : Limits) -> ReferenceResult

    Resolve declared BPMN references over one document and its explicit imports. Missing imports are findings; they do not invalidate unrelated local lookups.

    schema_elements

    let schema_elements : ReadOnlyArray[SchemaElement]

    schema_fields

    let schema_fields : ReadOnlyArray[SchemaField]

    schema_groups

    let schema_groups : ReadOnlyArray[SchemaGroup]

    schema_type

    fn schema_type(name : ExpandedName) -> SchemaType?

    schema_types

    let schema_types : ReadOnlyArray[SchemaType]

    standard_kinds

    let standard_kinds : ReadOnlyArray[Kind]

    traversal_diagnostic_codes

    let traversal_diagnostic_codes : ReadOnlyArray[String]

    try_write

    fn try_write(document : Document, format? : WriteFormat, limits? : Limits) -> WriteResult

    Canonical XML with deterministic namespaces and expanded-name attribute order. A failed result never exposes the partially assembled buffer as output.

    typed_model_fields

    let typed_model_fields : ReadOnlyArray[(TypeId, SchemaFieldKind, ExpandedName)]

    Every generated attribute/child accessor, including inherited fields.

    typed_model_types

    let typed_model_types : ReadOnlyArray[TypeId]

    All complex schema types with immutable typed model APIs.

    validate

    fn validate(document : Document, resources? : ResourceSet, resource_id? : String, limits? : Limits) -> ValidationResult

    Complete means all requested processing finished, not that the model is valid. Error findings and the original immutable document coexist.

    validate_read

    fn validate_read(result : ReadResult, resources? : ResourceSet, resource_id? : String, limits? : Limits) -> ValidationResult

    Retain XML/lowering findings alongside the explicit structural and reference stages. A syntax failure never invents a typed document or a source span.

    validate_structure

    fn validate_structure(document : Document, resource_id? : String, limits? : Limits) -> StructureResult

    Structural validation keeps incomplete documents inspectable. complete describes processing, not whether the document has errors.

    validation_diagnostic_codes

    let validation_diagnostic_codes : ReadOnlyArray[String]

    walk

    fn walk(root : NodeRef, enter : (NodeRef) -> Control, leave? : (NodeRef) -> Unit) -> Unit

    write

    fn write(document : Document, format? : WriteFormat, limits? : Limits) -> String raise WriteError

    Convenience writer. Handle WriteError for invalid constructed values or use try_write when an explicit result is more convenient.

    xml_diagnostic_codes

    let xml_diagnostic_codes : ReadOnlyArray[String]

    Stable XML syntax/namespace/limit diagnostic inventory. BPMN lowering codes are separate; later structural/reference stages do not use this inventory.

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    Ā© 2026 mooncakes.io