![]() |
Spicy
|
#include <context.h>
Public Member Functions | |
auto | scopedID () const |
CacheIndex (ID id, const std::optional< ID > &scope, const hilti::rt::filesystem::path &path) | |
Public Attributes | |
ID | id |
ID | scope |
hilti::rt::filesystem::path | path |
Index into the context's cache of already processed modules. Note that we use ID and path interchangeably, a module can be accessed by either, meaning that the mapping from path to ID must be consistent throughout all processing.
hilti::rt::filesystem::path hilti::context::CacheIndex::path |
path to module's source code on disk; can be left empty if no file exists
ID hilti::context::CacheIndex::scope |
import scope