compiler/io.github.aplcornell.viaduct.errors

Package-level declarations

Types

CompilationError

abstract class CompilationError : Error, PrettyPrintable

Superclass of all errors caused by bad user input to the compiler.

ConfidentialityChangingEndorsementError

class ConfidentialityChangingEndorsementError(node: EndorsementNode, from: Label, to: Label) : InformationFlowError

Thrown when a EndorsementNode modifies integrity.

IllegalCharacterError

class IllegalCharacterError(location: SourceLocation) : CompilationError

Thrown when the lexer encounters an illegal character.

IncorrectNumberOfArgumentsError

class IncorrectNumberOfArgumentsError(method: Located<Name>, expected: Int, actual: Arguments<*>) : CompilationError

Thrown when a function or a method is given too many or too few arguments.

InformationFlowError

abstract class InformationFlowError : CompilationError

Superclass of errors related to information flow.

InsecureControlFlowError

class InsecureControlFlowError(node: HasSourceLocation, nodeLabel: Label, pc: Label, context: FreeDistributiveLatticeCongruence<PrincipalComponent>) : InformationFlowError

Thrown when the control flow influences data in a way that violates security.

InsecureDataFlowError

class InsecureDataFlowError(node: HasSourceLocation, nodeLabel: Label, to: Label, context: FreeDistributiveLatticeCongruence<Component<Principal>>) : InformationFlowError

Thrown when a term's output flows to a location that would violate information flow security.

IntegrityChangingDeclassificationError

class IntegrityChangingDeclassificationError(node: DeclassificationNode, from: Label, to: Label) : InformationFlowError

Thrown when a DeclassificationNode modifies integrity.

InvalidConstructorCallError

class InvalidConstructorCallError(node: Node, constructorNeeded: Boolean = false) : CompilationError

InvalidProtocolAnnotationError

class InvalidProtocolAnnotationError(node: Node) : CompilationError

Thrown when the protocol node is annotated with cannot implement node.

JumpOutsideLoopScopeError

class JumpOutsideLoopScopeError(val node: HasSourceLocation) : CompilationError

Thrown when a break, continue, or a similar statement occurs outside the scope of a loop.

LabelMismatchError

class LabelMismatchError(node: HasSourceLocation, actualLabel: Label, expectedLabel: Label) : InformationFlowError

Thrown when the inferred label of a node does not match its annotated label.

MalleableDowngradeError

class MalleableDowngradeError(node: DowngradeNode) : InformationFlowError

Thrown when a DowngradeNode node violate the non-malleable information flow control restriction.

NameClashError

class NameClashError(name: Name, firstDeclaration: SourceLocation, secondDeclaration: SourceLocation) : CompilationError

Thrown when a Name has multiple declarations.

NoApplicableProtocolError

class NoApplicableProtocolError(node: HasSourceLocation) : CompilationError

Thrown when there is no Protocol that can be assigned to node.

NoHostDeclarationsError

class NoHostDeclarationsError(source: String) : CompilationError

Thrown when trying to compile a program with no host declarations.

NoMainError

class NoMainError(source: String) : CompilationError

Thrown when trying to compile a program with no main.

NoProtocolAnnotationError

class NoProtocolAnnotationError(node: Node) : CompilationError

Thrown when a required protocol annotation in node is not found.

NoSelectionSolutionError

class NoSelectionSolutionError(program: ProgramNode) : CompilationError

Thrown when protocol selection cannot find a solution.

OutParameterInitializationError

class OutParameterInitializationError(parameter: ParameterNode, useSite: Node? = null) : CompilationError

ParameterDirectionMismatchError

class ParameterDirectionMismatchError(parameter: ParameterNode, argument: FunctionArgumentNode) : CompilationError

ParsingError

class ParsingError(location: SourceLocation, actualToken: String, expectedTokens: List<String>) : CompilationError

Thrown when the parser runs into an unexpected token.

RuntimeError

class RuntimeError(val information: String, val node: HasSourceLocation? = null) : CompilationError

TypeMismatchError

class TypeMismatchError(node: HasSourceLocation, actualType: Type, expectedType: Type) : CompilationError

Thrown when the inferred type of an AST node does not match its expected type.

UndefinedNameError

class UndefinedNameError(name: Located<Name>) : CompilationError

Thrown when a Name is referenced before it is defined.

UnexpectedArgumentError

class UnexpectedArgumentError(name: Located<ArgumentLabel>) : CompilationError

Thrown when a function is given an extra argument.

UnknownDatatypeError

class UnknownDatatypeError(objectName: ObjectVariableNode, className: ClassName) : CompilationError

Thrown when an object is declared with an unknown datatype (class name).

UnknownMethodError

class UnknownMethodError(objectName: ObjectVariableNode, methodName: MethodNameNode, objectType: ObjectType? = null, argumentTypes: List<ValueType>? = null) : CompilationError

Thrown when an object is called with a method it does not recognize.

ViaductInterpreterError

class ViaductInterpreterError(val information: String, val node: HasSourceLocation? = null) : CompilationError