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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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

[Skip to Readme]

Properties

Versions	0.1.0.0, 0.1.0.2, 0.1.0.2, 0.2.0.0, 0.2.0.1, 0.2.0.3, 0.2.0.4, 0.2.0.5, 0.2.0.6, 0.2.1.0, 0.2.1.1, 0.2.2.0, 0.3, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4, 0.4.0.1, 0.4.0.2, 0.4.0.3, 0.4.1, 0.4.1.1, 0.5, 0.5.0.1
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 2019-11-01T20:37:37Z

Modules

[Index] [Quick Jump]

Language
- Alloy
  - Language.Alloy.Call

Downloads

call-alloy-0.1.0.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

marcellus

For package maintainers and hackage trustees

edit package information

Readme for call-alloy-0.1.0.2

[back to package description]

`call-alloy`

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.