edu.cornell.cs.apl.viaduct.parsing

ProtocolArguments

class ProtocolArguments

A map from argument labels to Values.

ProtocolParser

interface ProtocolParser<out P : Protocol>

A parser for protocols of type P.

SourceFile

class SourceFile

Maintains metadata (for example, file path) about an input stream and gives access to its contents.

SourcePosition

data class SourcePosition(sourceFile: SourceFile, offset: Int) : Comparable<SourcePosition>

Represents a position in a source file. Positions correspond to spaces between characters rather than characters themselves.

SourceRange

data class SourceRange(start: SourcePosition, end: SourcePosition)

Denotes a nonempty set of consecutive characters in a source file. Empty ranges are not allowed, since there is no column number that corresponds to a single position.

parse

fun SourceFile.parse(protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>> = defaultProtocolParsers): ProgramNode

Parses this source file and returns the AST.

fun String.parse(path: String = "<string>", protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>> = defaultProtocolParsers): ProgramNode

Parses this string and returns the AST.

parseLabel

fun SourceFile.parseLabel(): LabelExpression

Parses this source file as a security label.

fun String.parseLabel(path: String = "<string>"): LabelExpression

Parses this string as a security label.

defaultProtocolParsers

val defaultProtocolParsers: PersistentMap<ProtocolName, ProtocolParser<Protocol>>

Package edu.cornell.cs.apl.viaduct.parsing

Types

Functions

Properties