{"_id":"@dspacenet/maude","_rev":"2-67dc79fae9b25d20cc2d6409740d1efa","name":"@dspacenet/maude","dist-tags":{"latest":"0.1.1"},"versions":{"0.1.0":{"name":"@dspacenet/maude","version":"0.1.0","description":"JavaScript interface to communicate with the Maude System.","main":"maude.js","scripts":{"test":"jest","debug":"node --inspect-brk=9229 maude.js","start":"node maude.js"},"repository":{"type":"git","url":"git+https://github.com/dspacenet/maude.git"},"keywords":["maude"],"author":{"name":"Jason Lopez","email":"sebastianlopezn@gmail.com"},"license":"MIT","bugs":{"url":"https://github.com/dspacenet/maude/issues"},"homepage":"https://github.com/dspacenet/maude#readme","devDependencies":{"eslint":"^4.19.1","eslint-config-airbnb-base":"^13.0.0","eslint-plugin-import":"^2.13.0","jest":"^23.3.0"},"dependencies":{},"gitHead":"c940336a496a6d9fda4474969f5f830cdaf427ba","_id":"@dspacenet/maude@0.1.0","_npmVersion":"6.1.0","_nodeVersion":"9.11.1","_npmUser":{"name":"kinicy","email":"sebastianlopezn@javerianacali.edu.co"},"dist":{"integrity":"sha512-GzYJ8GWh+LEOjv5n1Ebpo8wCUriDT4FAQp+MuNxeF7m1aGkRN9TOsSJf4YC4mIFM2y9ADsXZqFlNxbu287HKUg==","shasum":"22379b68431cb7f5ba15278077f54617f2454fcd","tarball":"https://registry.npmjs.org/@dspacenet/maude/-/maude-0.1.0.tgz","fileCount":5,"unpackedSize":9461,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJbRRQoCRA9TVsSAnZWagAAcdMP/1FeZuFDdVj6pb2kWiA+\nh0K7SI2EFER+DhjXpZYXOJ5zJVE3QH8MkIDZG2hGR6A0QYXYPx3tCSGucQQL\nFM+kE8EzMPskkKA5oL9bKjeBni1fzJhBcMg1z8i6MTX/uzlFBxkNe/1MCUAF\niHstYerDJEWPNyMgJc/5jtDb0UmlwUlzoolxyHPAF56PXAlqfOjguniHrAjx\n5Ltk5zfoc9xplkZalV9MK5aVxx1d74htORFSKYn1qWSTqncB30AyWcFSHih1\no6vkCs9WQcozAcS6k79h79yTvWLLG5MQdk677tpqtxPG1Jyu4+zUSzJRBcbp\nmLgwIEh7BhIci6JmaHRCAmwt5Xevfni67znnayHWaMluIAuaezqlS+8QMaRn\nd72xCsuiNZNF98tzrDdFkN1U8dtPRHLc6FbXrGXzec7r96xwFVEaeJN0+ZAs\ntpcuO/r8FiR3lHAUUzxZsqZUciGO7F7rw9xc8jrVSpMANxU/iY1P/pdUDETT\ndy1iqiN+XlbwmiwGDZaHGJCfOc9v/DbZ2fh0jKwsrfoV4eKGJ0OUJV/Fh9IN\nQ2pWAl9sXeurd8kE0+UG+AWmyJcqap0Le2c6LuYsZzTaRoNQ3w0dBc9kVmpu\ng0wPR+SujE74es2OPVZEXHlztdfy2RzuupEQc+f2QIlsNg9Br+estAlRCShD\nFO/9\r\n=0RK4\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIDHB826yX2+fZnyX4zNYj+oTjy1FwfoSS+V1Xt+YL6kGAiAjhizsgGiQLYPxhjr5WRly1eWNGOJx9oTQJ/49K4pkaw=="}]},"maintainers":[{"name":"kinicy","email":"sebastianlopezn@javerianacali.edu.co"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/maude_0.1.0_1531253800129_0.8375862792183053"},"_hasShrinkwrap":false},"0.1.1":{"name":"@dspacenet/maude","version":"0.1.1","description":"JavaScript interface to communicate with the Maude System.","main":"maude.js","scripts":{"test":"jest","debug":"node --inspect-brk=9229 maude.js","start":"node maude.js"},"repository":{"type":"git","url":"git+https://github.com/dspacenet/maude.git"},"keywords":["maude"],"author":{"name":"Jason Lopez","email":"sebastianlopezn@gmail.com"},"license":"MIT","bugs":{"url":"https://github.com/dspacenet/maude/issues"},"homepage":"https://github.com/dspacenet/maude#readme","devDependencies":{"eslint":"^4.19.1","eslint-config-airbnb-base":"^13.0.0","eslint-plugin-import":"^2.13.0","jest":"^23.3.0"},"dependencies":{},"gitHead":"0be8af8ef3e27977111d14c2fda1febfbc594919","_id":"@dspacenet/maude@0.1.1","_npmVersion":"6.1.0","_nodeVersion":"10.6.0","_npmUser":{"name":"kinicy","email":"sebastianlopezn@javerianacali.edu.co"},"dist":{"integrity":"sha512-46r1xtaByWbpbGjq7ftchG92vnOnB9E55TBE96A2mrxDL1hf0kgMa5K4wPVQrsO1A0Kce5uLDxBhm2/+W/bjCw==","shasum":"847b7663ea2ac5bc7e498480002316d68e0b6813","tarball":"https://registry.npmjs.org/@dspacenet/maude/-/maude-0.1.1.tgz","fileCount":5,"unpackedSize":9622,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJbaxCTCRA9TVsSAnZWagAAG8UP/i6lRysWMkTdOOD8lgEm\nlDtiD3GZnr4ZsHbLkvbgwFe7Ms814sb93ZSTQvO9H/gd16HkwMjFZJczlLA3\nnbig3i1OaiZ+AQ1oJEkvSEyaAik2ZaFNifxBQuj1k6XFIKcI4n+9xgnDtNSD\nWFHq5oM+9pA41ebaTpmb2Q3uLyecIQghPHxi9H3OoVDW9cPywkWRqTZ7L/MU\ne2UrByfbRUVfd3pEn5fr8KNXX/JLICX2EaJLVcT9wSxvu+xNSRvp6daguUFu\n3j2zJ2y4Hgpis2VVqFdAEgPstQ1OAwxuIJxHRQj0HbIXsJUSSeBg1EJhVy8D\nzaiPhbXHz9Xv6hm6GN6fjGJpk8y7CTqbfdx4eTi+d6579cub71XQVmg9dGBH\nQMQL2P25JdPOU8PJNCylfEJpm69zIifCxaY8FYxsroTDlKFPBR6PN9kbZdaO\nQuHTqxWXLEeeam55dvRu2MavhHBMa2eNaYq+zaXNGV9JnprRi1J9GhTFexP/\n4x8pdrS2rIkME2lmyqFeb4u1qwiwSB94U/Kj0EecYaAOopsqEmyCkMO0mSHm\niiVtDvaZfR3lS734JCoR5HZluLspZ2upj+dX5lFKmpvjsmh/a2nJ8hcCjNfU\ndrInFLEoCnGP5ISFjH8Gd0LI+mun7PZ1RRyMG6DFyZtAcXWsdkut3biNNoKH\nddwI\r\n=66gW\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCW5BsSIhZlcrIqsB3LO7giLHXKs+g+s9m70IhrZArYJwIgJVMpHofp7ifam2fGsFYC5cp/iTXrhC9TbhpwmlygCSQ="}]},"maintainers":[{"name":"kinicy","email":"sebastianlopezn@javerianacali.edu.co"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/maude_0.1.1_1533743243694_0.5515459385870713"},"_hasShrinkwrap":false}},"time":{"created":"2018-07-10T20:16:39.945Z","0.1.0":"2018-07-10T20:16:40.205Z","modified":"2022-04-05T05:45:15.177Z","0.1.1":"2018-08-08T15:47:31.761Z"},"maintainers":[{"name":"kinicy","email":"sebastianlopezn@javerianacali.edu.co"}],"description":"JavaScript interface to communicate with the Maude System.","homepage":"https://github.com/dspacenet/maude#readme","keywords":["maude"],"repository":{"type":"git","url":"git+https://github.com/dspacenet/maude.git"},"author":{"name":"Jason Lopez","email":"sebastianlopezn@gmail.com"},"bugs":{"url":"https://github.com/dspacenet/maude/issues"},"license":"MIT","readme":"# MaudeProcess\r\n\r\nMaudeProcess is a JavaScript interface to the Maude System, originally wrote by Hector Delgado for Python, MaudeProcess executes Maude in an interactive mode allowing the execution of rewriting and general commands in a natural way using the latest features of ES6.\r\n\r\n## Getting Started\r\n\r\nA copy of the executable of Maude System is required. No other dependencies are required.\r\n\r\n### Installing\r\n\r\n```bash\r\nnpm install @dspacenet/maude\r\n```\r\n\r\n### Usage\r\n\r\n```JavaScript\r\nconst MaudeProcess = require('@dspacenet/maude');\r\n\r\n// Instantiate MaudeProcess\r\nconst maude = new MaudeProcess('path/to/maude/executable/');\r\n\r\n// Execute a command.\r\nmaude.run('your command').then(({ result }) => {\r\n  // Print the result\r\n  console.log(result);\r\n}).catch(( error ) => {\r\n  // Catch errors emitted by maude.\r\n  console.log(error.message);\r\n})\r\n\r\n// Destroy MaudeProcess when the work is done\r\nmaude.destroy();\r\n```\r\n\r\n## Running the tests\r\n\r\nIn order to run the tests, the environment variable `MAUDE_PATH` must have the path to the executable of the Maude System.\r\n\r\n```bash\r\nMAUDE_PATH=\"/path/to/maude/executable\" npm test\r\n```\r\n\r\n## Authors\r\n\r\n* **Hector Delgado** - *Initial work in Python* - [HectorDD](https://github.com/HectorDD)\r\n* **Jason Lopez** - *JavaScript Implementation* - [KinIcy](https://github.com/KinIcy)","readmeFilename":"README.md"}