Helper structure to extract the QueryExpr
s in an expression.
More...
|
| GetNestedQueries () |
|
std::vector< const ast::QueryExpr * > | get () |
|
void | operator() (Const< ast::ErrorExpr > &) override |
|
void | operator() (Const< ast::Designator > &) override |
|
void | operator() (Const< ast::Constant > &) override |
|
void | operator() (Const< ast::FnApplicationExpr > &) override |
|
void | operator() (Const< ast::UnaryExpr > &e) override |
|
void | operator() (Const< ast::BinaryExpr > &e) override |
|
void | operator() (Const< ast::QueryExpr > &e) override |
|
|
std::vector< const ast::QueryExpr * > | queries_ |
|
Helper structure to extract the QueryExpr
s in an expression.
Definition at line 627 of file QueryGraph.cpp.
◆ GetNestedQueries()
GetNestedQueries::GetNestedQueries |
( |
| ) |
|
|
inline |
◆ get()
std::vector< const ast::QueryExpr * > GetNestedQueries::get |
( |
| ) |
|
|
inline |
◆ operator()() [1/7]
void GetNestedQueries::operator() |
( |
Const< ast::BinaryExpr > & |
e | ) |
|
|
inlineoverride |
◆ operator()() [2/7]
void GetNestedQueries::operator() |
( |
Const< ast::Constant > & |
| ) |
|
|
inlineoverride |
◆ operator()() [3/7]
void GetNestedQueries::operator() |
( |
Const< ast::Designator > & |
| ) |
|
|
inlineoverride |
◆ operator()() [4/7]
void GetNestedQueries::operator() |
( |
Const< ast::ErrorExpr > & |
| ) |
|
|
inlineoverride |
◆ operator()() [5/7]
void GetNestedQueries::operator() |
( |
Const< ast::FnApplicationExpr > & |
| ) |
|
|
inlineoverride |
◆ operator()() [6/7]
void GetNestedQueries::operator() |
( |
Const< ast::QueryExpr > & |
e | ) |
|
|
inlineoverride |
◆ operator()() [7/7]
void GetNestedQueries::operator() |
( |
Const< ast::UnaryExpr > & |
e | ) |
|
|
inlineoverride |
◆ queries_
std::vector<const ast::QueryExpr*> GetNestedQueries::queries_ |
|
private |
The documentation for this struct was generated from the following file: