import {OrNodeChecker} from 'fincontracts-lib/src/fincontract-executor.js'

public class | source

OrNodeChecker

Extends:

Visitor → EmptyVisitor → OrNodeChecker

OrNodeChecker checks if there exist path from root node to the nearest Or node (see FincOrNode), while only passing through FincTimeboundNode and FincScaleNode. It's neccessary to check this before choosing a sub-fincontract (see Executor#choose), since the description tree on the blockchain does not have these explicit node types and rather they are embedded in every node. However, when pulling the contract down (see Fetcher#pullFincontract) we infer and construct these nodes. If we didn't check this ourselves and the top-level nodes is not an OR node, then the transaction would fail and the gas would not be refunded.

Method Summary

Public Methods
public	processOrNode(): true Called when processing FincOrNode.
public	processScaleNode(node: FincNode, child: Boolean \| null): Boolean \| null Called when processing FincScaleNode.
public	processTimeboundNode(node: FincNode, child: Boolean \| null): Boolean \| null Called when processing FincTimeboundNode.

Inherited Summary

From class Visitor
public abstract	processAndNode(): Object Called when processing FincAndNode.
public abstract	processGiveNode(): Object Called when processing FincGiveNode.
public abstract	processIfNode(): Object Called when processing FincIfNode.
public abstract	processOneNode(): Object Called when processing FincOneNode.
public abstract	processOrNode(): Object Called when processing FincOrNode.
public abstract	processScaleNode(): Object Called when processing FincScaleNode.
public abstract	processScaleObsNode(): Object Called when processing FincScaleObsNode.
public abstract	processTimeboundNode(): Object Called when processing FincTimeboundNode.
public abstract	processZeroNode(): Object Called when processing FincZeroNode.
public	visit(node: FincNode): Object Visits current node.

From class EmptyVisitor
public	processAndNode(): null Called during preorder traversal when processing FincAndNode.
public	processGiveNode(): null Called during preorder traversal when processing FincGiveNode.
public	processIfNode(): null Called during preorder traversal when processing FincIfNode.
public	processOneNode(): null Called during preorder traversal when processing FincOneNode.
public	processOrNode(): null Called during preorder traversal when processing FincOrNode.
public	processScaleNode(): null Called during preorder traversal when processing FincScaleNode.
public	processScaleObsNode(): null Called during preorder traversal when processing FincScaleObsNode.
public	processTimeboundNode(): null Called during preorder traversal when processing FincTimeboundNode.
public	processZeroNode(): null Called during preorder traversal when processing FincZeroNode.

Public Methods

public processOrNode(): true source

Called when processing FincOrNode. Returns true, because we have reached an OR node.

Override:

EmptyVisitor#processOrNode

Return:

true

public processScaleNode(node: FincNode, child: Boolean | null): Boolean | null source

Called when processing FincScaleNode. Passes the child's result to the parent.

Override:

EmptyVisitor#processScaleNode

Params:

Name	Type	Attribute	Description
node	FincNode		currently being processed node
child	Boolean \| null		result from processing its child

Return:

Boolean | null

result from processing its child

public processTimeboundNode(node: FincNode, child: Boolean | null): Boolean | null source

Called when processing FincTimeboundNode. Passes the child's result to the parent.

Override:

EmptyVisitor#processTimeboundNode

Params:

Name	Type	Attribute	Description
node	FincNode		currently being processed node
child	Boolean \| null		result from processing its child

Return:

Boolean | null

result from processing its child