org.cryptimeleon.craco.secretsharing.accessstructure.visitors

Class AccessGrantedVisitor

java.lang.Object

org.cryptimeleon.craco.secretsharing.accessstructure.visitors.AccessGrantedVisitor

All Implemented Interfaces:

Visitor<java.lang.Boolean>

public class AccessGrantedVisitor
extends java.lang.Object
implements Visitor<java.lang.Boolean>

A visitor that checks whether a given AccessStructure fulfills the threshold requirement needed to allow access.

Constructor Summary

Constructors

Constructor and Description
AccessGrantedVisitor(java.util.Set<java.lang.Integer> setOfShareIdentifiers)

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	getResultOfCurrentNode() Returns whether the node visited by this visitor fulfills the threshold requirement.
Visitor<java.lang.Boolean>	getVisitorForNextChild() Returns a visitor for the next child.
void	putResultOfChild(java.lang.Boolean isChildFulfilled) Takes information about whether a child is fulfilled and updates fulfillment information of the current node accordingly.
void	visit(TreeNode currentNode) Visits given node and stores its threshold information.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AccessGrantedVisitor

public AccessGrantedVisitor(java.util.Set<java.lang.Integer> setOfShareIdentifiers)

Parameters:

setOfShareIdentifiers - set of share identifiers used to check fulfillment of the node to visit

Method Detail

getResultOfCurrentNode

public java.lang.Boolean getResultOfCurrentNode()

Returns whether the node visited by this visitor fulfills the threshold requirement.

Specified by:

getResultOfCurrentNode in interface Visitor<java.lang.Boolean>

Returns:

whether this node is fulfilled

getVisitorForNextChild

public Visitor<java.lang.Boolean> getVisitorForNextChild()

Description copied from interface: Visitor

Returns a visitor for the next child. The resulting visitor is functionally the same, but any state that was mutated while visiting the current child may be reset.

Specified by:

getVisitorForNextChild in interface Visitor<java.lang.Boolean>

Returns:

a visitor of the same kind

putResultOfChild

public void putResultOfChild(java.lang.Boolean isChildFulfilled)

Takes information about whether a child is fulfilled and updates fulfillment information of the current node accordingly. If the threshold requirement of the node visited by this visitor is fulfilled, fulfilled is set to true.

Specified by:

putResultOfChild in interface Visitor<java.lang.Boolean>

Parameters:

isChildFulfilled - whether child is fulfilled

visit

public void visit(TreeNode currentNode)

Visits given node and stores its threshold information. If the visited node is a leaf node, it checks whether its share is contained in the set of shares supplied to this visitor and updates fulfilled accordingly.

Specified by:

visit in interface Visitor<java.lang.Boolean>

Parameters:

currentNode - node of the threshold tree to visit