call-alloy: A simple library to call Alloy given a specification

[ language, library, mit ] [ Propose Tags ]

Please see the README on GitHub at https://github.com/marcellussiegburg/call-alloy#readme


[Skip to Readme]
Versions [faq] 0.1.0.0, 0.1.0.2
Change log ChangeLog.md
Dependencies base (>=4.7 && <5), bytestring, directory, file-embed, filepath, hashable, process, split, unix, Win32 [details]
License MIT
Copyright 2019 Marcellus Siegburg
Author Marcellus Siegburg
Maintainer marcellus.siegburg@uni-due.de
Category Language
Home page https://github.com/marcellussiegburg/call-alloy#readme
Bug tracker https://github.com/marcellussiegburg/call-alloy/issues
Source repo head: git clone https://github.com/marcellussiegburg/call-alloy
Uploaded by marcellus at Fri Nov 1 20:39:40 UTC 2019
Distributions NixOS:0.1.0.2
Downloads 101 total (27 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for call-alloy-0.1.0.2

[back to package description]

call-alloy Build Status

This is a simple library to call Alloy given a specification. This package includes a simple Java Library to make an API call to the Alloy Library. Alloy is included (as JAR file) within this library as well.

Requriements

  • Java Runtime Environment: There is currently no warning if you have not set up any Java Runtime Environment. However, you will get runtime errors if it is not availible when a call to Alloy happens. If you want to force a check, perform the test cases.

Please note

The Java interface to get Alloy instances as well as the Alloy Jar file are backed into this library.

On every call the application checks the XdgDirectory if the libraries exist in a current version. If not they are placed there together with a version identifier.