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

Package-level declarations

The abstract syntax of the internal language.

Types

AssertionNode

class AssertionNode(val condition: AtomicExpressionNode, val 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.

AuthorityDelegationDeclarationNode

class AuthorityDelegationDeclarationNode(val from: LabelNode, val to: LabelNode, val delegationProjection: DelegationProjection, val sourceLocation: SourceLocation) : DelegationDeclarationNode

Declaration of a delegation.

BlockNode

class BlockNode : StatementNode, List<StatementNode>

A sequence of statements.

BreakNode

class BreakNode(val jumpLabel: JumpLabelNode, val 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(val name: ObjectVariableNode, val objectType: ObjectTypeNode, val arguments: Arguments<AtomicExpressionNode>, val protocol: ProtocolNode?, val sourceLocation: SourceLocation) : SimpleStatementNode, ObjectVariableDeclarationNode

Constructing a new object and binding it to a variable.

DeclassificationNode

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

Revealing the result of an expression (reducing confidentiality).

DelegationDeclarationNode

abstract class DelegationDeclarationNode(val from: LabelNode, val to: LabelNode, val delegationProjection: DelegationProjection, val sourceLocation: SourceLocation) : TopLevelDeclarationNode

DowngradeNode

sealed class DowngradeNode : PureExpressionNode

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

EndorsementNode

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

Trusting the result of an expression (increasing integrity).

ExpressionArgumentNode

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

ExpressionNode

sealed class ExpressionNode : Node

A computation that produces a result.

FunctionArgumentNode

sealed class FunctionArgumentNode : Node

FunctionCallNode

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

Function call.

FunctionDeclarationNode

class FunctionDeclarationNode(val name: FunctionNameNode, val labelParameters: Arguments<LabelVariableNode>, val parameters: Arguments<ParameterNode>, val labelConstraints: Arguments<IFCDelegationDeclarationNode>, val pcLabel: LabelNode, val body: BlockNode, val sourceLocation: SourceLocation) : TopLevelDeclarationNode

A function declaration associating a name with code.

FunctionInputArgumentNode

sealed class FunctionInputArgumentNode : FunctionArgumentNode

FunctionOutputArgumentNode

sealed class FunctionOutputArgumentNode : FunctionArgumentNode

HostDeclarationNode

class HostDeclarationNode(val name: HostNode, val sourceLocation: SourceLocation) : TopLevelDeclarationNode

Declaration of a participant and their authority.

IFCDelegationDeclarationNode

class IFCDelegationDeclarationNode(val from: LabelNode, val to: LabelNode, val delegationProjection: DelegationProjection, val sourceLocation: SourceLocation) : DelegationDeclarationNode

Declaration of a delegation.

IfNode

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

Executing statements conditionally.

InfiniteLoopNode

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

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

InputNode

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

An external input.

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.

LiteralNode

class LiteralNode(val value: Value, val 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.

ObjectDeclarationArgumentNode

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

ObjectReferenceArgumentNode

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

ObjectVariableDeclarationNode

interface ObjectVariableDeclarationNode : VariableDeclarationNode

A node that declares an ObjectVariable.

OperatorApplicationNode

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

An n-ary operator applied to n arguments.

OutParameterArgumentNode

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

OutParameterConstructorInitializerNode

class OutParameterConstructorInitializerNode(val objectType: ObjectTypeNode, val arguments: Arguments<AtomicExpressionNode>, val sourceLocation: SourceLocation) : OutParameterInitializerNode

OutParameterExpressionInitializerNode

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

OutParameterInitializationNode

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

OutParameterInitializerNode

sealed class OutParameterInitializerNode : Node

OutputNode

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

An external output.

ParameterNode

class ParameterNode(val name: ObjectVariableNode, val parameterDirection: ParameterDirection, val objectType: ObjectTypeNode, val protocol: ProtocolNode?, val sourceLocation: SourceLocation) : Node, ObjectVariableDeclarationNode

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(val variable: ObjectVariableNode, val query: QueryNameNode, val arguments: Arguments<AtomicExpressionNode>, val sourceLocation: SourceLocation) : PureExpressionNode

A query method applied to an object.

ReadNode

class ReadNode(val 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(val variable: ObjectVariableNode, val update: UpdateNameNode, val arguments: Arguments<AtomicExpressionNode>, val sourceLocation: SourceLocation) : SimpleStatementNode

An update method applied to an object.

VariableDeclarationNode

interface VariableDeclarationNode

A node that declares a Variable.

Functions

deepCopy

fun Node.deepCopy(): Node

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