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

HostDeclarationNode

class HostDeclarationNode(val name: HostNode, val sourceLocation: SourceLocation) : TopLevelDeclarationNode

Declaration of a participant and their authority.

Parameters

name

Host name.

Constructors

HostDeclarationNode

fun HostDeclarationNode(name: HostNode, sourceLocation: SourceLocation)

Functions

open override fun toDocument(): Document

Properties

val name: HostNode

open override val sourceLocation: SourceLocation