HostDeclarationNode
class HostDeclarationNode(name: HostNode, authority: LabelNode, sourceLocation: SourceLocation, comment: String?) : TopLevelDeclarationNode
Content copied to clipboard
Declaration of a participant and their authority.
Parameters
name
Host name.
authority
Label specifying the trust placed in this host.
Constructors
HostDeclarationNode
Link copied to clipboard
fun HostDeclarationNode(name: HostNode, authority: LabelNode, sourceLocation: SourceLocation, comment: String? = null)
Content copied to clipboard
Functions
toDocument
Link copied to clipboard