Merge pull request #83 from julienfreche/configure_get_set

c2: make the global state API configurable for externally defined get/set functions

1 files changed, 6 insertions, 1 deletions

diff --git a/etc/default_config.json b/etc/default_config.json
index 79f166af..945aa19c 100644
--- a/etc/default_config.json
+++ b/etc/default_config.json
@@ -25,6 +25,11 @@
         // The sail_state struct will be passed to the following array
         // of primops, which are specified via the "foo" string from
         // val id = "foo" : ... in Sail.
-        "state_primops": []
+        "state_primops": [],
+        // Control which sail_state variables accessors will be implemented
+        // by the consumer of the library. This is a list of regular expressions,
+        // if one of those regular expression matches the name of a sail_state variable,
+        // only the declaration of the accessors will be generated.
+        "external_state_api" : []
     }
 }