top | up | prev | next

AxiomNode Class

Definition at line 268 of Concept.hpp

Constructors

AxiomNode(const Span& span_)
AxiomNode(const Span& span_, IdentifierNode* id_)

Member Functions

void Accept(Visitor& visitor) override
void AddParameter(ParameterNode* parameter) override
void AddStatement(AxiomStatementNode* statement)
const Span& BeginBraceSpan() const
Node* Clone(CloneContext& cloneContext) const override
const Span& EndBraceSpan() const
const IdentifierNode* Id() const
IdentifierNode* Id()
const NodeList<ParameterNode>& Parameters() const
void Read(AstReader& reader) override
void SetBeginBraceSpan(const Span& beginBraceSpan_)
void SetEndBraceSpan(const Span& endBraceSpan_)
const NodeList<AxiomStatementNode>& Statements() const
void Write(AstWriter& writer) override

Member Variables

Span beginBraceSpan
Span endBraceSpan
std::unique_ptr<IdentifierNode> id
NodeList<ParameterNode> parameters
NodeList<AxiomStatementNode> statements

Constructor Details

AxiomNode Constructor

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

Definition at line 659 of Concept.cpp :
 659 : Node(NodeType::axiomNode, span_), id(), parameters(), statements()
 660 {
 661 }

Declaration at line 271 of Concept.hpp

AxiomNode Constructor

sngcm::ast::AxiomNode::AxiomNode(const Span& span_, IdentifierNode * id_)

Definition at line 663 of Concept.cpp :
 663 : Node(NodeType::axiomNode, span_), id(id_), parameters(), statements()
 664 {
 665     id->SetParent(this);
 666 }

Declaration at line 272 of Concept.hpp

Member Function Details

Accept Member Function

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

Definition at line 686 of Concept.cpp :
 687 {
 688     visitor.Visit(*this);
 689 }

Declaration at line 274 of Concept.hpp

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

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

AddParameter Member Function

void sngcm::ast::AxiomNode::AddParameter(ParameterNode * parameter) override

Definition at line 714 of Concept.cpp :
 715 {
 716     parameter->SetParent(this);
 717     parameters.Add(parameter);
 718 }

Declaration at line 277 of Concept.hpp

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

Calls: sngcm::ast::Node::SetParent , sngcm::ast::NodeList::Add

Called by: sngcm::ast::AxiomNode::Clone

AddStatement Member Function

void sngcm::ast::AxiomNode::AddStatement(AxiomStatementNode * statement)

Definition at line 720 of Concept.cpp :
 721 {
 722     statement->SetParent(this);
 723     statements.Add(statement);
 724 }

Declaration at line 278 of Concept.hpp

Calls: sngcm::ast::Node::SetParent , sngcm::ast::NodeList::Add

Called by: sngcm::ast::AxiomNode::Clone

BeginBraceSpan Member Function

const Span& sngcm::ast::AxiomNode::BeginBraceSpan() const

Definition at line 284 of Concept.hpp :
284 { return beginBraceSpan; }

Clone Member Function

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

Definition at line 668 of Concept.cpp
Declaration at line 273 of Concept.hpp

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

Calls: sngcm::ast::AxiomNode::AddParameter , sngcm::ast::AxiomNode::AddStatement , sngcm::ast::AxiomNode::Clone , sngcm::ast::AxiomNode::SetBeginBraceSpan , sngcm::ast::AxiomNode::SetEndBraceSpan , sngcm::ast::Node::GetSpan , sngcm::ast::NodeList::Count

Called by: sngcm::ast::AxiomNode::Clone

EndBraceSpan Member Function

const Span& sngcm::ast::AxiomNode::EndBraceSpan() const

Definition at line 286 of Concept.hpp :
286 { return endBraceSpan; }

Id Member Function

const IdentifierNode * sngcm::ast::AxiomNode::Id() const

Definition at line 279 of Concept.hpp :
279 { return id.get(); }

Id Member Function

IdentifierNode * sngcm::ast::AxiomNode::Id()

Definition at line 280 of Concept.hpp :
280 { return id.get(); }

Called by: sngcm::ast::SourceWriter::Visit

Parameters Member Function

const NodeList <ParameterNode >& sngcm::ast::AxiomNode::Parameters() const

Definition at line 281 of Concept.hpp :
281 { return parameters; }

Called by: sngcm::ast::SourceWriter::Visit

Read Member Function

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

Definition at line 701 of Concept.cpp
Declaration at line 276 of Concept.hpp

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

Calls: sngcm::ast::AstReader::ReadIdentifierNode , sngcm::ast::AstReader::ReadSpan , sngcm::ast::Node::Read , sngcm::ast::Node::SetParent , sngcm::ast::NodeList::Read , sngcm::ast::NodeList::SetParent

SetBeginBraceSpan Member Function

void sngcm::ast::AxiomNode::SetBeginBraceSpan(const Span& beginBraceSpan_)

Definition at line 283 of Concept.hpp :
283 { beginBraceSpan = beginBraceSpan_; }

Called by: sngcm::ast::AxiomNode::Clone

SetEndBraceSpan Member Function

void sngcm::ast::AxiomNode::SetEndBraceSpan(const Span& endBraceSpan_)

Definition at line 285 of Concept.hpp :
285 { endBraceSpan = endBraceSpan_; }

Called by: sngcm::ast::AxiomNode::Clone

Statements Member Function

const NodeList <AxiomStatementNode >& sngcm::ast::AxiomNode::Statements() const

Definition at line 282 of Concept.hpp :
282 { return statements; }

Called by: sngcm::ast::SourceWriter::Visit

Write Member Function

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

Definition at line 691 of Concept.cpp :
 692 {
 693     Node::Write(writer);
 694     writer.Write(id.get());
 695     parameters.Write(writer);
 696     statements.Write(writer);
 697     writer.Write(beginBraceSpan);
 698     writer.Write(endBraceSpan);
 699 }

Declaration at line 275 of Concept.hpp

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

Calls: sngcm::ast::AstWriter::Write , sngcm::ast::Node::Write , sngcm::ast::NodeList::Write

top | up | prev | next