compiler/io.github.aplcornell.viaduct.backends.cleartext/Local

Local

class Local(val host: Host) : Cleartext

The protocol that executes code on a specific host in the clear.

This protocol has exactly the authority and the capabilities of the host it is tied to.

Constructors

fun Local(host: Host)

Types

object Companion

Functions

open override fun authority(): Label

Returns the authority label of this protocol given the authority labels of the participating hosts.

operator override fun compareTo(other: Protocol): Int

operator override fun equals(other: Any?): Boolean

override fun hashCode(): Int

open override fun toDocument(): Document

Properties

open override val arguments: Map<String, Value>

The named arguments applied to protocolName.

cleartextCommitmentInputPort

val cleartextCommitmentInputPort: InputPort

hashCommitmentInputPort

val hashCommitmentInputPort: InputPort

val hosts: HostSetValue

Hosts involved in this protocol.

val inputPort: InputPort

internalInputPorts

val internalInputPorts: Map<Host, InputPort>

internalOutputPorts

val internalOutputPorts: Map<Host, OutputPort>

override val name: String

override val nameCategory: String

val outputPort: OutputPort

open override val protocolName: ProtocolName

The name of the (cryptographic) protocol.