compiler/io.github.aplcornell.viaduct.backends.commitment/CommitmentProtocolFactory

CommitmentProtocolFactory

class CommitmentProtocolFactory(val program: ProgramNode) : ProtocolFactory

Constructors

CommitmentProtocolFactory

fun CommitmentProtocolFactory(program: ProgramNode)

Functions

open fun constraint(node: UpdateNode): SelectionConstraint

open fun constraint(node: VariableDeclarationNode): SelectionConstraint

guardVisibilityConstraint

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

viableProtocols

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

Returns the set of protocols that can implement node.

Properties

val program: ProgramNode

Extensions

fun ProtocolFactory.filter(predicate: (Protocol) -> Boolean): ProtocolFactory

Restricts the given factory to protocols that satisfy predicate.