{- |

> HetCATS/hets.hs

$Id$

Author: Klaus L�ttich

Year: 2003

The Main module of the hetcats system. It provides the main function

to call.

-}

module Main where

import Common.Utils

import Common.Result

import Logic.LogicGraph

import Options

import Static.AnalysisLibrary

import Static.DevGraph

import System.Environment

import ToHaskell.TranslateAna

--import Syntax.Print_HetCASL

import Logic.LogicGraph

import GUI.AbstractGraphView

import GUI.ConvertDevToAbstractGraph

import Static.AnalysisLibrary

import ReadFn

import WriteFn

--import ProcessFn

main :: IO ()

main =

do opt <- getArgs >>= hetcatsOpts

putIfVerbose opt 3 ("Options: " ++ show opt)

sequence_ $ map (processFile opt) (infiles opt)

processFile :: HetcatsOpts -> FilePath -> IO ()

processFile opt file =

do putIfVerbose opt 2 ("Processing file: " ++ file)

ld <- read_LIB_DEFN opt file

-- (env,ld') <- analyse_LIB_DEFN opt

(ld',env) <-

case (analysis opt) of

Skip -> do

putIfVerbose opt 2

("Skipping static analysis on file: " ++ file)

return (ld, Nothing)

Structured -> do

-- TODO: implement structured analysis

putIfVerbose opt 2

("Skipping static analysis on file: " ++ file)

return (ld, Nothing)

Basic -> do

putIfVerbose opt 2 ("Analyzing file: " ++ file)

Common.Result.Result diags res <- ioresToIO

(ana_LIB_DEFN logicGraph defaultLogic opt emptyLibEnv ld)

sequence (map ((putIfVerbose opt 3) . show) diags)

return (ld, res)

let odir = if null (outdir opt) then dirname file else outdir opt

putIfVerbose opt 3 ("Current OutDir: " ++ odir)

case gui opt of

Only -> showGraph file opt env

Also -> do showGraph file opt env

write_LIB_DEFN file (opt { outdir = odir }) ld'

-- write_GLOBAL_ENV env

Not -> write_LIB_DEFN file (opt { outdir = odir }) ld'

-- showGraph :: FilePath -> HetcatsOpts -> Maybe Env... -> IO ()?

showGraph file opt env =

case env of

Just (ln,_,_,libenv) -> do

putIfVerbose opt 2 ("Trying to display " ++ file

++ "in a graphical Window")

putIfVerbose opt 3 "Initializing Converter"

graphMem <- initializeConverter

putIfVerbose opt 3 "Converting Graph"

(gid, gv, cmaps) <- convertGraph graphMem ln libenv

GUI.AbstractGraphView.redisplay gid gv

putIfVerbose opt 1 "Hit Return when finished"

getLine

return ()

Nothing -> putIfVerbose opt 1

("Error: Basic Analysis is neccessary to display "

++ "graphs in a graphical window")