Visitor.h File Reference

Describe how to traverse upon nix::Expr * nodes. More...

#include <nix/nixexpr.hh>
#include <nix/symbol-table.hh>
#include "Nodes.inc"
#include "Traverse.inc"

Go to the source code of this file.

Classes
struct	nixt::RecursiveASTVisitor< Derived >
	A CRTP base class for traversing nix::Expr * nodes. More...

Namespaces
namespace	nixt
	Access EvalCache in nix::EvalState.

Macros
#define	NIX_EXPR(EXPR)
#define	NIX_EXPR(EXPR)
#define	NIX_EXPR(EXPR)
#define	TRY_TO(CALL_EXPR)
#define	TRY_TO_TRAVERSE(EXPR)
#define	DEF_TRAVERSE_TYPE(TYPE, CODE)
#define	DEF_TRAVERSE_BINARY_EXPR(BIN_OP)

Functions
	nixt::DEF_TRAVERSE_TYPE (ExprAssert, { TRY_TO_TRAVERSE(T->cond);TRY_TO_TRAVERSE(T->body);}) DEF_TRAVERSE_TYPE(ExprAttrs
	nixt::for (auto &DAD :T->dynamicAttrs)
	nixt::DEF_TRAVERSE_TYPE (ExprCall, { for(auto &Arg :T->args) TRY_TO_TRAVERSE(Arg);TRY_TO_TRAVERSE(T->fun);}) DEF_TRAVERSE_TYPE(ExprConcatStrings
	nixt::DEF_TRAVERSE_TYPE (ExprIf, { TRY_TO_TRAVERSE(T->cond);TRY_TO_TRAVERSE(T->then);TRY_TO_TRAVERSE(T->else_);}) DEF_TRAVERSE_TYPE(ExprLambda
	nixt::TRY_TO_TRAVERSE (T->body)
	nixt::DEF_TRAVERSE_TYPE (ExprLet, { TRY_TO_TRAVERSE(T->attrs);TRY_TO_TRAVERSE(T->body);}) DEF_TRAVERSE_TYPE(ExprList
	nixt::DEF_TRAVERSE_TYPE (ExprOpHasAttr, { TRY_TO_TRAVERSE(T->e);for(auto &E :T->attrPath) if(!E.symbol) TRY_TO_TRAVERSE(E.expr);}) DEF_TRAVERSE_TYPE(ExprSelect
	nixt::for (auto &E :T->attrPath)

Detailed Description

Describe how to traverse upon nix::Expr * nodes.

This file contains a CRTP base class for traversing nix::Expr * nodes.

Definition in file Visitor.h.

Macro Definition Documentation

DEF_TRAVERSE_BINARY_EXPR

#define DEF_TRAVERSE_BINARY_EXPR

(

BIN_OP

)

Value:

  DEF_TRAVERSE_TYPE(BIN_OP, {                                                  \
    TRY_TO_TRAVERSE(T->e1);                                                    \
    TRY_TO_TRAVERSE(T->e2);                                                    \
  })

Definition at line 62 of file Visitor.h.

DEF_TRAVERSE_TYPE

#define DEF_TRAVERSE_TYPE	(		TYPE,
			CODE )

Value:

  template <typename Derived>                                                  \
  bool RecursiveASTVisitor<Derived>::traverse##TYPE(const nix::TYPE *T) {      \
    if (!getDerived().shouldTraversePostOrder())                               \
      TRY_TO(visit##TYPE(T));                                                  \
    { CODE; }                                                                  \
    if (getDerived().shouldTraversePostOrder())                                \
      TRY_TO(visit##TYPE(T));                                                  \
    return true;                                                               \
  }

Definition at line 87 of file Visitor.h.

NIX_EXPR [1/3]

#define NIX_EXPR

(

EXPR

)

Value:

bool traverse##EXPR(const nix::EXPR *E);

Definition at line 54 of file Visitor.h.

NIX_EXPR [2/3]

#define NIX_EXPR

(

EXPR

)

Value:

  bool visit##EXPR(const nix::EXPR *E) { return getDerived().visitExpr(E); }

Definition at line 54 of file Visitor.h.

NIX_EXPR [3/3]

#define NIX_EXPR

(

EXPR

)

Value:

  if (auto CE = dynamic_cast<const nix::EXPR *>(E)) {                          \
    return getDerived().traverse##EXPR(CE);                                    \
  }

Definition at line 54 of file Visitor.h.

TRY_TO

#define TRY_TO

(

CALL_EXPR

)

Value:

  do {                                                                         \
    if (!getDerived().CALL_EXPR)                                               \
      return false;                                                            \
  } while (false)

Definition at line 79 of file Visitor.h.

TRY_TO_TRAVERSE

#define TRY_TO_TRAVERSE

(

EXPR

)

Value:

TRY_TO(traverseExpr(EXPR))

Definition at line 85 of file Visitor.h.