hets/Maude/MaudeShellout.hs

	MaudeShellout.hs revision b92e4eba198fcbffab302375b6c3527a8492bc66
#!/usr/bin/env runhaskell

module Main where

import System.IO
import System.Process

import Maude.AS_Maude
import Maude.Sign
import Maude.Printing
import Maude.Sentence


maude_cmd :: String
maude_cmd = "/Applications/maude-darwin/maude.intelDarwin -interactive"

-- wait_threshold = 100

main :: IO Sign -- ()
main = do
    (hIn, hOut, _, _) <- runInteractiveCommand maude_cmd -- (hIn, hOut, hErr, hProcess)
    hPutStrLn hIn "in /Users/adrian/Hets/Maude/hets.prj"
    hPutStrLn hIn ("(fmod A is sorts Foo Nat A B C D . subsort Foo < Nat . " ++
                  "subsort A < B < C < Foo Nat . op a : Foo -> Foo . " ++
                  "op a : Foo Foo -> Foo [assoc comm strat(1 2 0)] . endfm)")
    hClose hIn
    sOutput <- hGetContents hOut
    let stringSpec = getSpec sOutput
    let spec = read stringSpec :: Spec
    let sign = fromSpec spec
    return sign --- (sign2maude sign)
    -- waitForProcess hProcess


ba :: Sign -> MaudeText -> IO (Sign, [Sentence])
ba s (MaudeText mt) = do
   (hIn, hOut, _, _) <- runInteractiveCommand maude_cmd -- (hIn, hOut, hErr, hProcess)
   hPutStrLn hIn "in /Users/adrian/Hets/Maude/hets.prj"
   hPutStrLn hIn ("(fmod A is " ++ (sign2maude s) ++ mt ++ " endfm)")
   hClose hIn
   sOutput <- hGetContents hOut
   let stringSpec = getSpec sOutput
   let spec = read stringSpec :: Spec
   let sign = fromSpec spec
   let sen = getSentences spec
   return (sign, sen)