AxiomStatementNode(const Span& span_, const boost::uuids::uuid& moduleId_) |
AxiomStatementNode(const Span& span_, const boost::uuids::uuid& moduleId_, Node* expression_, const std::u32string& text_) |
void | Accept(Visitor& visitor) override |
Node* | Clone(CloneContext& cloneContext) const override |
const Node* | Expression() const |
Node* | Expression() |
void | Read(AstReader& reader) override |
const std::u32string& | Text() const |
std::string | ToString() const override |
void | Write(AstWriter& writer) override |
std::unique_ptr<Node> | expression |
std::u32string | text |