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 |
Conversion of Maude to Development Graphs.
- anaMaudeFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv))
Documentation
anaMaudeFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv))
generates the library and the development graph from the path of the maude file