top | up | prev | next

BinaryConstraintNode Abstract Class

Definition at line 37 of Concept.hpp

Constructors

BinaryConstraintNode(NodeType nodeType_, const Span& span_)
BinaryConstraintNode(NodeType nodeType_, const Span& span_, ConstraintNode* left_, ConstraintNode* right_)

Member Functions

const ConstraintNode* Left() const
ConstraintNode* Left()
void Read(AstReader& reader) override
const ConstraintNode* Right() const
ConstraintNode* Right()
void Write(AstWriter& writer) override

Member Variables

std::unique_ptr<ConstraintNode> left
std::unique_ptr<ConstraintNode> right

Constructor Details

BinaryConstraintNode Constructor

sngcm::ast::BinaryConstraintNode::BinaryConstraintNode(NodeType nodeType_, const Span& span_)

Definition at line 54 of Concept.cpp :
  54 : ConstraintNode(nodeType_span_)left()right()
  55 {
  56 }


Declaration at line 40 of Concept.hpp


BinaryConstraintNode Constructor

sngcm::ast::BinaryConstraintNode::BinaryConstraintNode(NodeType nodeType_, const Span& span_, ConstraintNode * left_, ConstraintNode * right_)

Definition at line 58 of Concept.cpp :
  58 : ConstraintNode(nodeType_span_)left(left_)right(right_)
  59 {
  60     left->SetParent(this);
  61     right->SetParent(this);
  62 }


Declaration at line 41 of Concept.hpp


Member Function Details

Left Member Function

const ConstraintNode * sngcm::ast::BinaryConstraintNode::Left() const

Definition at line 44 of Concept.hpp :
 44 { return left.get(); }


Left Member Function

ConstraintNode * sngcm::ast::BinaryConstraintNode::Left()

Definition at line 45 of Concept.hpp :
 45 { return left.get(); }

Called by: sngcm::ast::ConjunctiveConstraintNode::Clone , sngcm::ast::ConjunctiveConstraintNode::ToString , sngcm::ast::DisjunctiveConstraintNode::Clone , sngcm::ast::DisjunctiveConstraintNode::ToString , sngcm::ast::SourceWriter::Visit , sngcm::ast::SourceWriter::Visit


Read Member Function

void sngcm::ast::BinaryConstraintNode::Read(AstReader & reader) override

Definition at line 71 of Concept.cpp :
  72 {
  73     ConstraintNode::Read(reader);
  74     left.reset(reader.ReadConstraintNode());
  75     left->SetParent(this);
  76     right.reset(reader.ReadConstraintNode());
  77     right->SetParent(this);
  78 }


Declaration at line 43 of Concept.hpp

Base class overridden functions: sngcm::ast::Node::Read

Calls: sngcm::ast::AstReader::ReadConstraintNode , sngcm::ast::Node::Read , sngcm::ast::Node::SetParent


Right Member Function

const ConstraintNode * sngcm::ast::BinaryConstraintNode::Right() const

Definition at line 46 of Concept.hpp :
 46 { return right.get(); }


Right Member Function

ConstraintNode * sngcm::ast::BinaryConstraintNode::Right()

Definition at line 47 of Concept.hpp :
 47 { return right.get(); }

Called by: sngcm::ast::ConjunctiveConstraintNode::Clone , sngcm::ast::ConjunctiveConstraintNode::ToString , sngcm::ast::DisjunctiveConstraintNode::Clone , sngcm::ast::DisjunctiveConstraintNode::ToString , sngcm::ast::SourceWriter::Visit , sngcm::ast::SourceWriter::Visit


Write Member Function

void sngcm::ast::BinaryConstraintNode::Write(AstWriter & writer) override

Definition at line 64 of Concept.cpp :
  65 {
  66     ConstraintNode::Write(writer);
  67     writer.Write(left.get());
  68     writer.Write(right.get());
  69 }


Declaration at line 42 of Concept.hpp

Base class overridden functions: sngcm::ast::Node::Write

Calls: sngcm::ast::Node::Write


top | up | prev | next