diff options
-rw-r--r-- | interface.ccl | 45 | ||||
-rw-r--r-- | src/id.cc | 16 | ||||
-rw-r--r-- | src/id.hh | 2 |
3 files changed, 50 insertions, 13 deletions
diff --git a/interface.ccl b/interface.ccl index ac6d6a6..01d7a1f 100644 --- a/interface.ccl +++ b/interface.ccl @@ -10,6 +10,28 @@ USES INCLUDE HEADER: Publish.h # Return a pointer to an unmodifiable C string +# which contains a unique ID for this configuration +CCTK_POINTER_TO_CONST \ +FUNCTION UniqueConfigID (CCTK_POINTER_TO_CONST IN cctkGH) + +PROVIDES FUNCTION UniqueConfigID \ + WITH Formaline_UniqueConfigID \ + LANGUAGE C + + + +# Return a pointer to an unmodifiable C string +# which contains a unique ID for this source tree +CCTK_POINTER_TO_CONST \ +FUNCTION UniqueSourceID (CCTK_POINTER_TO_CONST IN cctkGH) + +PROVIDES FUNCTION UniqueSourceID \ + WITH Formaline_UniqueSourceID \ + LANGUAGE C + + + +# Return a pointer to an unmodifiable C string # which contains a unique ID for this build CCTK_POINTER_TO_CONST \ FUNCTION UniqueBuildID (CCTK_POINTER_TO_CONST IN cctkGH) @@ -30,6 +52,18 @@ PROVIDES FUNCTION UniqueSimulationID \ LANGUAGE C + +# Return a pointer to an unmodifiable C string +# which contains a unique ID for this run +CCTK_POINTER_TO_CONST \ +FUNCTION UniqueRunID (CCTK_POINTER_TO_CONST IN cctkGH) + +PROVIDES FUNCTION UniqueRunID \ + WITH Formaline_UniqueRunID \ + LANGUAGE C + + + ############# # Publish API ############# @@ -130,14 +164,3 @@ USES FUNCTION PublishInt_Unregister USES FUNCTION PublishReal_Unregister USES FUNCTION PublishString_Unregister USES FUNCTION PublishTable_Unregister - - - -# Return a pointer to an unmodifiable C string -# which contains a unique ID for this run -CCTK_POINTER_TO_CONST \ -FUNCTION UniqueRunID (CCTK_POINTER_TO_CONST IN cctkGH) - -PROVIDES FUNCTION UniqueRunID \ - WITH Formaline_UniqueRunID \ - LANGUAGE C @@ -45,7 +45,7 @@ namespace Formaline // Configuration ID extern "C" char const config_id[]; - // Unique source ID + // Unique source tree ID extern "C" char const source_id[]; // Unique build ID @@ -201,6 +201,20 @@ namespace Formaline extern "C" CCTK_POINTER_TO_CONST + Formaline_UniqueConfigID (CCTK_POINTER_TO_CONST const cctkGH_) + { + cGH const * const cctkGH = static_cast<cGH const *> (cctkGH_); + return static_cast<CCTK_POINTER_TO_CONST> (get_config_id (cctkGH)); + } + + extern "C" CCTK_POINTER_TO_CONST + Formaline_UniqueSourceID (CCTK_POINTER_TO_CONST const cctkGH_) + { + cGH const * const cctkGH = static_cast<cGH const *> (cctkGH_); + return static_cast<CCTK_POINTER_TO_CONST> (get_source_id (cctkGH)); + } + + extern "C" CCTK_POINTER_TO_CONST Formaline_UniqueBuildID (CCTK_POINTER_TO_CONST const cctkGH_) { cGH const * const cctkGH = static_cast<cGH const *> (cctkGH_); @@ -10,7 +10,7 @@ namespace Formaline char const * get_config_id (cGH const * const cctkGH); - // Get the unique source id + // Get the unique source tree id char const * get_source_id (cGH const * const cctkGH); |