compiler/edu.cornell.cs.apl.viaduct.backends.cleartext/LocalProtocolFactory

LocalProtocolFactory

class LocalProtocolFactory(program: ProgramNode) : ProtocolFactory

Functions

constraint

open fun constraint(node: DeclarationNode): SelectionConstraint

open fun constraint(node: LetNode): SelectionConstraint

open fun constraint(node: ParameterNode): SelectionConstraint

open fun constraint(node: UpdateNode): SelectionConstraint

guardVisibilityConstraint

open fun guardVisibilityConstraint(protocol: Protocol, node: IfNode): SelectionConstraint

viableProtocols

open override fun viableProtocols(node: DeclarationNode): Set<Protocol>

open override fun viableProtocols(node: LetNode): Set<Protocol>

open override fun viableProtocols(node: ParameterNode): Set<Protocol>

Properties

program

val program: ProgramNode

protocols

val protocols: Set<Protocol>