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