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

Package-level declarations

The abstract syntax of the surface language.

Types

class AssertionNode(val condition: ExpressionNode, val sourceLocation: SourceLocation, val comment: String? = null) : StatementNode

Asserting that a condition is true, and failing otherwise.

AtomicExpressionNode

sealed class AtomicExpressionNode : ExpressionNode

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, val comment: String?) : DelegationDeclarationNode

Declaration of an authority delegation.

BlockNode

class BlockNode : StatementNode, List<StatementNode>

A sequence of statements.

BreakNode

class BreakNode(val jumpLabel: JumpLabelNode?, val sourceLocation: SourceLocation, val comment: String? = null) : StatementNode

Breaking out of a loop.

ConstructorCallNode

class ConstructorCallNode(val objectType: ObjectTypeNode, val protocol: ProtocolNode?, val arguments: Arguments<ExpressionNode>, val sourceLocation: SourceLocation) : ExpressionNode

Call to an object constructor. Used for out parameter initialization.

DeclarationNode

class DeclarationNode(val variable: ObjectVariableNode, val initializer: ExpressionNode, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

Constructing a new object and binding it to a variable.

DeclassificationNode

class DeclassificationNode(val expression: ExpressionNode, 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, val comment: String?) : TopLevelDeclarationNode

DowngradeNode

sealed class DowngradeNode : ExpressionNode

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

EndorsementNode

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

Trusting the result of an expression (increasing integrity).

ExpressionArgumentNode

class ExpressionArgumentNode(val expression: ExpressionNode, val sourceLocation: SourceLocation) : FunctionArgumentNode

Function argument that is an expression.

ExpressionNode

sealed class ExpressionNode : Node

A computation that produces a result.

ForLoopNode

class ForLoopNode(val initialize: SimpleStatementNode, val guard: ExpressionNode, val update: SimpleStatementNode, val body: BlockNode, val jumpLabel: JumpLabelNode?, val sourceLocation: SourceLocation, val comment: String? = null) : LoopNode

A for loop.

FunctionArgumentNode

sealed class FunctionArgumentNode : Node

Arguments to functions.

FunctionCallNode

class FunctionCallNode(val name: FunctionNameNode, val arguments: Arguments<FunctionArgumentNode>, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

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, val comment: String? = null) : TopLevelDeclarationNode

A function declaration associating a name with code.

FunctionReturnArgumentNode

sealed class FunctionReturnArgumentNode : FunctionArgumentNode

Out arguments to functions.

HostDeclarationNode

class HostDeclarationNode(val name: HostNode, val sourceLocation: SourceLocation, val comment: String? = null) : TopLevelDeclarationNode

Declaration of a participant and their authority.

IFCDelegationDeclarationNode

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

Declaration of an IFC delegation.

IfNode

class IfNode(val guard: ExpressionNode, val thenBranch: BlockNode, val elseBranch: BlockNode, val sourceLocation: SourceLocation, val comment: String? = null) : StatementNode

Executing statements conditionally.

InfiniteLoopNode

class InfiniteLoopNode(val body: BlockNode, val jumpLabel: JumpLabelNode?, val sourceLocation: SourceLocation, val comment: String? = null) : LoopNode

Executing a statement until a break statement is encountered.

InputNode

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

An external input.

KeywordStyle

object KeywordStyle : Style

The display style used for the keyword in the language.

LetNode

class LetNode(val temporary: TemporaryNode, val value: ExpressionNode, val protocol: ProtocolNode?, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

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

LiteralNode

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

A literal constant.

LoopNode

sealed class LoopNode : StatementNode

A loop statement.

Node

abstract class Node : HasSourceLocation, PrettyPrintable

A node in the abstract syntax tree of a surface level program.

ObjectDeclarationArgumentNode

class ObjectDeclarationArgumentNode(val variable: ObjectVariableNode, val sourceLocation: SourceLocation) : FunctionReturnArgumentNode

Declaration of a new object as a return argument of a function.

ObjectReferenceArgumentNode

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

Function argument that is an object reference (e.g. &a in the surface syntax).

OperatorApplicationNode

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

An n-ary operator applied to n arguments.

OutParameterArgumentNode

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

Out parameter initialized as an out parameter to a function call.

OutParameterInitializationNode

class OutParameterInitializationNode(val name: ObjectVariableNode, val rhs: ExpressionNode, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

Initialization for an out parameter.

OutputNode

class OutputNode(val message: ExpressionNode, val host: HostNode, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

An external output.

ParameterNode

class ParameterNode(val name: ObjectVariableNode, val parameterDirection: ParameterDirection, val objectType: ObjectTypeNode, val protocol: ProtocolNode?, val sourceLocation: SourceLocation, val comment: String? = null) : Node

A parameter to a function declaration.

ProgramNode

class ProgramNode : Node, List<TopLevelDeclarationNode>

Represents a surface level program which is a sequence of top level declarations.

QueryNode

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

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.

SkipNode

class SkipNode(val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

A statement that does nothing.

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<ExpressionNode>, val sourceLocation: SourceLocation, val comment: String? = null) : SimpleStatementNode

An update method applied to an object.

WhileLoopNode

class WhileLoopNode(val guard: ExpressionNode, val body: BlockNode, val jumpLabel: JumpLabelNode?, val sourceLocation: SourceLocation, val comment: String? = null) : LoopNode

Executing a statement repeatedly as long as a condition is true.