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

ProgramNode

class ProgramNode : Node, List<TopLevelDeclarationNode>

The intermediate level representation of a program.

Instances are created by elaborated.

Constructors

ProgramNode

fun ProgramNode(declarations: List<TopLevelDeclarationNode>, sourceLocation: SourceLocation)

Functions

cached

fun <T> cached(function: (ProgramNode) -> T): T

Applies function to this program and returns the results. The result is cached, so future calls with the same function do not evaluate function.

contains

open operator override fun contains(element: TopLevelDeclarationNode): Boolean

containsAll

open override fun containsAll(elements: Collection<TopLevelDeclarationNode>): Boolean

copy

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

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

forEach

open fun forEach(p0: Consumer<in TopLevelDeclarationNode>)

get

open operator override fun get(index: Int): TopLevelDeclarationNode

indexOf

open override fun indexOf(element: TopLevelDeclarationNode): Int

isEmpty

open override fun isEmpty(): Boolean

iterator

open operator override fun iterator(): Iterator<TopLevelDeclarationNode>

lastIndexOf

open override fun lastIndexOf(element: TopLevelDeclarationNode): Int

listIterator

open override fun listIterator(): ListIterator<TopLevelDeclarationNode>

open override fun listIterator(index: Int): ListIterator<TopLevelDeclarationNode>

parallelStream

open fun parallelStream(): Stream<TopLevelDeclarationNode>

spliterator

open override fun spliterator(): Spliterator<TopLevelDeclarationNode>

stream

open fun stream(): Stream<TopLevelDeclarationNode>

subList

open override fun subList(fromIndex: Int, toIndex: Int): List<TopLevelDeclarationNode>

toArray

~~open~~ ~~fun~~ <T : Any> ~~toArray~~(p0: IntFunction<Array<T>>): Array<T>

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.

toString

open override fun toString(): String

toSurfaceNode

open override fun toSurfaceNode(metadata: Metadata): ProgramNode

Returns a representation of this node in the surface syntax.

Properties

children

open override val children: Iterable<TopLevelDeclarationNode>

declarations

val declarations: PersistentList<TopLevelDeclarationNode>

functionMap

val functionMap: Map<FunctionName, FunctionDeclarationNode>

functions

val functions: Iterable<FunctionDeclarationNode>

hostDeclarations

val hostDeclarations: Iterable<HostDeclarationNode>

hosts

val hosts: Set<Host>

size

open override val size: Int

sourceLocation

open override val sourceLocation: SourceLocation

tree

val tree: Tree<Node, ProgramNode>

A lazily constructed Tree instance for the program.

Extensions

annotateWithProtocols

fun ProgramNode.annotateWithProtocols(assignment: ProtocolAssignment): ProgramNode

Annotate parameters, declarations, and let nodes with protocols.

check

fun ProgramNode.check()

Performs all static checks on this program.

compileToKotlin

fun ProgramNode.compileToKotlin(fileName: String, packageName: String, codeGenerators: List<(context: CodeGeneratorContext) -> CodeGenerator>, protocolComposer: ProtocolComposer): FileSpec

isAssignmentAnnotated

fun ProgramNode.isAssignmentAnnotated(): Boolean

main

val ProgramNode.main: FunctionDeclarationNode

Returns the declaration of mainFunction function in this program.

specialize

fun ProgramNode.specialize(): ProgramNode

Returns an AST where every call site is specialized into new functions as much as possible. This allows for the most liberal protocol selection possible, at the cost of redundancy. The specializer will not specialize (mutually) recursive functions to prevent unbounded specialization.