runtime2/edu.cornell.cs.apl.viaduct.runtime

Package edu.cornell.cs.apl.viaduct.runtime

Types

Boxed

abstract class Boxed

EquivocationException

class EquivocationException(expectedValue: Any?, expectedValueProvider: Host, actualValue: Any?, actualValueProvider: Host) : ViaductRuntimeException

Thrown when a Host catches the attacker trying to equivocate.

Runtime

interface Runtime

ViaductRuntime

abstract class ViaductRuntime : Runtime

ViaductRuntimeException

abstract class ViaductRuntimeException(message: String) : RuntimeException

Functions

assertEquals

fun <T> assertEquals(expectedValue: T, expectedValueProvider: Host, actualValue: T, actualValueProvider: Host)

Throws EquivocationException if expectedValue does not match actualValue.

receive

inline suspend fun <T> Runtime.receive(sender: Host): T

send

inline suspend fun <T> Runtime.send(value: T, receiver: Host)