compiler/io.github.aplcornell.viaduct.syntax

Package-level declarations

Types

ArgumentLabel

data class ArgumentLabel(val name: String) : Name, Comparable<ArgumentLabel>

The name assigned to an argument.

ArgumentLabelNode

typealias ArgumentLabelNode = Located<ArgumentLabel>

ArgumentLabelStyle

object ArgumentLabelStyle : Style

The display style of ArgumentLabels.

Arguments

class Arguments<out T> : HasSourceLocation, List<T>

A list of arguments.

ArrayTypeNode

typealias ArrayTypeNode = Located<ArrayType>

Associativity

enum Associativity : Enum<Associativity>

Determines how operators of the same Precedence are grouped in the absence of parentheses.

BinaryOperator

interface BinaryOperator : Operator

An operator that takes two arguments.

ClassNameNode

typealias ClassNameNode = Located<ClassName>

ClosedOperator

interface ClosedOperator : Operator

An operator that surrounds its operands.

DelegationKind

enum DelegationKind : Enum<DelegationKind> , PrettyPrintable

Specifies whether a delegation is an information flow delegation or an authority delegation.

DelegationProjection

enum DelegationProjection : Enum<DelegationProjection> , PrettyPrintable

Specifies whether a delegation is an information flow delegation or an authority delegation.

FunctionName

data class FunctionName(val name: String) : Name

The name of a function.

FunctionNameNode

typealias FunctionNameNode = Located<FunctionName>

FunctionNameStyle

object FunctionNameStyle : Style

HasSourceLocation

interface HasSourceLocation

A node in the abstract syntax tree that has a SourceLocation.

HighestPrecedence

object HighestPrecedence : Precedence

The precedence that is higher than all other precedences.

HostNode

typealias HostNode = Located<Host>

HostTrustConfiguration

class HostTrustConfiguration

A map that associates each host with its authority label.

InfixOperator

interface InfixOperator : Operator

An operator that is written between its operands.

InputPort

data class InputPort(val protocol: Protocol, val host: Host, val id: PortId) : ProtocolPort

JumpLabel

data class JumpLabel(val name: String) : Name

The target label for unstructured control statements like continue and break.

JumpLabelNode

typealias JumpLabelNode = Located<JumpLabel>

JumpLabelStyle

object JumpLabelStyle : Style

The display style of JumpLabels.

LabelNode

typealias LabelNode = Located<LabelExpression>

LabelVariable

data class LabelVariable(val name: String) : Variable

A variable that binds a label.

LabelVariableNode

typealias LabelVariableNode = Located<LabelVariable>

Located

data class Located<out T : PrettyPrintable>(val value: T, val sourceLocation: SourceLocation) : HasSourceLocation, PrettyPrintable

Attaches a source location to an arbitrary type.

LowestPrecedence

object LowestPrecedence : Precedence

The precedence that is lower than all other precedences.

MethodNameNode

typealias MethodNameNode = Located<MethodName>

NamedArguments

class NamedArguments<out T> : HasSourceLocation

A list of labelled arguments.

ObjectTypeNode

class ObjectTypeNode(val className: ClassNameNode, val typeArguments: Arguments<ValueTypeNode>, val labelArguments: Arguments<LabelNode>?) : HasSourceLocation, PrettyPrintable

A class name applied to type and label arguments.

ObjectVariable

data class ObjectVariable(val name: String) : Variable

A variable that binds an object.

ObjectVariableNode

typealias ObjectVariableNode = Located<ObjectVariable>

Operator

interface Operator

A pure function from values to a value.

Order

enum Order : Enum<Order>

The result of comparing two Precedences.

OutputPort

data class OutputPort(val protocol: Protocol, val host: Host, val id: PortId) : ProtocolPort

ParameterDirection

enum ParameterDirection : Enum<ParameterDirection> , PrettyPrintable

Specifies whether a parameter is an IN parameter (can be used) or an OUT (has to be assigned in the function body).

PortId

typealias PortId = String

PostfixOperator

interface PostfixOperator : Operator

An operator that is written after its operands.

Precedence

interface Precedence

Determines the order of operations in the absence of parentheses.

PrefixOperator

interface PrefixOperator : Operator

An operator that is written before its operands.

Protocol

abstract class Protocol : Name, Comparable<Protocol>

An abstract location where computations can be placed.

ProtocolName

data class ProtocolName(val name: String) : Name, Comparable<ProtocolName>

The name of a cryptographic protocol.

ProtocolNameNode

typealias ProtocolNameNode = Located<ProtocolName>

ProtocolNameStyle

object ProtocolNameStyle : Style

The display style of ProtocolNames.

ProtocolNode

typealias ProtocolNode = Located<Protocol>

ProtocolPort

interface ProtocolPort

ProtocolProjection

data class ProtocolProjection(val protocol: Protocol, val host: Host) : Name, Comparable<ProtocolProjection>

QueryNameNode

typealias QueryNameNode = Located<QueryName>

SourceLocation

typealias SourceLocation = SourceRange

Specifies what portion of the source code an abstract syntax tree node corresponds to.

Temporary

data class Temporary(val name: String) : Variable

A variable that binds base values.

TemporaryNode

typealias TemporaryNode = Located<Temporary>

UnaryOperator

interface UnaryOperator : Operator

An operator that takes a single argument.

UpdateNameNode

typealias UpdateNameNode = Located<UpdateName>

ValueNode

typealias ValueNode = Located<Value>

ValueTypeNode

typealias ValueTypeNode = Located<ValueType>

Variable

sealed class Variable : Name

A variable is a name that stands for a value or an object instance.

VariableNode

typealias VariableNode = Located<Variable>

VariableStyle

object VariableStyle : Style

The display style of Variables.

Functions

bindsTighterThan

fun Operator.bindsTighterThan(other: Operator): Boolean

Returns true when this operator has precedence higher than or equal to other.

Properties

arity

val Operator.arity: Int

The number of arguments this operator takes.