OpenVDB  12.0.0
Public Types | Public Member Functions | List of all members
ConditionalStatement Struct Reference

ConditionalStatements represents all combinations of 'if', 'else' and 'else if' syntax and semantics. A single ConditionalStatement only ever represents up to two branches; an 'if' (true) and an optional 'else' (false). ConditionalStatements are nested within the second 'else' branch to support 'else if' logic. As well as both 'if' and 'else' branches, a ConditionalStatement also holds an Expression related to its primary condition. More...

#include <openvdb_ax/ast/AST.h>

Inherits Statement.

Public Types

using UniquePtr = std::unique_ptr< ConditionalStatement >
 
enum  NodeType {
  TreeNode, StatementListNode, BlockNode, ConditionalStatementNode,
  CommaOperatorNode, LoopNode, KeywordNode, AssignExpressionNode,
  CrementNode, UnaryOperatorNode, BinaryOperatorNode, TernaryOperatorNode,
  CastNode, AttributeNode, FunctionCallNode, ExternalVariableNode,
  DeclareLocalNode, ArrayPackNode, ArrayUnpackNode, LocalNode,
  ValueBoolNode, ValueInt16Node, ValueInt32Node, ValueInt64Node,
  ValueFloatNode, ValueDoubleNode, ValueStrNode
}
 An enumerated list of node types for all concrete node types. These can be used for faster evaluation of a given concrete node using the virtual function table via Node::nodetype() rather than performing a dynamic_cast/calling Node::isType. More...
 
using Ptr = std::shared_ptr< Node >
 

Public Member Functions

 ConditionalStatement (Expression *conditional, Block *trueBlock, Block *falseBlock=nullptr)
 Construct a new ConditionalStatement with an Expression representing the primary condition, a Block representing the 'true' branch and an optional Block representing the 'false' branch. Ownership of all arguments is transferred to the ConditionalStatement. All arguments have their parent data updated. More...
 
 ConditionalStatement (const ConditionalStatement &other)
 Deep copy constructor for an ConditionalStatement, performing a deep copy on the condition and both held branches (Blocks), ensuring parent information is updated. More...
 
 ~ConditionalStatement () override=default
 
ConditionalStatementcopy () const override final
 The deep copy method for a Node. More...
 
NodeType nodetype () const override
 Virtual method for accessing node type information. More...
 
const char * nodename () const override
 Virtual method for accessing node name information. More...
 
const char * subname () const override
 Virtual method for accessing node name information. More...
 
const Statementbasetype () const override
 Virtual method for accessing a node's base class. Note that if this is called explicitly on an instance of ast::Node (the top most base class) a nullptr is returned. This is primarily used by the Visitor to support hierarchical visits. More...
 
size_t children () const override final
 Virtual method for accessing child information. Returns the number of children a given AST node owns. More...
 
const Statementchild (const size_t i) const override final
 Virtual method for accessing child information. Returns a const pointer to a child node at the given index. If the index is out of range, a nullptr is returned. More...
 
bool replacechild (const size_t i, Node *node) override final
 Virtual method that attempted to replace a child at a given index with a provided node type. More...
 
bool hasFalse () const
 Query if this ConditionalStatement has a valid 'false' branch. More...
 
size_t branchCount () const
 Query the number of branches held by this ConditionalStatement. This is only ever 1 or 2. More...
 
const Expressioncondition () const
 Access a const pointer to the ConditionalStatements condition as an abstract expression. More...
 
const BlocktrueBranch () const
 Access a const pointer to the ConditionalStatements 'true' branch as a Block. More...
 
const BlockfalseBranch () const
 Access a const pointer to the ConditionalStatements 'false' branch as a Block. More...
 
Name/Type
template<typename NodeT >
bool isType () const
 Query whether or not this node is of a specific (derived) type. This method should be used to check if a node is of a particular abstract type. When checking concrete types, it's generally more efficient to check the return value of Node::nodetype() More...
 
Child Queries
int64_t childidx () const
 Returns the child index of this node in relation to its parent, or -1 if no valid index is found (usually representing the top most node (i.e. Tree) More...
 
Replacement
bool replace (Node *node)
 In place replacement. Attempts to replace this node at its specific location within its Abstract Syntax Tree. On a successful replacement, this node is destroyed, the provided node is inserted in its place and ownership is transferred to the parent node. No further calls to this node can be made on successful replacements. More...
 
Parent
const Nodeparent () const
 Access a const pointer to this nodes parent. More...
 
void setParent (Node *parent)
 Set this node's parent. This is used during construction of an AST and should not be used. More...
 

Detailed Description

ConditionalStatements represents all combinations of 'if', 'else' and 'else if' syntax and semantics. A single ConditionalStatement only ever represents up to two branches; an 'if' (true) and an optional 'else' (false). ConditionalStatements are nested within the second 'else' branch to support 'else if' logic. As well as both 'if' and 'else' branches, a ConditionalStatement also holds an Expression related to its primary condition.

Note
The first 'if' branch is referred to as the 'true' branch. The second 'else' branch is referred to as the 'false' branch.

Member Typedef Documentation

using Ptr = std::shared_ptr<Node>
inherited
using UniquePtr = std::unique_ptr<ConditionalStatement>

Member Enumeration Documentation

enum NodeType
inherited

An enumerated list of node types for all concrete node types. These can be used for faster evaluation of a given concrete node using the virtual function table via Node::nodetype() rather than performing a dynamic_cast/calling Node::isType.

Note
This is sometimes referred to as "manual RTTI". We use this technique combine with single dispatch due to opting for CRTP on the main visitor and no templated virtual method support in C++. i.e. no way to double dispatch: visit<template T>(Visitor<T>*)
Abstract (pure-virtual) nodes are not listed here. Node::isType should be used to determine if a node is of a given abstract type.
Enumerator
TreeNode 
StatementListNode 
BlockNode 
ConditionalStatementNode 
CommaOperatorNode 
LoopNode 
KeywordNode 
AssignExpressionNode 
CrementNode 
UnaryOperatorNode 
BinaryOperatorNode 
TernaryOperatorNode 
CastNode 
AttributeNode 
FunctionCallNode 
ExternalVariableNode 
DeclareLocalNode 
ArrayPackNode 
ArrayUnpackNode 
LocalNode 
ValueBoolNode 
ValueInt16Node 
ValueInt32Node 
ValueInt64Node 
ValueFloatNode 
ValueDoubleNode 
ValueStrNode 

Constructor & Destructor Documentation

ConditionalStatement ( Expression conditional,
Block trueBlock,
Block falseBlock = nullptr 
)
inline

Construct a new ConditionalStatement with an Expression representing the primary condition, a Block representing the 'true' branch and an optional Block representing the 'false' branch. Ownership of all arguments is transferred to the ConditionalStatement. All arguments have their parent data updated.

Parameters
conditionalThe Expression to construct the condition from
trueBlockThe Block to construct the true branch from
falseBlockThe (optional) Block to construct the false branch from
ConditionalStatement ( const ConditionalStatement other)
inline

Deep copy constructor for an ConditionalStatement, performing a deep copy on the condition and both held branches (Blocks), ensuring parent information is updated.

Parameters
otherA const reference to another ConditionalStatement to deep copy
~ConditionalStatement ( )
overridedefault

Member Function Documentation

const Statement* basetype ( ) const
inlineoverridevirtual

Virtual method for accessing a node's base class. Note that if this is called explicitly on an instance of ast::Node (the top most base class) a nullptr is returned. This is primarily used by the Visitor to support hierarchical visits.

Reimplemented from Statement.

size_t branchCount ( ) const
inline

Query the number of branches held by this ConditionalStatement. This is only ever 1 or 2.

Returns
2 if a valid 'true' and 'false' branch exist, 1 otherwise
const Statement* child ( const size_t  i) const
inlinefinaloverridevirtual

Virtual method for accessing child information. Returns a const pointer to a child node at the given index. If the index is out of range, a nullptr is returned.

Implements Node.

int64_t childidx ( ) const
inlineinherited

Returns the child index of this node in relation to its parent, or -1 if no valid index is found (usually representing the top most node (i.e. Tree)

Returns
The child index of this node
size_t children ( ) const
inlinefinaloverridevirtual

Virtual method for accessing child information. Returns the number of children a given AST node owns.

Implements Node.

const Expression* condition ( ) const
inline

Access a const pointer to the ConditionalStatements condition as an abstract expression.

Returns
A const pointer to the condition as an expression
ConditionalStatement* copy ( ) const
inlinefinaloverridevirtual

The deep copy method for a Node.

Implements Statement.

const Block* falseBranch ( ) const
inline

Access a const pointer to the ConditionalStatements 'false' branch as a Block.

Returns
A const pointer to the 'false' branch
bool hasFalse ( ) const
inline

Query if this ConditionalStatement has a valid 'false' branch.

Returns
True if a valid 'false' branch exists, false otherwise
bool isType ( ) const
inlineinherited

Query whether or not this node is of a specific (derived) type. This method should be used to check if a node is of a particular abstract type. When checking concrete types, it's generally more efficient to check the return value of Node::nodetype()

Template Parameters
NodeTThe node type to query against.
Returns
True if this node is of the given type, false otherwise.
const char* nodename ( ) const
inlineoverridevirtual

Virtual method for accessing node name information.

Implements Node.

NodeType nodetype ( ) const
inlineoverridevirtual

Virtual method for accessing node type information.

Implements Node.

const Node* parent ( ) const
inlineinherited

Access a const pointer to this nodes parent.

Note
Can be a nullptr if this is the top most node in an AST (usually a Tree)
Returns
A const pointer to this node's parent node
bool replace ( Node node)
inlineinherited

In place replacement. Attempts to replace this node at its specific location within its Abstract Syntax Tree. On a successful replacement, this node is destroyed, the provided node is inserted in its place and ownership is transferred to the parent node. No further calls to this node can be made on successful replacements.

Note
A replacement will fail if this node is the top most node within an AST hierarchy or if the provided node type is not a compatible type for the required abstract storage. For example, if this node is an Attribute being held on a BinaryOperator, only concrete nodes derived from an Expression can be used as a replacement.
This method will dynamic_cast the provided node to check to see if it's a compatible type.
Parameters
nodeThe node to insert on a successful replacement.
Returns
True if the replacement was successful, resulting in destruction of this class and ownership transferal of the provided node. False otherwise, where this and the provided node are unchanged.
bool replacechild ( const size_t  i,
Node node 
)
inlinefinaloverridevirtual

Virtual method that attempted to replace a child at a given index with a provided node type.

Reimplemented from Node.

void setParent ( Node parent)
inlineinherited

Set this node's parent. This is used during construction of an AST and should not be used.

Parameters
parentThe parent to set
const char* subname ( ) const
inlineoverridevirtual

Virtual method for accessing node name information.

Implements Node.

const Block* trueBranch ( ) const
inline

Access a const pointer to the ConditionalStatements 'true' branch as a Block.

Returns
A const pointer to the 'true' branch