about summary refs log tree commit diff
path: root/src/fstate.hh
blob: a7935be5250e8785ba803ab247d07474da4ec0aa (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
#ifndef __FSTATE_H
#define __FSTATE_H

extern "C" {
#include <aterm2.h>
}

#include "store.hh"


/* Abstract syntax of fstate-expressions. */

typedef list<FSId> FSIds;

struct SliceElem
{
    FSId id;
    StringSet refs;
};

typedef map<string, SliceElem> SliceElems;

struct Slice
{
    StringSet roots;
    SliceElems elems;
};

typedef map<string, FSId> DeriveOutputs;
typedef map<string, string> StringPairs;

struct Derive
{
    DeriveOutputs outputs;
    FSIdSet inputs;
    string platform;
    string builder;
    Strings args;
    StringPairs env;
};

struct FState
{
    enum { fsSlice, fsDerive } type;
    Slice slice;
    Derive derive;
};


/* Return a canonical textual representation of an expression. */
string printTerm(ATerm t);

/* Throw an exception with an error message containing the given
   aterm. */
Error badTerm(const format & f, ATerm t);

/* Hash an aterm. */
Hash hashTerm(ATerm t);

/* Read an aterm from disk, given its id. */
ATerm termFromId(const FSId & id);

/* Write an aterm to the Nix store directory, and return its hash. */
FSId writeTerm(ATerm t, const string & suffix, FSId id = FSId());

/* Parse an fstate-expression. */
FState parseFState(ATerm t);

/* Parse an fstate-expression. */
ATerm unparseFState(const FState & fs);


#endif /* !__FSTATE_H */