compiler/edu.cornell.cs.apl.viaduct.errors/ConfidentialityChangingEndorsementError

ConfidentialityChangingEndorsementError

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

Thrown when an EndorsementNode modifies confidentiality.

Parameters

node

Endorse statement that modifies confidentiality.

from

Label of the expression being declassified.

to

Resulting label of the expression.

Constructors

ConfidentialityChangingEndorsementError

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

Functions

addSuppressed

fun addSuppressed(p0: Throwable)

fillInStackTrace

open fun fillInStackTrace(): Throwable

getLocalizedMessage

open fun getLocalizedMessage(): String

getStackTrace

open fun getStackTrace(): Array<StackTraceElement>

getSuppressed

fun getSuppressed(): Array<Throwable>

initCause

open fun initCause(p0: Throwable): Throwable

printStackTrace

open fun printStackTrace()

open fun printStackTrace(p0: PrintStream)

open fun printStackTrace(p0: PrintWriter)

setStackTrace

open fun setStackTrace(p0: Array<StackTraceElement>)

toDocument

override fun toDocument(): Document

toString

override fun toString(): String

Properties

cause

open val cause: Throwable?

message

open val message: String?