HaLeX 1.2.1 → 1.2.2
raw patch · 21 files changed
+26/−37 lines, 21 files
Files
- HaLeX.cabal +5/−7
- HaLeX_lib/Language/HaLex/Dfa.hs +1/−1
- HaLeX_lib/Language/HaLex/Dfa2MDfa.hs +0/−0
- HaLeX_lib/Language/HaLex/DfaMonad.lhs +0/−0
- HaLeX_lib/Language/HaLex/Equivalence.hs +0/−0
- HaLeX_lib/Language/HaLex/Fa2RegExp.hs +0/−2
- HaLeX_lib/Language/HaLex/FaAsDiGraph.hs +0/−0
- HaLeX_lib/Language/HaLex/FaClasses.hs +0/−0
- HaLeX_lib/Language/HaLex/FaOperations.hs +0/−0
- HaLeX_lib/Language/HaLex/Minimize.hs +0/−0
- HaLeX_lib/Language/HaLex/Ndfa.hs +0/−0
- HaLeX_lib/Language/HaLex/Parser.hs +0/−0
- HaLeX_lib/Language/HaLex/RegExp.hs +0/−0
- HaLeX_lib/Language/HaLex/RegExp2Fa.hs +0/−0
- HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs +15/−23
- HaLeX_lib/Language/HaLex/RegExpParser.hs +1/−0
- HaLeX_lib/Language/HaLex/Util.hs +1/−1
- HaLeX_tool/halex.hs +0/−0
- INSTALL +1/−1
- LICENSE +1/−1
- README.md +1/−1
HaLeX.cabal view
@@ -1,5 +1,5 @@ name: HaLeX-version: 1.2.1+version: 1.2.2 synopsis: HaLeX enables modelling, manipulation and animation of regular languages description: This library was developed in the context of a programming methodology course for undergraduate students, and as a consequence, it was defined mainly for educational purposes.@@ -25,7 +25,6 @@ extensions: FlexibleContexts, FlexibleInstances, MultiParamTypeClasses ghc-options: -Wall- ghc-prof-options: -prof -auto-all hs-source-dirs: HaLeX_lib Exposed-modules: Language.HaLex.RegExpAsDiGraph, Language.HaLex.Ndfa, Language.HaLex.Dfa2MDfa, Language.HaLex.Minimize,@@ -33,14 +32,13 @@ Language.HaLex.FaClasses, Language.HaLex.RegExp, Language.HaLex.Dfa, Language.HaLex.DfaMonad, Language.HaLex.Fa2RegExp, Language.HaLex.Parser, Language.HaLex.RegExp2Fa, Language.HaLex.FaAsDiGraph, Language.HaLex.FaOperations, Language.HaLex.Util, Language.HaLex.Equivalence-source-repository this- type: github- location: https://github.com/haslab/halex- tag: 1.2.1 Executable halex main-is: halex.hs hs-source-dirs: HaLeX_tool, HaLeX_lib ghc-options: -Wall- ghc-prof-options: -prof -auto-all++source-repository head+ type: git+ location: git://github.com/haslab/halex.git
HaLeX_lib/Language/HaLex/Dfa.hs view
@@ -2,7 +2,7 @@ ----------------------------------------------------------------------------- -- | -- Module : Language.HaLex.Dfa--- Copyright : (c) Jooo Saraiva 2001,2002,2003,2004,2005+-- Copyright : (c) Joãoo Saraiva 2001,2002,2003,2004,2005 -- License : LGPL -- -- Maintainer : jas@di.uminho.pt
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs view
HaLeX_lib/Language/HaLex/DfaMonad.lhs view
HaLeX_lib/Language/HaLex/Equivalence.hs view
HaLeX_lib/Language/HaLex/Fa2RegExp.hs view
@@ -111,5 +111,3 @@ applyD d v _ [] _ = Epsilon applyD d v i (z:zs) k = (regular d v i z k) `Or` (applyD d v i zs k)--
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs view
HaLeX_lib/Language/HaLex/FaClasses.hs view
HaLeX_lib/Language/HaLex/FaOperations.hs view
HaLeX_lib/Language/HaLex/Minimize.hs view
HaLeX_lib/Language/HaLex/Ndfa.hs view
HaLeX_lib/Language/HaLex/Parser.hs view
HaLeX_lib/Language/HaLex/RegExp.hs view
HaLeX_lib/Language/HaLex/RegExp2Fa.hs view
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs view
@@ -3,19 +3,19 @@ -- Module : Language.HaLex.RegExpAsDiGraph -- Copyright : (c) João Saraiva 2001,2002,2003,2004,2005 -- License : LGPL--- +-- -- Maintainer : jas@di.uminho.pt -- Stability : provisional -- Portability : portable -- -- Regular Expressions as Directed Graphs (in GraphViz) ----- Code Included in the Lecture Notes on --- Language Processing (with a functional flavour). +-- Code Included in the Lecture Notes on+-- Language Processing (with a functional flavour). -- ----------------------------------------------------------------------------- -module Language.HaLex.RegExpAsDiGraph ( +module Language.HaLex.RegExpAsDiGraph ( re2graphviz ) where @@ -28,7 +28,7 @@ import Language.HaLex.Minimize import Language.HaLex.FaAsDiGraph --- | Print a 'RegExp' in GraphViz-dot (as a string) +-- | Print a 'RegExp' in GraphViz-dot (as a string) re2graphviz :: (Ord sy, Show sy) => RegExp sy -- ^ Regular Expression (Abstract) -> [Char] -- ^ Graph's Name@@ -38,7 +38,7 @@ -> Bool -- ^ Dead States? -> [Char] -- ^ dot sentence -re2graphviz re n d m b s +re2graphviz re n d m b s | not d = re2DiGraphNdfa re n | d && not m && s = re2DiGraph re n | d && not m && b && not s = re2DiGraph' re n@@ -48,40 +48,32 @@ -re2DiGraph :: (Show sy, Ord sy) +re2DiGraph :: (Show sy, Ord sy) => RegExp sy -- ^ Regular Expression -> [Char] -- ^ Module Name -> [Char] -- ^ Dot Graph-re2DiGraph re name = dfa2graphviz dfa name +re2DiGraph re name = dfa2graphviz dfa name where dfa = (ndfa2dfa . regExp2Ndfa) re -re2DiGraph' re name = dfa2graphviz dfa name +re2DiGraph' re name = dfa2graphviz dfa name where dfa = (beautifyDfa .ndfa2dfa . regExp2Ndfa) re -re2DiGraph'' re name = dfa2graphviz dfa name +re2DiGraph'' re name = dfa2graphviz dfa name where dfa = (beautifyDfa . minimizeDfa . ndfa2dfa . regExp2Ndfa) re -re2DiGraph''' re name = dfa2DiGraphWithNoSyncSt dfa name +re2DiGraph''' re name = dfa2DiGraphWithNoSyncSt dfa name where dfa = (beautifyDfaWithSyncSt . minimizeDfa . ndfa2dfa . regExp2Ndfa) re re2DiGraphNdfa re name = ndfa2graphviz ndfa name- where ndfa = regExp2Ndfa re + where ndfa = regExp2Ndfa re re2DiGraphIO :: (Show sy, Ord sy) => RegExp sy -> [Char] -> IO ()-re2DiGraphIO er name = dfa2graphviz2file dfa name +re2DiGraphIO er name = dfa2graphviz2file dfa name where dfa = (beautifyDfa . ndfa2dfa . regExp2Ndfa) er -absRe2DiGraph_File er name = - dfaDiGraphWithNoSyncStIO dfa name (name++".dot") +absRe2DiGraph_File er name =+ dfaDiGraphWithNoSyncStIO dfa name (name++".dot") where dfa = (beautifyDfaWithSyncSt . minimizeDfa . ndfa2dfa . regExp2Ndfa) er--------
HaLeX_lib/Language/HaLex/RegExpParser.hs view
@@ -21,6 +21,7 @@ module Language.HaLex.RegExpParser ( parseRegExp ) where +import Prelude hiding ((<$>), (<*>)) import Data.Char import Language.HaLex.Parser import Language.HaLex.RegExp
HaLeX_lib/Language/HaLex/Util.hs view
@@ -1,7 +1,7 @@ ----------------------------------------------------------------------------- -- | -- Module : Language.HaLex.Edfa--- Copyright : (c) Jooo Saraiva 2001,2002,2003,2004,2005+-- Copyright : (c) Joãoo Saraiva 2001,2002,2003,2004,2005 -- License : LGPL -- -- Maintainer : jas@di.uminho.pt
HaLeX_tool/halex.hs view
INSTALL view
@@ -12,7 +12,7 @@ jas@di.uminho.pt -Version: 1.1 (January, 2005)+Version: 1.2.2 (August, 2016) - halex batch tool
LICENSE view
@@ -2,4 +2,4 @@ "6- Where to get the software -The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.2.1.tgz"+The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.2.2.tgz"
README.md view
@@ -15,7 +15,7 @@ jas@di.uminho.pt -Version: 1.2.1 (October, 2013)+Version: 1.2.2 (August, 2016) 1- What is HaleX