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

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

Types

ArgumentLabel

data class ArgumentLabel(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.

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.

FunctionName

data class FunctionName(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 : Map<Host, LabelExpression> , Function1<Host, LabelExpression>

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(protocol: Protocol, host: Host, id: PortId) : ProtocolPort

JumpLabel

data class JumpLabel(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>

Located

data class Located<out T : PrettyPrintable>(value: T, 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.

ObjectVariable

data class ObjectVariable(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(protocol: Protocol, host: Host, 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(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(protocol: Protocol, 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(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.

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.