runtime/io.github.aplcornell.viaduct.runtime

Package-level declarations

Types

class Boxed<T>(value: T)

Represents a mutable cell.

CombinedRuntime

class CombinedRuntime(ioStrategy: IOStrategy, networkStrategy: NetworkStrategy) : ViaductRuntime, IOStrategy, NetworkStrategy

EquivocationException

class EquivocationException : ViaductRuntimeException

Thrown when a Host catches the attacker trying to equivocate.

HostCommunicationException

class HostCommunicationException(host: Host, otherHost: Host) : ViaductRuntimeException

HostConnectionException

class HostConnectionException(host: Host, otherHost: Host, address: InetSocketAddress) : ViaductRuntimeException

Thrown when the runtime fails to establish a connection to a host.

interface IOStrategy

NetworkStrategy

interface NetworkStrategy

class Out<T : Any>

Represents an output argument of a function call.

ScannerIOStrategy

class ScannerIOStrategy(input: Scanner, output: Writer = System.out.writer(Charset.defaultCharset())) : IOStrategy

TCPNetworkStrategy

class TCPNetworkStrategy(host: Host, hostAddresses: Map<Host, InetSocketAddress>, connectionNumRetry: Int = CONNECTION_NUM_RETRY, connectionRetryDelay: Long = CONNECTION_RETRY_DELAY) : NetworkStrategy, Closeable

Implementation of a pairwise connected network using TCP sockets.

UnknownHostException

class UnknownHostException(host: Host) : ViaductRuntimeException

ViaductGeneratedProgram

interface ViaductGeneratedProgram

interface ViaductRuntime : IOStrategy, NetworkStrategy

ViaductRuntimeException

abstract class ViaductRuntimeException(message: String) : RuntimeException

Functions

findAvailableTcpPort

fun findAvailableTcpPort(): Int

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

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