#pragma once

#include "types.hh"
#include "hash.hh"

#include <map>


namespace nix {


/* Extension of derivations in the Nix store. */
const string drvExtension = ".drv";


/* Abstract syntax of derivations. */

struct DerivationOutput
{
    Path path;
    string hashAlgo; /* hash used for expected hash computation */
    string hash; /* expected hash, may be null */
    DerivationOutput()
    {
    }
    DerivationOutput(Path path, string hashAlgo, string hash)
    {
        this->path = path;
        this->hashAlgo = hashAlgo;
        this->hash = hash;
    }
    void parseHashInfo(bool & recursive, HashType & hashType, Hash & hash) const;
};

typedef std::map<string, DerivationOutput> DerivationOutputs;

/* For inputs that are sub-derivations, we specify exactly which
   output IDs we are interested in. */
typedef std::map<Path, StringSet> DerivationInputs;

typedef std::map<string, string> StringPairs;

struct Derivation
{
    DerivationOutputs outputs; /* keyed on symbolic IDs */
    DerivationInputs inputDrvs; /* inputs that are sub-derivations */
    PathSet inputSrcs; /* inputs that are sources */
    string platform;
    Path builder;
    Strings args;
    StringPairs env;
};


class StoreAPI;


/* Write a derivation to the Nix store, and return its path. */
Path writeDerivation(StoreAPI & store,
    const Derivation & drv, const string & name, bool repair = false);

/* Read a derivation from a file. */
Derivation readDerivation(const Path & drvPath);

/* Print a derivation. */
string unparseDerivation(const Derivation & drv);

/* Check whether a file name ends with the extensions for
   derivations. */
bool isDerivation(const string & fileName);

/* Return true iff this is a fixed-output derivation. */
bool isFixedOutputDrv(const Derivation & drv);

Hash hashDerivationModulo(StoreAPI & store, Derivation drv);

/* Memoisation of hashDerivationModulo(). */
typedef std::map<Path, Hash> DrvHashes;

extern DrvHashes drvHashes;

/* Split a string specifying a derivation and a set of outputs
   (/nix/store/hash-foo!out1,out2,...) into the derivation path and
   the outputs. */
typedef std::pair<string, std::set<string> > DrvPathWithOutputs;
DrvPathWithOutputs parseDrvPathWithOutputs(const string & s);

Path makeDrvPathWithOutputs(const Path & drvPath, const std::set<string> & outputs);

bool wantOutput(const string & output, const std::set<string> & wanted);

PathSet outputPaths(const Derivation & drv);

}
id=bc490e070aaa4ab7511019b2ec2f56b6b05786e8&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-01-16 18:30:57 +0100'>2020-01-16</span></td><td><a href='/guix/commit/tests/records.scm?id=47212fc763788660ff9051ccee1f6fa8a0db7bdd'>records: Improve reporting of "invalid field specifier" errors.</a><span class='msg-avail'>...<span class='msg-tooltip'>Previously users would just see:

  error: invalid field specifier

without source location or hints.

* guix/records.scm (expand): Add optional 'parent-form' parameter and
pass it to 'syntax-violation' when it is true.
(make-syntactic-constructor): Pass S as a third argument to
'report-invalid-field-specifier'.
* guix/ui.scm (report-load-error): For 'syntax-error', show SUBFORM or
FORM in the message.
* tests/records.scm ("define-record-type* &amp; wrong field specifier"): Add
a 'subform' parameter and adjust test accordingly.
("define-record-type* &amp; wrong field specifier, identifier"): New test.
* tests/guix-system.sh: Add test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-03-30 11:08:39 +0100'>2019-03-30</span></td><td><a href='/guix/commit/tests/records.scm?id=d2be7e3c4ba8d6d0dde9b4c0bff623ab85637424'>records: Support custom 'this' identifiers.</a><span class='msg-avail'>...<span class='msg-tooltip'>This lets record users choose an identifier other than 'this-record'.

* guix/records.scm (make-syntactic-constructor): Add #:this-identifier.
[wrap-field-value]: Honor it.
(define-record-type*): Add form with extra THIS-IDENTIFIER and honor
it.
* tests/records.scm ("define-record-type* &amp; thunked &amp; inherit &amp; custom this"):
New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-03-25 23:37:06 +0100'>2019-03-25</span></td><td><a href='/guix/commit/tests/records.scm?id=abd4d6b33dba4de228e90ad15a8efb456fcf7b6e'>records: Allow thunked fields to refer to 'this-record'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/records.scm (this-record): New syntax parameter.
(make-syntactic-constructor)[wrap-field-value]: When F is thunked,
return a one-argument lambda instead of a thunk, and parameterize
THIS-RECORD.
(define-record-type*)[thunked-field-accessor-definition]: Pass X
to (real-get X).
* tests/records.scm ("define-record-type* &amp; thunked &amp; this-record")
("define-record-type* &amp; thunked &amp; default &amp; this-record")
("define-record-type* &amp; thunked &amp; inherit &amp; this-record"): New tests.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-01-22 23:04:05 +0100'>2019-01-22</span></td><td><a href='/guix/commit/tests/records.scm?id=c2dcff41c2e47f5f978f467864d5ed7829939884'>records: Detect duplicate field initializers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/records.scm (report-duplicate-field-specifier): New procedure.
(make-syntactic-constructor): Call it.
* tests/records.scm ("define-record-type* &amp; duplicate initializers"):
New test.

Co-authored-by: Mark H Weaver &lt;mhw@netris.org&gt;
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-08-31 17:26:56 +0200'>2018-08-31</span></td><td><a href='/guix/commit/tests/records.scm?id=8e1395be5c7d1a6e895fb5b1e70bebc0fef161a6'>records: Adjust to test changes in 'record-abi-mismatch-error'.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes a test failure introduced in
de5cbd4a38a33e0412f1c481fe8e01a871dc13e5.

* guix/records.scm (abi-check): Refer to TYPE in an unquoted context so
we get at the RTD.
* tests/records.scm ("ABI checks"): Adjust 'catch' handler to changes
in the 'record-abi-mismatch-error' arguments.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-05-23 10:21:02 +0200'>2018-05-23</span></td><td><a href='/guix/commit/tests/records.scm?id=7874bbbb9f09cc14ea3e179fd0fa10da5f90cfc7'>records: Insert record type ABI checks in constructors.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/records.scm (print-record-abi-mismatch-error): New procedure.
&lt;top level&gt;: Add 'set-exception-printer!' call.
(current-abi-identifier, abi-check): New procedures.
(make-syntactic-constructor): Add #:abi-cookie parameter.  Insert calls
to 'abi-check'.
(define-record-type*)[compute-abi-cookie]: New procedure.
Use it and emit a definition of the 'current-abi-identifier' for TYPE.
* tests/records.scm ("ABI checks"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>