Hets - the Heterogeneous Tool Set

Copyright(c) Adrian Riesco Facultad de Informatica UCM 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Maude.Shellout

Description

 

Synopsis

Documentation

runMaude :: IO (String, Handle, Handle, Handle, ProcessHandle) Source #

runs maude in an interactive subprocess

basicAnalysis :: Sign -> MaudeText -> IO (Sign, [Sentence]) Source #

performs the basic analysis, extracting the signature and the sentences of the given Maude text, that can use the signature accumulated thus far.

findSpec :: String -> String Source #

extracts the string corresponding to a specification

getAllSpec :: Handle -> String -> Bool -> IO String Source #

extracts the Haskell representation of a Maude module or view

getErrors :: Handle -> IO (Bool, String) Source #

maudePutStrLn :: Handle -> String -> IO () Source #