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

DeclarationNode

class DeclarationNode(name: ObjectVariableNode, className: ClassNameNode, typeArguments: Arguments<ValueTypeNode>, labelArguments: Arguments<LabelNode>?, arguments: Arguments<AtomicExpressionNode>, protocol: ProtocolNode?, sourceLocation: SourceLocation) : SimpleStatementNode, ObjectDeclaration

Constructing a new object and binding it to a variable.

Constructors

DeclarationNode

fun DeclarationNode(name: ObjectVariableNode, className: ClassNameNode, typeArguments: Arguments<ValueTypeNode>, labelArguments: Arguments<LabelNode>?, arguments: Arguments<AtomicExpressionNode>, protocol: ProtocolNode?, sourceLocation: SourceLocation)

Functions

copy

open override fun copy(children: List<Node>): DeclarationNode

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

toDocument

override fun toDocument(): Document

toDocumentWithMetadata

fun toDocumentWithMetadata(metadata: Metadata): Document

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

toSurfaceNode

open override fun toSurfaceNode(metadata: Metadata): DeclarationNode

Returns a representation of this node in the surface syntax.

Properties

arguments

val arguments: Arguments<AtomicExpressionNode>

children

open override val children: Iterable<AtomicExpressionNode>

className

open override val className: ClassNameNode

declarationAsNode

open override val declarationAsNode: StatementNode

labelArguments

open override val labelArguments: Arguments<LabelNode>?

name

open override val name: ObjectVariableNode

protocol

val protocol: ProtocolNode?

sourceLocation

open override val sourceLocation: SourceLocation

typeArguments

open override val typeArguments: Arguments<ValueTypeNode>

Extensions

readsFrom

fun DeclarationNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint

sendsTo

fun DeclarationNode.sendsTo(nameAnalysis: NameAnalysis, from: Set<Protocol>, to: Set<Protocol>): SelectionConstraint