| Copyright | (c) Adrian Riesco Facultad de Informatica UCM 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ariesco@fdi.ucm.es |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
Maude.Shellout
Description
Synopsis
- runMaude :: IO (String, Handle, Handle, Handle, ProcessHandle)
- basicAnalysis :: Sign -> MaudeText -> IO (Sign, [Sentence])
- findSpec :: String -> String
- getAllSpec :: Handle -> String -> Bool -> IO String
- getErrors :: Handle -> IO (Bool, String)
- maudePutStrLn :: Handle -> String -> IO ()
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.
getAllSpec :: Handle -> String -> Bool -> IO String Source #
extracts the Haskell representation of a Maude module or view
maudePutStrLn :: Handle -> String -> IO () Source #