2003-10-30 16:48:26 +00:00
|
|
|
#ifndef __EVAL_H
|
|
|
|
#define __EVAL_H
|
|
|
|
|
2003-11-18 12:06:07 +00:00
|
|
|
#include "nixexpr.hh"
|
2010-04-13 12:25:42 +00:00
|
|
|
#include "symbol-table.hh"
|
2010-10-04 10:51:16 +00:00
|
|
|
#include "hash.hh"
|
2003-10-30 16:48:26 +00:00
|
|
|
|
2010-10-04 17:55:38 +00:00
|
|
|
#include <map>
|
|
|
|
|
2010-10-22 13:39:15 +00:00
|
|
|
#if HAVE_BOEHMGC
|
2010-10-20 11:38:30 +00:00
|
|
|
#include <gc/gc_allocator.h>
|
2010-10-22 13:39:15 +00:00
|
|
|
#endif
|
2010-10-20 11:38:30 +00:00
|
|
|
|
2003-10-30 16:48:26 +00:00
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
namespace nix {
|
|
|
|
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
class EvalState;
|
|
|
|
struct Env;
|
|
|
|
struct Value;
|
2010-05-07 12:11:05 +00:00
|
|
|
struct Attr;
|
2010-03-29 14:37:56 +00:00
|
|
|
|
2010-10-24 00:41:29 +00:00
|
|
|
|
|
|
|
/* Attribute sets are represented as a vector of attributes, sorted by
|
|
|
|
symbol (i.e. pointer to the attribute name in the symbol table). */
|
2010-10-22 13:39:15 +00:00
|
|
|
#if HAVE_BOEHMGC
|
2010-10-24 00:41:29 +00:00
|
|
|
typedef std::vector<Attr, gc_allocator<Attr> > BindingsBase;
|
2010-10-22 13:39:15 +00:00
|
|
|
#else
|
2010-10-24 00:41:29 +00:00
|
|
|
typedef std::vector<Attr> BindingsBase;
|
2010-10-22 13:39:15 +00:00
|
|
|
#endif
|
2010-03-29 14:37:56 +00:00
|
|
|
|
|
|
|
|
2010-10-24 00:41:29 +00:00
|
|
|
class Bindings : public BindingsBase
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
iterator find(const Symbol & name);
|
2010-10-24 19:52:33 +00:00
|
|
|
void sort();
|
2010-10-24 00:41:29 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
typedef enum {
|
|
|
|
tInt = 1,
|
|
|
|
tBool,
|
|
|
|
tString,
|
|
|
|
tPath,
|
|
|
|
tNull,
|
|
|
|
tAttrs,
|
|
|
|
tList,
|
|
|
|
tThunk,
|
2010-03-30 13:47:59 +00:00
|
|
|
tApp,
|
2010-03-29 14:37:56 +00:00
|
|
|
tLambda,
|
|
|
|
tBlackhole,
|
|
|
|
tPrimOp,
|
|
|
|
tPrimOpApp,
|
|
|
|
} ValueType;
|
|
|
|
|
|
|
|
|
2010-10-23 20:07:47 +00:00
|
|
|
typedef void (* PrimOpFun) (EvalState & state, Value * * args, Value & v);
|
|
|
|
|
|
|
|
|
|
|
|
struct PrimOp
|
|
|
|
{
|
|
|
|
PrimOpFun fun;
|
|
|
|
unsigned int arity;
|
|
|
|
Symbol name;
|
|
|
|
PrimOp(PrimOpFun fun, unsigned int arity, Symbol name)
|
|
|
|
: fun(fun), arity(arity), name(name) { }
|
|
|
|
};
|
2010-03-29 14:37:56 +00:00
|
|
|
|
|
|
|
|
|
|
|
struct Value
|
|
|
|
{
|
|
|
|
ValueType type;
|
|
|
|
union
|
|
|
|
{
|
|
|
|
int integer;
|
|
|
|
bool boolean;
|
2010-04-12 18:30:11 +00:00
|
|
|
|
|
|
|
/* Strings in the evaluator carry a so-called `context' (the
|
|
|
|
ATermList) which is a list of strings representing store
|
|
|
|
paths. This is to allow users to write things like
|
|
|
|
|
|
|
|
"--with-freetype2-library=" + freetype + "/lib"
|
|
|
|
|
|
|
|
where `freetype' is a derivation (or a source to be copied
|
|
|
|
to the store). If we just concatenated the strings without
|
|
|
|
keeping track of the referenced store paths, then if the
|
|
|
|
string is used as a derivation attribute, the derivation
|
|
|
|
will not have the correct dependencies in its inputDrvs and
|
|
|
|
inputSrcs.
|
|
|
|
|
|
|
|
The semantics of the context is as follows: when a string
|
|
|
|
with context C is used as a derivation attribute, then the
|
|
|
|
derivations in C will be added to the inputDrvs of the
|
|
|
|
derivation, and the other store paths in C will be added to
|
|
|
|
the inputSrcs of the derivations.
|
|
|
|
|
|
|
|
For canonicity, the store paths should be in sorted order. */
|
2010-03-29 14:37:56 +00:00
|
|
|
struct {
|
|
|
|
const char * s;
|
2010-04-22 09:54:11 +00:00
|
|
|
const char * * context; // must be in sorted order
|
2010-03-29 14:37:56 +00:00
|
|
|
} string;
|
2010-04-12 18:30:11 +00:00
|
|
|
|
2010-03-30 09:22:33 +00:00
|
|
|
const char * path;
|
2010-03-29 14:37:56 +00:00
|
|
|
Bindings * attrs;
|
|
|
|
struct {
|
|
|
|
unsigned int length;
|
2010-04-15 00:37:36 +00:00
|
|
|
Value * * elems;
|
2010-03-29 14:37:56 +00:00
|
|
|
} list;
|
|
|
|
struct {
|
|
|
|
Env * env;
|
2010-04-12 18:30:11 +00:00
|
|
|
Expr * expr;
|
2010-03-29 14:37:56 +00:00
|
|
|
} thunk;
|
2010-03-30 13:47:59 +00:00
|
|
|
struct {
|
|
|
|
Value * left, * right;
|
|
|
|
} app;
|
2010-03-29 14:37:56 +00:00
|
|
|
struct {
|
|
|
|
Env * env;
|
2010-04-12 18:30:11 +00:00
|
|
|
ExprLambda * fun;
|
2010-03-29 14:37:56 +00:00
|
|
|
} lambda;
|
2010-10-23 20:07:47 +00:00
|
|
|
PrimOp * primOp;
|
2010-03-29 14:37:56 +00:00
|
|
|
struct {
|
|
|
|
Value * left, * right;
|
|
|
|
} primOpApp;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2010-04-14 14:42:32 +00:00
|
|
|
struct Env
|
|
|
|
{
|
|
|
|
Env * up;
|
2010-04-22 15:08:09 +00:00
|
|
|
unsigned int prevWith; // nr of levels up to next `with' environment
|
2010-10-22 15:51:52 +00:00
|
|
|
Value * values[0];
|
2010-04-14 14:42:32 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2010-05-07 12:11:05 +00:00
|
|
|
struct Attr
|
|
|
|
{
|
2010-10-24 00:41:29 +00:00
|
|
|
Symbol name;
|
2010-10-22 14:47:42 +00:00
|
|
|
Value * value;
|
2010-05-07 12:11:05 +00:00
|
|
|
Pos * pos;
|
2010-10-24 00:41:29 +00:00
|
|
|
Attr(Symbol name, Value * value, Pos * pos = &noPos)
|
|
|
|
: name(name), value(value), pos(pos) { };
|
2010-05-07 12:11:05 +00:00
|
|
|
Attr() : pos(&noPos) { };
|
2010-10-24 19:52:33 +00:00
|
|
|
bool operator < (const Attr & a) const
|
|
|
|
{
|
|
|
|
return name < a.name;
|
|
|
|
}
|
2010-05-07 12:11:05 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2010-10-23 20:07:47 +00:00
|
|
|
/* After overwriting an app node, be sure to clear pointers in the
|
|
|
|
Value to ensure that the target isn't kept alive unnecessarily. */
|
|
|
|
static inline void clearValue(Value & v)
|
|
|
|
{
|
|
|
|
v.app.right = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
static inline void mkInt(Value & v, int n)
|
|
|
|
{
|
2010-10-23 20:07:47 +00:00
|
|
|
clearValue(v);
|
2010-03-29 14:37:56 +00:00
|
|
|
v.type = tInt;
|
|
|
|
v.integer = n;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static inline void mkBool(Value & v, bool b)
|
|
|
|
{
|
2010-10-23 20:07:47 +00:00
|
|
|
clearValue(v);
|
2010-03-29 14:37:56 +00:00
|
|
|
v.type = tBool;
|
|
|
|
v.boolean = b;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-04-21 15:08:58 +00:00
|
|
|
static inline void mkApp(Value & v, Value & left, Value & right)
|
|
|
|
{
|
|
|
|
v.type = tApp;
|
|
|
|
v.app.left = &left;
|
|
|
|
v.app.right = &right;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-03-30 18:05:54 +00:00
|
|
|
void mkString(Value & v, const char * s);
|
2010-03-30 22:39:48 +00:00
|
|
|
void mkString(Value & v, const string & s, const PathSet & context = PathSet());
|
2010-03-30 18:05:54 +00:00
|
|
|
void mkPath(Value & v, const char * s);
|
2010-03-30 09:22:33 +00:00
|
|
|
|
2010-06-10 10:29:50 +00:00
|
|
|
void copyContext(const Value & v, PathSet & context);
|
|
|
|
|
2010-03-30 09:22:33 +00:00
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
typedef std::map<Path, Hash> DrvHashes;
|
2003-10-30 16:48:26 +00:00
|
|
|
|
2006-03-09 15:09:18 +00:00
|
|
|
/* Cache for calls to addToStore(); maps source paths to the store
|
|
|
|
paths. */
|
2006-09-04 21:06:23 +00:00
|
|
|
typedef std::map<Path, Path> SrcToStore;
|
2006-03-09 15:09:18 +00:00
|
|
|
|
2004-02-04 16:03:29 +00:00
|
|
|
struct EvalState;
|
2004-08-04 10:59:20 +00:00
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
|
2010-05-18 10:36:37 +00:00
|
|
|
std::ostream & operator << (std::ostream & str, const Value & v);
|
2004-02-04 16:03:29 +00:00
|
|
|
|
|
|
|
|
2010-03-30 15:18:20 +00:00
|
|
|
class EvalState
|
2003-10-30 16:48:26 +00:00
|
|
|
{
|
2010-03-31 15:38:03 +00:00
|
|
|
public:
|
2003-10-31 17:09:31 +00:00
|
|
|
DrvHashes drvHashes; /* normalised derivation hashes */
|
2010-03-31 15:38:03 +00:00
|
|
|
|
2010-04-13 12:25:42 +00:00
|
|
|
SymbolTable symbols;
|
|
|
|
|
2010-05-15 08:10:12 +00:00
|
|
|
const Symbol sWith, sOutPath, sDrvPath, sType, sMeta, sName,
|
|
|
|
sSystem, sOverrides;
|
2010-04-13 12:25:42 +00:00
|
|
|
|
2010-03-31 15:38:03 +00:00
|
|
|
private:
|
2006-03-09 15:09:18 +00:00
|
|
|
SrcToStore srcToStore;
|
2003-10-30 16:48:26 +00:00
|
|
|
|
2009-05-12 11:06:24 +00:00
|
|
|
bool allowUnsafeEquality;
|
|
|
|
|
2010-04-12 18:30:11 +00:00
|
|
|
std::map<Path, Expr *> parseTrees;
|
2010-03-31 16:14:32 +00:00
|
|
|
|
2010-03-30 15:18:20 +00:00
|
|
|
public:
|
|
|
|
|
2003-10-30 16:48:26 +00:00
|
|
|
EvalState();
|
2010-04-09 12:00:49 +00:00
|
|
|
~EvalState();
|
2004-02-04 16:03:29 +00:00
|
|
|
|
2010-03-30 09:22:33 +00:00
|
|
|
/* Evaluate an expression read from the given file to normal
|
|
|
|
form. */
|
|
|
|
void evalFile(const Path & path, Value & v);
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
/* Evaluate an expression to normal form, storing the result in
|
|
|
|
value `v'. */
|
2010-04-12 18:30:11 +00:00
|
|
|
void eval(Expr * e, Value & v);
|
|
|
|
void eval(Env & env, Expr * e, Value & v);
|
2010-03-29 14:37:56 +00:00
|
|
|
|
|
|
|
/* Evaluation the expression, then verify that it has the expected
|
|
|
|
type. */
|
2010-04-12 18:30:11 +00:00
|
|
|
bool evalBool(Env & env, Expr * e);
|
2010-04-16 15:13:47 +00:00
|
|
|
void evalAttrs(Env & env, Expr * e, Value & v);
|
2010-03-29 14:37:56 +00:00
|
|
|
|
|
|
|
/* If `v' is a thunk, enter it and overwrite `v' with the result
|
2010-03-30 13:47:59 +00:00
|
|
|
of the evaluation of the thunk. If `v' is a delayed function
|
|
|
|
application, call the function and overwrite `v' with the
|
|
|
|
result. Otherwise, this is a no-op. */
|
2010-03-29 14:37:56 +00:00
|
|
|
void forceValue(Value & v);
|
|
|
|
|
2010-04-07 13:55:46 +00:00
|
|
|
/* Force a value, then recursively force list elements and
|
|
|
|
attributes. */
|
|
|
|
void strictForceValue(Value & v);
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
/* Force `v', and then verify that it has the expected type. */
|
|
|
|
int forceInt(Value & v);
|
2010-03-31 15:38:03 +00:00
|
|
|
bool forceBool(Value & v);
|
2010-03-29 14:37:56 +00:00
|
|
|
void forceAttrs(Value & v);
|
|
|
|
void forceList(Value & v);
|
2010-03-30 13:47:59 +00:00
|
|
|
void forceFunction(Value & v); // either lambda or primop
|
2010-03-31 15:38:03 +00:00
|
|
|
string forceString(Value & v);
|
2010-03-31 19:52:29 +00:00
|
|
|
string forceString(Value & v, PathSet & context);
|
2010-03-30 18:05:54 +00:00
|
|
|
string forceStringNoCtx(Value & v);
|
2010-03-29 14:37:56 +00:00
|
|
|
|
2010-04-07 13:55:46 +00:00
|
|
|
/* Return true iff the value `v' denotes a derivation (i.e. a
|
|
|
|
set with attribute `type = "derivation"'). */
|
|
|
|
bool isDerivation(Value & v);
|
|
|
|
|
2010-03-30 09:22:33 +00:00
|
|
|
/* String coercion. Converts strings, paths and derivations to a
|
|
|
|
string. If `coerceMore' is set, also converts nulls, integers,
|
|
|
|
booleans and lists to a string. If `copyToStore' is set,
|
|
|
|
referenced paths are copied to the Nix store as a side effect.q */
|
|
|
|
string coerceToString(Value & v, PathSet & context,
|
|
|
|
bool coerceMore = false, bool copyToStore = true);
|
|
|
|
|
|
|
|
/* Path coercion. Converts strings, paths and derivations to a
|
|
|
|
path. The result is guaranteed to be a canonicalised, absolute
|
|
|
|
path. Nothing is copied to the store. */
|
|
|
|
Path coerceToPath(Value & v, PathSet & context);
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
/* The base environment, containing the builtin functions and
|
|
|
|
values. */
|
|
|
|
Env & baseEnv;
|
|
|
|
|
2010-04-14 22:59:39 +00:00
|
|
|
unsigned int baseEnvDispl;
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/* The same, but used during parsing to resolve variables. */
|
|
|
|
StaticEnv staticBaseEnv; // !!! should be private
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
void createBaseEnv();
|
|
|
|
|
2010-03-30 14:39:27 +00:00
|
|
|
void addConstant(const string & name, Value & v);
|
|
|
|
|
2004-08-04 10:59:20 +00:00
|
|
|
void addPrimOp(const string & name,
|
2010-10-23 20:07:47 +00:00
|
|
|
unsigned int arity, PrimOpFun primOp);
|
2010-03-29 14:37:56 +00:00
|
|
|
|
2010-04-14 15:14:23 +00:00
|
|
|
Value * lookupVar(Env * env, const VarRef & var);
|
2010-04-13 12:25:42 +00:00
|
|
|
|
|
|
|
friend class ExprVar;
|
|
|
|
friend class ExprAttrs;
|
2010-04-13 13:42:25 +00:00
|
|
|
friend class ExprLet;
|
2010-04-13 12:25:42 +00:00
|
|
|
|
2010-04-12 18:30:11 +00:00
|
|
|
public:
|
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
/* Do a deep equality test between two values. That is, list
|
|
|
|
elements and attributes are compared recursively. */
|
|
|
|
bool eqValues(Value & v1, Value & v2);
|
|
|
|
|
2010-04-07 13:55:46 +00:00
|
|
|
void callFunction(Value & fun, Value & arg, Value & v);
|
|
|
|
|
2010-04-07 15:47:06 +00:00
|
|
|
/* Automatically call a function for which each argument has a
|
|
|
|
default value or has a binding in the `args' map. */
|
2010-10-22 14:47:42 +00:00
|
|
|
void autoCallFunction(Bindings & args, Value & fun, Value & res);
|
2010-04-07 15:47:06 +00:00
|
|
|
|
2010-03-29 14:37:56 +00:00
|
|
|
/* Allocation primitives. */
|
2010-10-22 14:47:42 +00:00
|
|
|
Value * allocValue();
|
2010-04-14 14:42:32 +00:00
|
|
|
Env & allocEnv(unsigned int size);
|
2010-03-30 14:39:27 +00:00
|
|
|
|
2010-10-22 14:47:42 +00:00
|
|
|
Value * allocAttr(Value & vAttrs, const Symbol & name);
|
|
|
|
|
2010-03-30 14:39:27 +00:00
|
|
|
void mkList(Value & v, unsigned int length);
|
2010-10-24 20:09:37 +00:00
|
|
|
void mkAttrs(Value & v, unsigned int expected);
|
2010-04-12 18:30:11 +00:00
|
|
|
void mkThunk_(Value & v, Expr * expr);
|
2010-10-24 14:20:02 +00:00
|
|
|
|
|
|
|
Value * maybeThunk(Env & env, Expr * expr);
|
2010-04-07 15:47:06 +00:00
|
|
|
|
2010-03-30 15:18:20 +00:00
|
|
|
/* Print statistics. */
|
|
|
|
void printStats();
|
2010-04-09 12:00:49 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
|
|
|
|
unsigned long nrEnvs;
|
2010-04-14 23:48:46 +00:00
|
|
|
unsigned long nrValuesInEnvs;
|
|
|
|
unsigned long nrValues;
|
2010-04-15 00:37:36 +00:00
|
|
|
unsigned long nrListElems;
|
2010-04-09 12:00:49 +00:00
|
|
|
unsigned long nrEvaluated;
|
2010-10-20 15:48:00 +00:00
|
|
|
unsigned long nrAttrsets;
|
|
|
|
unsigned long nrOpUpdates;
|
|
|
|
unsigned long nrOpUpdateValuesCopied;
|
2010-04-09 12:00:49 +00:00
|
|
|
unsigned int recursionDepth;
|
|
|
|
unsigned int maxRecursionDepth;
|
|
|
|
char * deepestStack; /* for measuring stack usage */
|
|
|
|
|
|
|
|
friend class RecursionCounter;
|
2010-10-20 11:38:30 +00:00
|
|
|
friend class ExprOpUpdate;
|
2003-10-30 16:48:26 +00:00
|
|
|
};
|
2010-04-07 13:55:46 +00:00
|
|
|
|
|
|
|
|
|
|
|
/* Return a string representing the type of the value `v'. */
|
2010-04-21 15:57:11 +00:00
|
|
|
string showType(const Value & v);
|
2003-10-30 16:48:26 +00:00
|
|
|
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
}
|
|
|
|
|
2003-10-30 16:48:26 +00:00
|
|
|
|
|
|
|
#endif /* !__EVAL_H */
|