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

LabelTop

object LabelTop : LabelExpression
Content copied to clipboard

Functions

containsParameters
Link copied to clipboard
open override fun containsParameters(): Boolean
Content copied to clipboard
interpret
Link copied to clipboard
open override fun interpret(parameters: Map<String, Label>): Label
Content copied to clipboard
rename
Link copied to clipboard
open override fun rename(renamer: (String) -> String): LabelExpression
Content copied to clipboard
toDocument
Link copied to clipboard
open override fun toDocument(): Document
Content copied to clipboard