top | up | prev | next

ConjunctiveConstraintNode Class

Definition at line 63 of Concept.hpp

Constructors

ConjunctiveConstraintNode(const Span& span_)
ConjunctiveConstraintNode(const Span& span_, ConstraintNode* left_, ConstraintNode* right_)

Member Functions

void Accept(Visitor& visitor) override
Node* Clone(CloneContext& cloneContext) const override
std::string ToString() const override

Constructor Details

ConjunctiveConstraintNode Constructor

sngcm::ast::ConjunctiveConstraintNode::ConjunctiveConstraintNode(const Span& span_)

Definition at line 104 of Concept.cpp :
 104 : BinaryConstraintNode(NodeType::conjunctiveConstraintNode, span_)
 105 {
 106 }

Declaration at line 66 of Concept.hpp

ConjunctiveConstraintNode Constructor

sngcm::ast::ConjunctiveConstraintNode::ConjunctiveConstraintNode(const Span& span_, ConstraintNode * left_, ConstraintNode * right_)

Definition at line 108 of Concept.cpp :
 108 :
 109 BinaryConstraintNode(NodeType::conjunctiveConstraintNode, span_, left_, right_)
 110 {
 111 }

Declaration at line 67 of Concept.hpp

Member Function Details

Accept Member Function

void sngcm::ast::ConjunctiveConstraintNode::Accept(Visitor & visitor) override

Definition at line 118 of Concept.cpp :
 119 {
 120     visitor.Visit(*this);
 121 }

Declaration at line 69 of Concept.hpp

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

Calls: sngcm::ast::Visitor::Visit

Clone Member Function

Node * sngcm::ast::ConjunctiveConstraintNode::Clone(CloneContext & cloneContext) const override

Definition at line 113 of Concept.cpp :
 114 {
 115     return new ConjunctiveConstraintNode(GetSpan(), static_cast<ConstraintNode*>(Left()->Clone(cloneContext)), static_cast<ConstraintNode*>(Right()->Clone(cloneContext)));
 116 }

Declaration at line 68 of Concept.hpp

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

Calls: sngcm::ast::BinaryConstraintNode::Left , sngcm::ast::BinaryConstraintNode::Right , sngcm::ast::Node::Clone , sngcm::ast::Node::GetSpan

ToString Member Function

std::string sngcm::ast::ConjunctiveConstraintNode::ToString() const override

Definition at line 123 of Concept.cpp :
 124 {
 125     return Left()->ToString() + " and " + Right()->ToString();
 126 }

Declaration at line 70 of Concept.hpp

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

Calls: sngcm::ast::BinaryConstraintNode::Left , sngcm::ast::BinaryConstraintNode::Right , sngcm::ast::Node::ToString

top | up | prev | next