compiler/edu.cornell.cs.apl.viaduct.security/Principal

Principal

data class Principal(name: String) : Comparable<Principal> , PrettyPrintable

An actor with an associated security label.

Constructors

Principal

fun Principal(name: String)

Functions

compareTo

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

toDocument

open override fun toDocument(): Document

toString

open override fun toString(): String

Properties

name

val name: String