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

LetNode

class LetNode(temporary: TemporaryNode, value: ExpressionNode, protocol: ProtocolNode?, sourceLocation: SourceLocation) : SimpleStatementNode
Content copied to clipboard

Binding the result of an expression to a new temporary variable.

Constructors

LetNode
Link copied to clipboard
fun LetNode(temporary: TemporaryNode, value: ExpressionNode, protocol: ProtocolNode?, sourceLocation: SourceLocation)
Content copied to clipboard

Functions

copy
Link copied to clipboard
open override fun copy(children: List<Node>): LetNode
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): LetNode
Content copied to clipboard

Returns a representation of this node in the surface syntax.

Properties

children
Link copied to clipboard
open override val children: Iterable<ExpressionNode>
Content copied to clipboard
protocol
Link copied to clipboard
val protocol: ProtocolNode?
Content copied to clipboard
sourceLocation
Link copied to clipboard
open override val sourceLocation: SourceLocation
Content copied to clipboard
temporary
Link copied to clipboard
val temporary: TemporaryNode
Content copied to clipboard
value
Link copied to clipboard
val value: ExpressionNode
Content copied to clipboard

Extensions

readsFrom
Link copied to clipboard
fun LetNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint
Content copied to clipboard

States that if the let node is stored at any protocol in to, it reads from only the protocols in from

sendsTo
Link copied to clipboard
fun LetNode.sendsTo(nameAnalysis: NameAnalysis, from: Set<Protocol>, to: Set<Protocol>): SelectionConstraint
Content copied to clipboard

States that if the let node is stores at any protocol in from, it sends to only the protocols in to