lix/src/libexpr/eval.hh

264 lines
5.8 KiB
C++
Raw Normal View History

#ifndef __EVAL_H
#define __EVAL_H
#include <map>
#include "aterm.hh"
#include "nixexpr.hh"
namespace nix {
class Hash;
class EvalState;
struct Env;
struct Value;
typedef ATerm Sym;
typedef std::map<Sym, Value> Bindings;
struct Env
{
Env * up;
Bindings bindings;
};
typedef enum {
tInt = 1,
tBool,
tString,
tPath,
tNull,
tAttrs,
tList,
tThunk,
2010-03-30 13:47:59 +00:00
tApp,
tLambda,
tCopy,
tBlackhole,
tPrimOp,
tPrimOpApp,
} ValueType;
typedef void (* PrimOp) (EvalState & state, Value * * args, Value & v);
struct Value
{
ValueType type;
union
{
int integer;
bool boolean;
struct {
const char * s;
const char * * context;
} string;
2010-03-30 09:22:33 +00:00
const char * path;
Bindings * attrs;
struct {
unsigned int length;
Value * elems;
} list;
struct {
Env * env;
Expr expr;
} thunk;
2010-03-30 13:47:59 +00:00
struct {
Value * left, * right;
} app;
struct {
Env * env;
Pattern pat;
Expr body;
} lambda;
Value * val;
struct {
PrimOp fun;
unsigned int arity;
} primOp;
struct {
Value * left, * right;
unsigned int argsLeft;
} primOpApp;
};
};
static inline void mkInt(Value & v, int n)
{
v.type = tInt;
v.integer = n;
}
static inline void mkBool(Value & v, bool b)
{
v.type = tBool;
v.boolean = b;
}
static inline void mkThunk(Value & v, Env & env, Expr expr)
{
v.type = tThunk;
v.thunk.env = &env;
v.thunk.expr = expr;
}
2010-04-01 12:04:57 +00:00
static inline void mkCopy(Value & v, Value & src)
{
v.type = tCopy;
v.val = &src;
}
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
typedef std::map<Path, Hash> DrvHashes;
/* Cache for calls to addToStore(); maps source paths to the store
paths. */
typedef std::map<Path, Path> SrcToStore;
struct EvalState;
std::ostream & operator << (std::ostream & str, Value & v);
2010-03-30 15:18:20 +00:00
class EvalState
{
2010-03-31 15:38:03 +00:00
public:
DrvHashes drvHashes; /* normalised derivation hashes */
2010-03-31 15:38:03 +00:00
private:
SrcToStore srcToStore;
bool allowUnsafeEquality;
ATermMap parseTrees;
2010-03-30 15:18:20 +00:00
public:
EvalState();
~EvalState();
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);
/* Evaluate an expression to normal form, storing the result in
value `v'. */
void eval(Expr e, Value & v);
void eval(Env & env, Expr e, Value & v);
/* Evaluation the expression, then verify that it has the expected
type. */
bool evalBool(Env & env, Expr e);
/* 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. */
void forceValue(Value & v);
/* Force a value, then recursively force list elements and
attributes. */
void strictForceValue(Value & v);
/* 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);
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);
string forceString(Value & v, PathSet & context);
2010-03-30 18:05:54 +00:00
string forceStringNoCtx(Value & v);
/* 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);
private:
/* The base environment, containing the builtin functions and
values. */
Env & baseEnv;
void createBaseEnv();
2010-03-30 14:39:27 +00:00
void addConstant(const string & name, Value & v);
void addPrimOp(const string & name,
unsigned int arity, PrimOp primOp);
/* Do a deep equality test between two values. That is, list
elements and attributes are compared recursively. */
bool eqValues(Value & v1, Value & v2);
2010-03-30 13:47:59 +00:00
public:
void callFunction(Value & fun, Value & arg, Value & v);
/* Automatically call a function for which each argument has a
default value or has a binding in the `args' map. */
void autoCallFunction(const Bindings & args, Value & fun, Value & res);
/* Allocation primitives. */
Value * allocValues(unsigned int count);
Env & allocEnv();
2010-03-30 14:39:27 +00:00
void mkList(Value & v, unsigned int length);
2010-03-30 22:39:48 +00:00
void mkAttrs(Value & v);
void mkThunk_(Value & v, Expr expr);
2010-03-31 15:38:03 +00:00
void cloneAttrs(Value & src, Value & dst);
2010-03-30 15:18:20 +00:00
/* Print statistics. */
void printStats();
private:
unsigned long nrValues;
unsigned long nrEnvs;
unsigned long nrEvaluated;
unsigned int recursionDepth;
unsigned int maxRecursionDepth;
char * deepestStack; /* for measuring stack usage */
friend class RecursionCounter;
};
/* Return a string representing the type of the value `v'. */
string showType(Value & v);
}
#endif /* !__EVAL_H */