compiler/edu.cornell.cs.apl.viaduct.syntax/ProtocolName

ProtocolName

data class ProtocolName(name: String) : Name, Comparable<ProtocolName>

The name of a cryptographic protocol.

A Protocol is (essentially) a ProtocolName applied to arguments.

Constructors

ProtocolName

fun ProtocolName(name: String)

Functions

compareTo

open operator override fun compareTo(other: ProtocolName): Int

toDocument

open override fun toDocument(): Document

Properties

name

open override val name: String

nameCategory

open override val nameCategory: String