compiler/edu.cornell.cs.apl.viaduct.syntax.intermediate/HostDeclarationNode

HostDeclarationNode

class HostDeclarationNode(name: HostNode, authority: LabelNode, sourceLocation: SourceLocation) : 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)
Content copied to clipboard

Functions

copy
Link copied to clipboard
open override fun copy(children: List<Node>): HostDeclarationNode
Content copied to clipboard

Returns a shallow copy of this node where the child nodes are replaced by children.

toDocument
Link copied to clipboard
override fun toDocument(): Document
Content copied to clipboard
toDocumentWithMetadata
Link copied to clipboard
fun toDocumentWithMetadata(metadata: Metadata): Document
Content copied to clipboard

Returns a pretty representation of this Node where each descendant is decorated using metadata.

toSurfaceNode
Link copied to clipboard
open override fun toSurfaceNode(metadata: Metadata): HostDeclarationNode
Content copied to clipboard

Returns a representation of this node in the surface syntax.

Properties

authority
Link copied to clipboard
val authority: LabelNode
Content copied to clipboard
children
Link copied to clipboard
open override val children: Iterable<Nothing>
Content copied to clipboard
name
Link copied to clipboard
val name: HostNode
Content copied to clipboard
sourceLocation
Link copied to clipboard
open override val sourceLocation: SourceLocation
Content copied to clipboard