compiler/edu.cornell.cs.apl.viaduct.backends.aby/ABYProtocolFactory

ABYProtocolFactory

class ABYProtocolFactory(program: ProgramNode) : ProtocolFactory

Functions

constraint

open override fun constraint(node: DeclarationNode): SelectionConstraint

open override fun constraint(node: LetNode): SelectionConstraint

open override fun constraint(node: UpdateNode): SelectionConstraint

open fun constraint(node: ParameterNode): SelectionConstraint

guardVisibilityConstraint

open override 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

parentFactory

var parentFactory: ProtocolFactory? = null

protocolComposer

var protocolComposer: ProtocolComposer? = null