compiler/io.github.aplcornell.viaduct.selection/VariableIn

VariableIn

data class VariableIn(val variable: FunctionVariable, val protocol: Protocol) : SelectionConstraint

VariableIn(v, P) holds when v is selected to be a protocol in P

Constructors

fun VariableIn(variable: FunctionVariable, protocol: Protocol)

Functions

open override fun toDocument(): Document

Properties

val protocol: Protocol

val variable: FunctionVariable

Extensions

functionVariables

fun SelectionConstraint.functionVariables(): Set<FunctionVariable>

Some convenience functions.

guardVisibilityVariables

fun SelectionConstraint.guardVisibilityVariables(): Set<GuardVisibilityFlag>

fun SelectionConstraint.hostVariables(): Set<HostVariable>

fun SelectionConstraint.protocols(): Set<Protocol>

fun SelectionConstraint.variableNames(): Set<String>