Pure recursive descent parser for C++ like expressions. More...

#include <DILParser.h>

Public Member Functions
	~DILParser ()=default
bool	UseSynthetic ()
bool	UseFragileIvar ()
bool	CheckPtrVsMember ()
lldb::DynamicValueType	UseDynamic ()

Static Public Member Functions
static llvm::Expected< ASTNodeUP >	Parse (llvm::StringRef dil_input_expr, DILLexer lexer, std::shared_ptr< StackFrame > frame_sp, lldb::DynamicValueType use_dynamic, bool use_synthetic, bool fragile_ivar, bool check_ptr_vs_member)

Private Member Functions
	DILParser (llvm::StringRef dil_input_expr, DILLexer lexer, std::shared_ptr< StackFrame > frame_sp, lldb::DynamicValueType use_dynamic, bool use_synthetic, bool fragile_ivar, bool check_ptr_vs_member, llvm::Error &error)
ASTNodeUP	Run ()
ASTNodeUP	ParseExpression ()
ASTNodeUP	ParseUnaryExpression ()
ASTNodeUP	ParsePostfixExpression ()
ASTNodeUP	ParsePrimaryExpression ()
std::string	ParseNestedNameSpecifier ()
std::string	ParseIdExpression ()
std::string	ParseUnqualifiedId ()
std::optional< int64_t >	ParseIntegerConstant ()
ASTNodeUP	ParseNumericLiteral ()
ASTNodeUP	ParseIntegerLiteral ()
ASTNodeUP	ParseFloatingPointLiteral ()
ASTNodeUP	ParseBooleanLiteral ()
ASTNodeUP	ParseCastExpression ()
std::optional< CompilerType >	ParseBuiltinType ()
std::optional< CompilerType >	ParseTypeId ()
CompilerType	ResolveTypeDeclarators (CompilerType type, const std::vector< Token > &ptr_operators)
void	BailOut (const std::string &error, uint32_t loc, uint16_t err_len)
void	Expect (Token::Kind kind)
void	ExpectOneOf (std::vector< Token::Kind > kinds_vec)
void	TentativeParsingRollback (uint32_t saved_idx)
Token	CurToken ()

Private Attributes
std::shared_ptr< StackFrame >	m_ctx_scope
llvm::StringRef	m_input_expr
DILLexer	m_dil_lexer
llvm::Error &	m_error
lldb::DynamicValueType	m_use_dynamic
bool	m_use_synthetic
bool	m_fragile_ivar
bool	m_check_ptr_vs_member

Detailed Description

Pure recursive descent parser for C++ like expressions.

EBNF grammar for the parser is described in lldb/docs/dil-expr-lang.ebnf

Definition at line 61 of file DILParser.h.

Constructor & Destructor Documentation

◆ ~DILParser()

lldb_private::dil::DILParser::~DILParser ( )

default

◆ DILParser()

lldb_private::dil::DILParser::DILParser	(	llvm::StringRef	dil_input_expr,
		DILLexer	lexer,
		std::shared_ptr< StackFrame >	frame_sp,
		lldb::DynamicValueType	use_dynamic,
		bool	use_synthetic,
		bool	fragile_ivar,
		bool	check_ptr_vs_member,
		llvm::Error &	error )

explicitprivate

Definition at line 64 of file DILParser.cpp.

References error(), m_check_ptr_vs_member, m_ctx_scope, m_dil_lexer, m_error, m_fragile_ivar, m_input_expr, m_use_dynamic, and m_use_synthetic.

Referenced by Parse().

Member Function Documentation

◆ BailOut()

void lldb_private::dil::DILParser::BailOut	(	const std::string &	error,
		uint32_t	loc,
		uint16_t	err_len )

private

Definition at line 523 of file DILParser.cpp.

References error(), m_dil_lexer, m_error, and m_input_expr.

Referenced by Expect(), ExpectOneOf(), ParseNestedNameSpecifier(), ParseNumericLiteral(), ParsePostfixExpression(), ParsePrimaryExpression(), and ResolveTypeDeclarators().

◆ CheckPtrVsMember()

bool lldb_private::dil::DILParser::CheckPtrVsMember ( )

inline

Definition at line 76 of file DILParser.h.

References m_check_ptr_vs_member.

◆ CurToken()

Token lldb_private::dil::DILParser::CurToken ( )

inlineprivate

Definition at line 122 of file DILParser.h.

References m_dil_lexer.

Referenced by Expect(), ExpectOneOf(), ParseBooleanLiteral(), ParseBuiltinType(), ParseCastExpression(), ParseFloatingPointLiteral(), ParseIdExpression(), ParseIntegerConstant(), ParseIntegerLiteral(), ParseNestedNameSpecifier(), ParseNumericLiteral(), ParsePostfixExpression(), ParsePrimaryExpression(), ParseTypeId(), ParseUnaryExpression(), ParseUnqualifiedId(), and ResolveTypeDeclarators().

◆ Expect()

void lldb_private::dil::DILParser::Expect ( Token::Kind kind )

private

Definition at line 624 of file DILParser.cpp.

References BailOut(), and CurToken().

Referenced by ParseCastExpression(), ParseIdExpression(), ParseNestedNameSpecifier(), ParsePostfixExpression(), ParsePrimaryExpression(), ParseUnqualifiedId(), and Run().

◆ ExpectOneOf()

void lldb_private::dil::DILParser::ExpectOneOf ( std::vector< Token::Kind > kinds_vec )

private

Definition at line 631 of file DILParser.cpp.

References BailOut(), and CurToken().

Referenced by ParseBooleanLiteral().

◆ Parse()

llvm::Expected< ASTNodeUP > lldb_private::dil::DILParser::Parse	(	llvm::StringRef	dil_input_expr,
		DILLexer	lexer,
		std::shared_ptr< StackFrame >	frame_sp,
		lldb::DynamicValueType	use_dynamic,
		bool	use_synthetic,
		bool	fragile_ivar,
		bool	check_ptr_vs_member )