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

LabelMeet

data class LabelMeet(lhs: LabelExpression, rhs: LabelExpression) : 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

lhs

val lhs: LabelExpression

rhs

val rhs: LabelExpression