| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
XML.GGXWriter
- type Grammars a b = (Grammar (TypedGraphMorphism a b), Grammar (RuleMorphism a b))
- writeConfDepFile :: Bool -> MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeConflictsFile :: Bool -> MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeDependenciesFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeSndOderConfDepFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeSndOderConflictsFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeSndOderDependenciesFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO ()
- writeGrammarFile :: Grammars a b -> String -> [(String, String)] -> String -> IO ()
Documentation
type Grammars a b = (Grammar (TypedGraphMorphism a b), Grammar (RuleMorphism a b)) Source #
writeConfDepFile :: Bool -> MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes grammar, conflicts and dependencies (.cpx)
writeConflictsFile :: Bool -> MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes the grammar and the conflicts (.cpx)
writeDependenciesFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes the grammar and the dependencies (.cpx)
writeSndOderConfDepFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes grammar, second order conflicts and dependencies (.ggx)
writeSndOderConflictsFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes the grammar and the second order conflicts (.ggx)
writeSndOderDependenciesFile :: MorphismsConfig -> Grammars a b -> String -> [(String, String)] -> String -> IO () Source #
Writes the grammar and the second order dependencies (.ggx)