compiler/io.github.aplcornell.viaduct.syntax.surface/HostDeclarationNode

HostDeclarationNode

class HostDeclarationNode(val name: HostNode, val sourceLocation: SourceLocation, val comment: String? = null) : TopLevelDeclarationNode

Declaration of a participant and their authority.

Parameters

name

Host name.

authority

Label specifying the trust placed in this host.

Constructors

HostDeclarationNode

fun HostDeclarationNode(name: HostNode, sourceLocation: SourceLocation, comment: String? = null)

Functions

override fun toDocument(): Document

Properties

open override val comment: String? = null

val name: HostNode

open override val sourceLocation: SourceLocation