Subject: [Instant-dev] [HG instant] Some more renaming.

From: [email-masked] (Instant)
Date: Wed, 3 Sep 2008 10:52:49 +0200 (CEST)

One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.

changeset:   210:ac25ae09ecd9503ef90c97cdc9783a1a9b2be667
tag:         tip
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 10:52:31 2008 +0200
files:       TODO src/instant/__init__.py src/instant/build_module.py src/instant/cache.py src/instant/codegeneration.py src/instant/create_extension.py src/instant/highlevel.py src/instant/inline.py src/instant/signatures.py src/instant/unused.py tests/test16.py tests/test3.py tests/test4.py tests/test5.py tests/test6.py tests/test7.py tests/test8.py
description:
Some more renaming.

- create_extension is replaced by build_module, returns the compiled module
- import_extension is replaced by import_module, returns the compiled module or None if not found
- find_extension is removed

So in addition to the inline* function, the user should
mostly be satisfied with build_module and import_module.

Given the code:
  module = build_module(..., signature=x)
  module = import_module(x[, cache_dir])
the object x can now either be:
  - a signature string (checksum is taken to see cache)
  - the cache checksum (this might not be necessary)
  - a non-string object which is hashable so it can be placed in a dict,
    which also must have a function x.signature() to return a signature string.
    This object is used as the key in the memory cache, and signature() is only
    called if it isn't found in the memory cache (to construct a cache module name).

changeset:   209:0c5193022ab3f372225b924ffdddc64287e5e614
parent:      208:e792bd713cc58ea210c25714210d8c78907f7283
parent:      207:1ab50e72852091167c43c9cc43e780cdefac2cde
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 08:04:31 2008 +0200
files:       
description:
merge

changeset:   208:e792bd713cc58ea210c25714210d8c78907f7283
parent:      204:c0526d7ae13bef129aa1fb1a110a30371d7f4ec0
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 08:04:18 2008 +0200
files:       TODO
description:
Updated TODO list. Planning on some more renaming and cache improvement.

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant