compiler/io.github.aplcornell.viaduct.syntax.intermediate/LetNode

LetNode

class LetNode(val name: TemporaryNode, val value: ExpressionNode, val protocol: ProtocolNode?, val sourceLocation: SourceLocation) : SimpleStatementNode, VariableDeclarationNode

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

Constructors

LetNode

fun LetNode(name: TemporaryNode, value: ExpressionNode, protocol: ProtocolNode?, sourceLocation: SourceLocation)

Functions

copy

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

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): LetNode

Returns a representation of this node in the surface syntax.

Properties

children

open override val children: Iterable<ExpressionNode>

The list of all children nodes. This is empty for leaf nodes.

name

open override val name: TemporaryNode

The variable declared by this node.

protocol

open override val protocol: ProtocolNode?

The protocol that should store the declared variable.

sourceLocation

open override val sourceLocation: SourceLocation

value

val value: ExpressionNode

Extensions

canMux

fun StatementNode.canMux(): Boolean

createdVariables

fun StatementNode.createdVariables(): List<Variable>

deepCopy

fun Node.deepCopy(): Node

Like Node.copy, but recursively copies all descendant nodes also.

descendants

fun Node.descendants(): Sequence<Node>

Returns this node and all its descendants in post order.

descendantsIsInstance

inline fun <T : Node> Node.descendantsIsInstance(): Sequence<T>

Returns all instances of T contained in this node (which may include this node).

freshVariableNameGenerator

fun Node.freshVariableNameGenerator(): FreshNameGenerator

A FreshNameGenerator that will avoid all Variable names in this node.

immediateRHS

fun StatementNode.immediateRHS(): List<ExpressionNode>

readsFrom

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

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

sendsTo

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

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