mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::core::parse_node Struct Reference

Wrapper for D_ParseNode. More...

#include <dparser.h>

Public Member Functions

 parse_node (D_ParseNode *n, D_Parser *parser_=nullptr)
 
int symbol () const
 
int child_count () const
 
parse_node child (int i) const
 
parse_node find_in_tree (int symbol) const
 
std::string string () const
 
std::string tree () const
 
int column () const
 
int line () const
 
std::string pathname () const
 
std::string add_context (const std::string &message) const
 
 operator bool () const
 
 ~parse_node ()
 

Public Attributes

D_ParseNode * node
 
D_Parser * parser = nullptr
 

Detailed Description

Wrapper for D_ParseNode.

Definition at line 85 of file dparser.h.

Constructor & Destructor Documentation

◆ parse_node()

mcrl2::core::parse_node::parse_node ( D_ParseNode *  n,
D_Parser *  parser_ = nullptr 
)
inlineexplicit

Definition at line 90 of file dparser.h.

◆ ~parse_node()

mcrl2::core::parse_node::~parse_node ( )

Definition at line 85 of file dparser.cpp.

Member Function Documentation

◆ add_context()

std::string mcrl2::core::parse_node::add_context ( const std::string &  message) const

Definition at line 27 of file dparser.cpp.

◆ child()

parse_node mcrl2::core::parse_node::child ( int  i) const

Definition at line 43 of file dparser.cpp.

◆ child_count()

int mcrl2::core::parse_node::child_count ( ) const

Definition at line 37 of file dparser.cpp.

◆ column()

int mcrl2::core::parse_node::column ( ) const

Definition at line 70 of file dparser.cpp.

◆ find_in_tree()

parse_node mcrl2::core::parse_node::find_in_tree ( int  symbol) const

Definition at line 48 of file dparser.cpp.

◆ line()

int mcrl2::core::parse_node::line ( ) const

Definition at line 75 of file dparser.cpp.

◆ operator bool()

mcrl2::core::parse_node::operator bool ( ) const
inlineexplicit

Definition at line 107 of file dparser.h.

◆ pathname()

std::string mcrl2::core::parse_node::pathname ( ) const

Definition at line 80 of file dparser.cpp.

◆ string()

std::string mcrl2::core::parse_node::string ( ) const

Definition at line 53 of file dparser.cpp.

◆ symbol()

int mcrl2::core::parse_node::symbol ( ) const

Definition at line 32 of file dparser.cpp.

◆ tree()

std::string mcrl2::core::parse_node::tree ( ) const

Definition at line 58 of file dparser.cpp.

Member Data Documentation

◆ node

D_ParseNode* mcrl2::core::parse_node::node

Definition at line 87 of file dparser.h.

◆ parser

D_Parser* mcrl2::core::parse_node::parser = nullptr

Definition at line 88 of file dparser.h.

The documentation for this struct was generated from the following files: