A parser for the Human Readable Datum Format used by Pathway Logic. Takes in a file or directory of datums, does some basic sanity checking, and emits JSON.
$ java -jar datum-0.1.0-standalone.jar [args] [files/directories]
Options:
-e, --errors Print errors
-o, --ops-file FILE Provide an external ops json file
-j, --json Print parsed datums as JSON
-J, --pretty-json Pretty-print parsed datums as JSON
-D, --duplicates Print a list of duplicate datums
-m, --merge Merge datums that only differ in extras.
For sanity and type checking, you will need an ops file
, which is a JSON file containing a Maude type hierarchy of relevant sorts and ops. The parser is bundled with some default ops. Instructions for generating your own TBD.
Released under the MIT license. See LICENSE for the full license.