Copyright	(c) Marcellus Siegburg 2019
License	MIT
Maintainer	marcellus.siegburg@uni-due.de
Safe Haskell	None
Language	Haskell2010

Language.Alloy.Call

Description

This module provides basic functionality to interact with Alloy. This library contains Alloy and an (internal) interface to interact with it. These libraries will be placed into the users directory during execution. A requirement for this library to work is a Java Runtime Environment (as it is required by Alloy).

Synopsis

existsInstance :: String -> IO Bool
getInstances :: Maybe Integer -> String -> IO [String]

Documentation

existsInstance Source #

Arguments

:: String	The Alloy specification which should be loaded.
-> IO Bool	Whether there exists a instance (within the given scope)

Check if there exists a model for the given specification. This function calls Alloy retrieving one instance. If there is no such instance, it returns false. This function calls getInstances.

getInstances Source #

Arguments

:: Maybe Integer	How many instances to return `Nothing` for all.
-> String	The Alloy specification which should be loaded.
-> IO [String]

This function may be used to get all model instances for a given Alloy specification. It calls Alloy via a Java interface.