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

LabelLiteral

data class LabelLiteral(name: String) : LabelExpression

Functions

containsParameters

open override fun containsParameters(): Boolean

interpret

open override fun interpret(parameters: Map<String, Label>): Label

rename

open override fun rename(renamer: (String) -> String): LabelExpression

toDocument

open override fun toDocument(): Document

Properties

name

val name: String