compiler/io.github.aplcornell.viaduct.errors/ConfidentialityChangingEndorsementError

ConfidentialityChangingEndorsementError

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

Thrown when a EndorsementNode modifies integrity.

Parameters

node

Endorsement statement that modifies confidentiality.

from

Label of the expression being endorsed.

to

Resulting label of the expression.

Constructors

ConfidentialityChangingEndorsementError

fun ConfidentialityChangingEndorsementError(node: EndorsementNode, from: Label, to: Label)

Functions

fun addSuppressed(p0: Throwable)

fillInStackTrace

open fun fillInStackTrace(): Throwable

getLocalizedMessage

open fun getLocalizedMessage(): String

open fun getStackTrace(): Array<StackTraceElement>

fun getSuppressed(): Array<Throwable>

open fun initCause(p0: Throwable): Throwable

printStackTrace

open fun printStackTrace()

open fun printStackTrace(p0: PrintStream)

open fun printStackTrace(p0: PrintWriter)

open fun setStackTrace(p0: Array<StackTraceElement>)

override fun toDocument(): Document

override fun toString(): String

Properties

open val cause: Throwable?

open val message: String?