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

Package edu.cornell.cs.apl.viaduct.syntax.intermediate

The abstract syntax of the internal language.

Types

AssertionNode

class AssertionNode(condition: AtomicExpressionNode, sourceLocation: SourceLocation) : StatementNode

Asserting that a condition is true, and failing otherwise.

AtomicExpressionNode

sealed class AtomicExpressionNode : PureExpressionNode

An expression that requires no computation to reduce to a value.

BlockNode

class BlockNode : StatementNode, List<StatementNode>

A sequence of statements.

BreakNode

class BreakNode(jumpLabel: JumpLabelNode, sourceLocation: SourceLocation) : ControlNode

Breaking out of a loop.

CommunicationNode

interface CommunicationNode : HasSourceLocation, PrettyPrintable

An external input or an output.

ControlNode

sealed class ControlNode : StatementNode

A statement that affects control flow.

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.

DeclassificationNode

class DeclassificationNode(expression: AtomicExpressionNode, fromLabel: LabelNode?, toLabel: LabelNode, sourceLocation: SourceLocation) : DowngradeNode

Revealing the result of an expression (reducing confidentiality).

DowngradeNode

sealed class DowngradeNode : PureExpressionNode

Reducing the confidentiality or increasing the integrity of the result of an expression.

EndorsementNode

class EndorsementNode(expression: AtomicExpressionNode, fromLabel: LabelNode, toLabel: LabelNode?, sourceLocation: SourceLocation) : DowngradeNode

Trusting the result of an expression (increasing integrity).

ExpressionArgumentNode

class ExpressionArgumentNode(expression: AtomicExpressionNode, sourceLocation: SourceLocation) : FunctionInputArgumentNode

ExpressionNode

sealed class ExpressionNode : Node

A computation that produces a result.

FunctionArgumentNode

sealed class FunctionArgumentNode : Node

FunctionCallNode

class FunctionCallNode(name: FunctionNameNode, arguments: Arguments<FunctionArgumentNode>, sourceLocation: SourceLocation) : ControlNode

Function call.

FunctionDeclarationNode

class FunctionDeclarationNode(name: FunctionNameNode, pcLabel: LabelNode?, parameters: Arguments<ParameterNode>, body: BlockNode, sourceLocation: SourceLocation) : TopLevelDeclarationNode

A function declaration associating a name with code.

FunctionInputArgumentNode

sealed class FunctionInputArgumentNode : FunctionArgumentNode

FunctionOutputArgumentNode

sealed class FunctionOutputArgumentNode : FunctionArgumentNode

HostDeclarationNode

class HostDeclarationNode(name: HostNode, authority: LabelNode, sourceLocation: SourceLocation) : TopLevelDeclarationNode

Declaration of a participant and their authority.

IfNode

class IfNode(guard: AtomicExpressionNode, thenBranch: BlockNode, elseBranch: BlockNode, sourceLocation: SourceLocation) : ControlNode

Executing statements conditionally.

InfiniteLoopNode

class InfiniteLoopNode(body: BlockNode, jumpLabel: JumpLabelNode, sourceLocation: SourceLocation) : ControlNode

A loop that is executed until a break statement is encountered.

InputNode

class InputNode(type: ValueTypeNode, host: HostNode, sourceLocation: SourceLocation) : ExpressionNode, CommunicationNode

An external input.

LetNode

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

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

LiteralNode

class LiteralNode(value: Value, sourceLocation: SourceLocation) : AtomicExpressionNode

A literal constant.

Metadata

typealias Metadata = Map<Node, PrettyPrintable>

Metadata information per node.

Node

abstract class Node : TreeNode<Node> , HasSourceLocation, PrettyPrintable

A node in the intermediate language abstract syntax tree.

ObjectDeclaration

interface ObjectDeclaration

ObjectDeclarationArgumentNode

class ObjectDeclarationArgumentNode(name: ObjectVariableNode, sourceLocation: SourceLocation) : FunctionOutputArgumentNode

ObjectReferenceArgumentNode

class ObjectReferenceArgumentNode(variable: ObjectVariableNode, sourceLocation: SourceLocation) : FunctionInputArgumentNode

OperatorApplicationNode

class OperatorApplicationNode(operator: Operator, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation) : PureExpressionNode

An n-ary operator applied to n arguments.

OutParameterArgumentNode

class OutParameterArgumentNode(parameter: ObjectVariableNode, sourceLocation: SourceLocation) : FunctionOutputArgumentNode

OutParameterConstructorInitializerNode

class OutParameterConstructorInitializerNode(className: ClassNameNode, typeArguments: Arguments<ValueTypeNode>, labelArguments: Arguments<LabelNode>?, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation) : OutParameterInitializerNode

OutParameterExpressionInitializerNode

class OutParameterExpressionInitializerNode(expression: AtomicExpressionNode, sourceLocation: SourceLocation) : OutParameterInitializerNode

OutParameterInitializationNode

class OutParameterInitializationNode(name: ObjectVariableNode, initializer: OutParameterInitializerNode, sourceLocation: SourceLocation) : SimpleStatementNode

OutParameterInitializerNode

sealed class OutParameterInitializerNode : Node

OutputNode

class OutputNode(message: AtomicExpressionNode, host: HostNode, sourceLocation: SourceLocation) : SimpleStatementNode, CommunicationNode

An external output.

ParameterNode

class ParameterNode(name: ObjectVariableNode, parameterDirection: ParameterDirection, className: ClassNameNode, typeArguments: Arguments<ValueTypeNode>, labelArguments: Arguments<LabelNode>?, protocol: ProtocolNode?, sourceLocation: SourceLocation) : Node, ObjectDeclaration

A parameter to a function declaration.

ProgramNode

class ProgramNode : Node, List<TopLevelDeclarationNode>

The intermediate level representation of a program.

PureExpressionNode

sealed class PureExpressionNode : ExpressionNode

QueryNode

class QueryNode(variable: ObjectVariableNode, query: QueryNameNode, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation) : PureExpressionNode

A query method applied to an object.

ReadNode

class ReadNode(temporary: TemporaryNode) : AtomicExpressionNode

Reading the value stored in a temporary.

SimpleStatementNode

sealed class SimpleStatementNode : StatementNode

A statement that is not a combination of other statements, and that does not affect control flow.

StatementNode

sealed class StatementNode : Node

A computation with side effects.

TopLevelDeclarationNode

sealed class TopLevelDeclarationNode : Node

A declaration at the top level of a file.

UpdateNode

class UpdateNode(variable: ObjectVariableNode, update: UpdateNameNode, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation) : SimpleStatementNode

An update method applied to an object.

Functions

deepCopy

fun Node.deepCopy(): Node

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