From b96b36f43de3e2f8b58d5f539daa6f6d47f25870 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:43:48 +0000 Subject: [PATCH] removed src for 2.9 --- src/FILES | 260 - src/GF-embed.cabal | 52 - src/GF.hs | 153 - src/GF/API.hs | 472 - src/GF/API/BatchTranslate.hs | 43 - src/GF/API/GrammarToHaskell.hs | 271 - src/GF/API/GrammarToTransfer.hs | 94 - src/GF/API/IOGrammar.hs | 96 - src/GF/API/MyParser.hs | 25 - src/GF/CF/CF.hs | 213 - src/GF/CF/CFIdent.hs | 253 - src/GF/CF/CFtoGrammar.hs | 62 - src/GF/CF/CanonToCF.hs | 214 - src/GF/CF/ChartParser.hs | 206 - src/GF/CF/EBNF.hs | 191 - src/GF/CF/PPrCF.hs | 102 - src/GF/CF/PrLBNF.hs | 150 - src/GF/CF/Profile.hs | 106 - src/GF/CFGM/AbsCFG.hs | 45 - src/GF/CFGM/CFG.cf | 36 - src/GF/CFGM/LexCFG.hs | 312 - src/GF/CFGM/LexCFG.x | 135 - src/GF/CFGM/ParCFG.hs | 779 -- src/GF/CFGM/ParCFG.y | 129 - src/GF/CFGM/PrintCFG.hs | 157 - src/GF/CFGM/PrintCFGrammar.hs | 113 - src/GF/Canon/AbsGFC.hs | 182 - src/GF/Canon/AbsToBNF.hs | 38 - src/GF/Canon/CMacros.hs | 334 - src/GF/Canon/CanonToGFCC.hs | 45 - src/GF/Canon/CanonToGrammar.hs | 203 - src/GF/Canon/GFC.cf | 170 - src/GF/Canon/GFC.hs | 103 - src/GF/Canon/GetGFC.hs | 78 - src/GF/Canon/LexGFC.hs | 346 - src/GF/Canon/LexGFC.x | 132 - src/GF/Canon/Look.hs | 225 - src/GF/Canon/MkGFC.hs | 237 - src/GF/Canon/ParGFC.hs | 2142 ----- src/GF/Canon/ParGFC.y | 385 - src/GF/Canon/PrExp.hs | 46 - src/GF/Canon/PrintGFC.hs | 376 - src/GF/Canon/Share.hs | 147 - src/GF/Canon/SkelGFC.hs | 217 - src/GF/Canon/Subexpressions.hs | 170 - src/GF/Canon/TestGFC.hs | 58 - src/GF/Canon/Unlex.hs | 49 - src/GF/Canon/Unparametrize.hs | 63 - src/GF/Canon/log.txt | 20 - src/GF/Command/AbsGFShell.hs | 42 - src/GF/Command/Commands.hs | 159 - src/GF/Command/GFShell.cf | 27 - src/GF/Command/Importing.hs | 28 - src/GF/Command/Interpreter.hs | 74 - src/GF/Command/LexGFShell.hs | 337 - src/GF/Command/PPrTree.hs | 39 - src/GF/Command/ParGFShell.hs | 809 -- src/GF/Command/PrintGFShell.hs | 144 - src/GF/Compile/API.hs | 21 - src/GF/Compile/BackOpt.hs | 141 - src/GF/Compile/CheckGrammar.hs | 1078 --- src/GF/Compile/Compile.hs | 401 - src/GF/Compile/Evaluate.hs | 477 - src/GF/Compile/Extend.hs | 136 - src/GF/Compile/Flatten.hs | 92 - src/GF/Compile/GetGrammar.hs | 146 - src/GF/Compile/GrammarToCanon.hs | 293 - src/GF/Compile/MkConcrete.hs | 154 - src/GF/Compile/MkResource.hs | 128 - src/GF/Compile/MkUnion.hs | 83 - src/GF/Compile/ModDeps.hs | 153 - src/GF/Compile/NewRename.hs | 294 - src/GF/Compile/NoParse.hs | 49 - src/GF/Compile/Optimize.hs | 300 - src/GF/Compile/PGrammar.hs | 77 - src/GF/Compile/PrOld.hs | 84 - src/GF/Compile/Rebuild.hs | 99 - src/GF/Compile/RemoveLiT.hs | 63 - src/GF/Compile/Rename.hs | 338 - src/GF/Compile/ShellState.hs | 568 -- src/GF/Compile/Update.hs | 135 - src/GF/Compile/Wordlist.hs | 108 - src/GF/Conversion/GFC.hs | 157 - src/GF/Conversion/GFCtoSimple.hs | 175 - src/GF/Conversion/Haskell.hs | 71 - src/GF/Conversion/MCFGtoCFG.hs | 53 - src/GF/Conversion/MCFGtoFCFG.hs | 51 - src/GF/Conversion/Prolog.hs | 205 - src/GF/Conversion/RemoveEpsilon.hs | 46 - src/GF/Conversion/RemoveErasing.hs | 113 - src/GF/Conversion/RemoveSingletons.hs | 82 - src/GF/Conversion/SimpleToFCFG.hs | 536 -- src/GF/Conversion/SimpleToFinite.hs | 178 - src/GF/Conversion/SimpleToMCFG.hs | 26 - src/GF/Conversion/SimpleToMCFG/Coercions.hs | 63 - src/GF/Conversion/SimpleToMCFG/Nondet.hs | 256 - src/GF/Conversion/SimpleToMCFG/Strict.hs | 129 - src/GF/Conversion/TypeGraph.hs | 58 - src/GF/Conversion/Types.hs | 146 - src/GF/Data/Assoc.hs | 143 - src/GF/Data/BacktrackM.hs | 93 - src/GF/Data/Compos.hs | 37 - src/GF/Data/ErrM.hs | 38 - src/GF/Data/GeneralDeduction.hs | 121 - src/GF/Data/Glue.hs | 30 - src/GF/Data/IncrementalDeduction.hs | 67 - src/GF/Data/Map.hs | 61 - src/GF/Data/Operations.hs | 658 -- src/GF/Data/OrdMap2.hs | 127 - src/GF/Data/OrdSet.hs | 120 - src/GF/Data/Parsers.hs | 196 - src/GF/Data/RedBlack.hs | 64 - src/GF/Data/RedBlackSet.hs | 150 - src/GF/Data/SharedString.hs | 19 - src/GF/Data/SortedList.hs | 127 - src/GF/Data/Str.hs | 134 - src/GF/Data/Trie.hs | 129 - src/GF/Data/Trie2.hs | 120 - src/GF/Data/Utilities.hs | 190 - src/GF/Data/XML.hs | 57 - src/GF/Data/Zipper.hs | 257 - src/GF/Devel/AbsCompute.hs | 145 - src/GF/Devel/Arch.hs | 89 - src/GF/Devel/CheckGrammar.hs | 1090 --- src/GF/Devel/CheckM.hs | 89 - src/GF/Devel/Compile.hs | 203 - src/GF/Devel/Compile/AbsGF.hs | 274 - src/GF/Devel/Compile/CheckGrammar.hs | 1089 --- src/GF/Devel/Compile/Compile.hs | 205 - src/GF/Devel/Compile/ErrM.hs | 26 - src/GF/Devel/Compile/Extend.hs | 154 - src/GF/Devel/Compile/Factorize.hs | 251 - src/GF/Devel/Compile/GF.cf | 326 - src/GF/Devel/Compile/GFC.hs | 72 - src/GF/Devel/Compile/GFtoGFCC.hs | 542 -- src/GF/Devel/Compile/GetGrammar.hs | 56 - src/GF/Devel/Compile/LexGF.hs | 343 - src/GF/Devel/Compile/Optimize.hs | 333 - src/GF/Devel/Compile/ParGF.hs | 3210 ------- src/GF/Devel/Compile/PrintGF.hs | 481 - src/GF/Devel/Compile/Refresh.hs | 118 - src/GF/Devel/Compile/Rename.hs | 239 - src/GF/Devel/Compile/SourceToGF.hs | 679 -- src/GF/Devel/Compute.hs | 455 - src/GF/Devel/GF.hs | 14 - src/GF/Devel/GFC.hs | 67 - src/GF/Devel/GFC/Main.hs | 28 - src/GF/Devel/GFCCInterpreter.hs | 28 - src/GF/Devel/GFCCtoHaskell.hs | 213 - src/GF/Devel/GFCCtoJS.hs | 132 - src/GF/Devel/GFI.hs | 77 - src/GF/Devel/GetGrammar.hs | 54 - src/GF/Devel/Grammar/AppPredefined.hs | 166 - src/GF/Devel/Grammar/Compute.hs | 380 - src/GF/Devel/Grammar/Construct.hs | 221 - src/GF/Devel/Grammar/GFtoSource.hs | 223 - src/GF/Devel/Grammar/Grammar.hs | 172 - src/GF/Devel/Grammar/Lookup.hs | 168 - src/GF/Devel/Grammar/Macros.hs | 434 - src/GF/Devel/Grammar/PatternMatch.hs | 146 - src/GF/Devel/Grammar/PrGF.hs | 246 - src/GF/Devel/GrammarToGFCC.hs | 545 -- src/GF/Devel/Infra/ReadFiles.hs | 348 - src/GF/Devel/ModDeps.hs | 153 - src/GF/Devel/Optimize.hs | 299 - src/GF/Devel/OptimizeGF.hs | 271 - src/GF/Devel/Options.hs | 269 - src/GF/Devel/PrGrammar.hs | 233 - src/GF/Devel/PrintGFCC.hs | 21 - src/GF/Devel/README-testgf3 | 49 - src/GF/Devel/ReadFiles.hs | 196 - src/GF/Devel/TC.hs | 299 - src/GF/Devel/TestGF3.hs | 9 - src/GF/Devel/TypeCheck.hs | 311 - src/GF/Devel/UseIO.hs | 298 - src/GF/Devel/gf-code.txt | 66 - src/GF/Devel/gf3.txt | 84 - src/GF/Embed/EmbedAPI.hs | 114 - src/GF/Embed/EmbedCustom.hs | 113 - src/GF/Embed/EmbedParsing.hs | 65 - src/GF/Embed/TemplateApp.hs | 44 - src/GF/Formalism/CFG.hs | 50 - src/GF/Formalism/FCFG.hs | 106 - src/GF/Formalism/GCFG.hs | 47 - src/GF/Formalism/MCFG.hs | 58 - src/GF/Formalism/SimpleGFC.hs | 268 - src/GF/Formalism/Utilities.hs | 423 - src/GF/Fudgets/ArchEdit.hs | 30 - src/GF/Fudgets/CommandF.hs | 134 - src/GF/Fudgets/EventF.hs | 51 - src/GF/Fudgets/FudgetOps.hs | 59 - src/GF/Fudgets/UnicodeF.hs | 37 - src/GF/GFCC/API.hs | 140 - src/GF/GFCC/CId.hs | 14 - src/GF/GFCC/CheckGFCC.hs | 186 - src/GF/GFCC/ComposOp.hs | 30 - src/GF/GFCC/DataGFCC.hs | 152 - src/GF/GFCC/GFCC.cf | 81 - src/GF/GFCC/Generate.hs | 70 - src/GF/GFCC/LexGFCC.hs | 349 - src/GF/GFCC/Linearize.hs | 91 - src/GF/GFCC/Macros.hs | 121 - src/GF/GFCC/OptimizeGFCC.hs | 116 - src/GF/GFCC/Raw/AbsGFCCRaw.hs | 17 - src/GF/GFCC/Raw/ConvertGFCC.hs | 277 - src/GF/GFCC/Raw/GFCCRaw.cf | 12 - src/GF/GFCC/Raw/ParGFCCRaw.hs | 99 - src/GF/GFCC/Raw/PrintGFCCRaw.hs | 36 - src/GF/GFCC/ShowLinearize.hs | 87 - src/GF/GFCC/SkelGFCC.hs | 109 - src/GF/GFCC/TestGFCC.hs | 58 - src/GF/GFCC/doc/Eng.gf | 13 - src/GF/GFCC/doc/Ex.gf | 8 - src/GF/GFCC/doc/Swe.gf | 13 - src/GF/GFCC/doc/Test.gf | 64 - src/GF/GFCC/doc/gfcc.html | 809 -- src/GF/GFCC/doc/gfcc.txt | 712 -- src/GF/GFCC/doc/old-GFCC.cf | 50 - src/GF/GFCC/doc/old-gfcc.txt | 656 -- src/GF/GFCC/doc/syntax.txt | 180 - src/GF/GFModes.hs | 112 - src/GF/Grammar/AbsCompute.hs | 145 - src/GF/Grammar/Abstract.hs | 38 - src/GF/Grammar/AppPredefined.hs | 159 - src/GF/Grammar/Compute.hs | 426 - src/GF/Grammar/Grammar.hs | 244 - src/GF/Grammar/Lockfield.hs | 46 - src/GF/Grammar/LookAbs.hs | 196 - src/GF/Grammar/Lookup.hs | 275 - src/GF/Grammar/MMacros.hs | 341 - src/GF/Grammar/Macros.hs | 817 -- src/GF/Grammar/PatternMatch.hs | 155 - src/GF/Grammar/PrGrammar.hs | 286 - src/GF/Grammar/Refresh.hs | 133 - src/GF/Grammar/ReservedWords.hs | 44 - src/GF/Grammar/SGrammar.hs | 169 - src/GF/Grammar/TC.hs | 299 - src/GF/Grammar/TypeCheck.hs | 311 - src/GF/Grammar/Unify.hs | 96 - src/GF/Grammar/Values.hs | 109 - src/GF/IDE/IDECommands.hs | 95 - src/GF/Infra/CheckM.hs | 89 - src/GF/Infra/Comments.hs | 43 - src/GF/Infra/CompactPrint.hs | 22 - src/GF/Infra/Ident.hs | 155 - src/GF/Infra/Modules.hs | 416 - src/GF/Infra/Option.hs | 375 - src/GF/Infra/Print.hs | 127 - src/GF/Infra/PrintClass.hs | 51 - src/GF/Infra/ReadFiles.hs | 362 - src/GF/Infra/UseIO.hs | 330 - src/GF/JavaScript/AbsJS.hs | 60 - src/GF/JavaScript/JS.cf | 55 - src/GF/JavaScript/LexJS.hs | 337 - src/GF/JavaScript/LexJS.x | 132 - src/GF/JavaScript/Makefile | 14 - src/GF/JavaScript/ParJS.hs | 1175 --- src/GF/JavaScript/ParJS.y | 225 - src/GF/JavaScript/PrintJS.hs | 169 - src/GF/JavaScript/SkelJS.hs | 80 - src/GF/JavaScript/TestJS.hs | 58 - src/GF/OldParsing/CFGrammar.hs | 153 - src/GF/OldParsing/ConvertFiniteGFC.hs | 283 - src/GF/OldParsing/ConvertFiniteSimple.hs | 121 - src/GF/OldParsing/ConvertGFCtoMCFG.hs | 34 - .../OldParsing/ConvertGFCtoMCFG/Coercions.hs | 71 - src/GF/OldParsing/ConvertGFCtoMCFG/Nondet.hs | 281 - src/GF/OldParsing/ConvertGFCtoMCFG/Old.hs | 277 - src/GF/OldParsing/ConvertGFCtoMCFG/Strict.hs | 189 - src/GF/OldParsing/ConvertGFCtoSimple.hs | 122 - src/GF/OldParsing/ConvertGrammar.hs | 44 - src/GF/OldParsing/ConvertMCFGtoCFG.hs | 52 - src/GF/OldParsing/ConvertSimpleToMCFG.hs | 30 - .../ConvertSimpleToMCFG/Coercions.hs | 70 - .../OldParsing/ConvertSimpleToMCFG/Nondet.hs | 245 - src/GF/OldParsing/ConvertSimpleToMCFG/Old.hs | 277 - .../OldParsing/ConvertSimpleToMCFG/Strict.hs | 139 - src/GF/OldParsing/GCFG.hs | 43 - src/GF/OldParsing/GeneralChart.hs | 86 - src/GF/OldParsing/GrammarTypes.hs | 148 - src/GF/OldParsing/IncrementalChart.hs | 50 - src/GF/OldParsing/MCFGrammar.hs | 206 - src/GF/OldParsing/ParseCF.hs | 82 - src/GF/OldParsing/ParseCFG.hs | 43 - src/GF/OldParsing/ParseCFG/General.hs | 83 - src/GF/OldParsing/ParseCFG/Incremental.hs | 142 - src/GF/OldParsing/ParseGFC.hs | 177 - src/GF/OldParsing/ParseMCFG.hs | 37 - src/GF/OldParsing/ParseMCFG/Basic.hs | 156 - src/GF/OldParsing/SimpleGFC.hs | 161 - src/GF/OldParsing/Utilities.hs | 188 - src/GF/Parsing/CF.hs | 66 - src/GF/Parsing/CFG.hs | 51 - src/GF/Parsing/CFG/General.hs | 103 - src/GF/Parsing/CFG/Incremental.hs | 150 - src/GF/Parsing/CFG/PInfo.hs | 98 - src/GF/Parsing/FCFG.hs | 100 - src/GF/Parsing/FCFG/Active.hs | 179 - src/GF/Parsing/FCFG/Incremental.hs | 107 - src/GF/Parsing/FCFG/PInfo.hs | 121 - src/GF/Parsing/FCFG/Range.hs | 50 - src/GF/Parsing/GFC.hs | 208 - src/GF/Parsing/MCFG.hs | 68 - src/GF/Parsing/MCFG/Active.hs | 318 - src/GF/Parsing/MCFG/Active2.hs | 237 - src/GF/Parsing/MCFG/FastActive.hs | 176 - src/GF/Parsing/MCFG/Incremental.hs | 178 - src/GF/Parsing/MCFG/Incremental2.hs | 157 - src/GF/Parsing/MCFG/Naive.hs | 142 - src/GF/Parsing/MCFG/PInfo.hs | 162 - src/GF/Parsing/MCFG/Range.hs | 206 - src/GF/Parsing/MCFG/ViaCFG.hs | 186 - src/GF/Printing/PrintParser.hs | 83 - src/GF/Printing/PrintSimplifiedTerm.hs | 127 - src/GF/Probabilistic/Probabilistic.hs | 203 - src/GF/Shell.hs | 591 -- src/GF/Shell/CommandL.hs | 198 - src/GF/Shell/Commands.hs | 568 -- src/GF/Shell/HelpFile.hs | 723 -- src/GF/Shell/JGF.hs | 89 - src/GF/Shell/PShell.hs | 174 - src/GF/Shell/ShellCommands.hs | 246 - src/GF/Shell/SubShell.hs | 66 - src/GF/Shell/TeachYourself.hs | 87 - src/GF/Source/AbsGF.hs | 306 - src/GF/Source/ErrM.hs | 26 - src/GF/Source/GF.cf | 370 - src/GF/Source/GrammarToSource.hs | 259 - src/GF/Source/LexGF.hs | 345 - src/GF/Source/LexGF.x | 137 - src/GF/Source/ParGF.hs | 7845 ---------------- src/GF/Source/ParGF.y | 642 -- src/GF/Source/PrintGF.hs | 532 -- src/GF/Source/SkelGF.hs | 364 - src/GF/Source/SourceToGrammar.hs | 755 -- src/GF/Source/TestGF.hs | 58 - src/GF/Speech/CFGToFiniteState.hs | 265 - src/GF/Speech/FiniteState.hs | 329 - src/GF/Speech/GrammarToVoiceXML.hs | 285 - src/GF/Speech/Graph.hs | 178 - src/GF/Speech/PrFA.hs | 56 - src/GF/Speech/PrGSL.hs | 113 - src/GF/Speech/PrJSGF.hs | 145 - src/GF/Speech/PrRegExp.hs | 33 - src/GF/Speech/PrSLF.hs | 190 - src/GF/Speech/PrSRGS.hs | 153 - src/GF/Speech/PrSRGS_ABNF.hs | 147 - src/GF/Speech/RegExp.hs | 143 - src/GF/Speech/Relation.hs | 130 - src/GF/Speech/RelationQC.hs | 39 - src/GF/Speech/SISR.hs | 87 - src/GF/Speech/SRG.hs | 235 - src/GF/Speech/TransformCFG.hs | 378 - src/GF/System/ATKSpeechInput.hs | 137 - src/GF/System/Arch.hs | 90 - src/GF/System/ArchEdit.hs | 30 - src/GF/System/NoReadline.hs | 27 - src/GF/System/NoSignal.hs | 29 - src/GF/System/NoSpeechInput.hs | 28 - src/GF/System/Readline.hs | 27 - src/GF/System/Signal.hs | 27 - src/GF/System/SpeechInput.hs | 27 - src/GF/System/Tracing.hs | 73 - src/GF/System/UseReadline.hs | 25 - src/GF/System/UseSignal.hs | 58 - src/GF/Text/Arabic.hs | 63 - src/GF/Text/Devanagari.hs | 97 - src/GF/Text/Ethiopic.hs | 72 - src/GF/Text/ExtendedArabic.hs | 99 - src/GF/Text/ExtraDiacritics.hs | 37 - src/GF/Text/Greek.hs | 172 - src/GF/Text/Hebrew.hs | 53 - src/GF/Text/Hiragana.hs | 95 - src/GF/Text/LatinASupplement.hs | 69 - src/GF/Text/OCSCyrillic.hs | 47 - src/GF/Text/Russian.hs | 56 - src/GF/Text/Tamil.hs | 77 - src/GF/Text/Text.hs | 149 - src/GF/Text/Thai.hs | 368 - src/GF/Text/UTF8.hs | 48 - src/GF/Text/Unicode.hs | 69 - src/GF/Translate/GFT.hs | 56 - src/GF/UseGrammar/Custom.hs | 494 - src/GF/UseGrammar/Editing.hs | 435 - src/GF/UseGrammar/Generate.hs | 116 - src/GF/UseGrammar/GetTree.hs | 74 - src/GF/UseGrammar/Information.hs | 162 - src/GF/UseGrammar/Linear.hs | 292 - src/GF/UseGrammar/MatchTerm.hs | 50 - src/GF/UseGrammar/Morphology.hs | 140 - src/GF/UseGrammar/Paraphrases.hs | 70 - src/GF/UseGrammar/Parsing.hs | 177 - src/GF/UseGrammar/Randomized.hs | 66 - src/GF/UseGrammar/Session.hs | 181 - src/GF/UseGrammar/Statistics.hs | 44 - src/GF/UseGrammar/Tokenize.hs | 222 - src/GF/UseGrammar/Transfer.hs | 79 - src/GF/UseGrammar/TreeSelections.hs | 77 - src/GF/UseGrammar/Treebank.hs | 251 - src/GF/Visualization/Graphviz.hs | 116 - src/GF/Visualization/VisualizeGrammar.hs | 125 - src/GF/Visualization/VisualizeTree.hs | 58 - src/HelpFile | 693 -- src/INSTALL | 93 - src/INSTALL.binary | 38 - src/JavaGUI/DynamicTree.java | 272 - src/JavaGUI/DynamicTree2.java | 272 - src/JavaGUI/GFEditor.java | 1420 --- src/JavaGUI/GFEditor2.java | 2357 ----- src/JavaGUI/GrammarFilter.java | 30 - src/JavaGUI/LinPosition.java | 13 - src/JavaGUI/MarkedArea.java | 18 - src/JavaGUI/Numerals.java | 1552 ---- src/JavaGUI/Utils.java | 22 - src/JavaGUI/manifest.txt | 1 - src/JavaGUI/runNumerals | 1 - src/JavaGUI2/LICENCE_jargs | 29 - src/JavaGUI2/ManifestMain.txt | 3 - .../uka/ilkd/key/ocl/gf/AbstractProber.java | 182 - .../de/uka/ilkd/key/ocl/gf/AstNodeData.java | 105 - .../ilkd/key/ocl/gf/ChainCommandTuple.java | 60 - .../ilkd/key/ocl/gf/ConstraintCallback.java | 64 - .../de/uka/ilkd/key/ocl/gf/Display.java | 249 - .../de/uka/ilkd/key/ocl/gf/DynamicTree2.java | 366 - .../uka/ilkd/key/ocl/gf/ExportFormatMenu.java | 67 - .../de/uka/ilkd/key/ocl/gf/GFCommand.java | 137 - .../de/uka/ilkd/key/ocl/gf/GFEditor2.java | 2978 ------ .../de/uka/ilkd/key/ocl/gf/GfAstNode.java | 121 - .../de/uka/ilkd/key/ocl/gf/GfCapsule.java | 621 -- .../de/uka/ilkd/key/ocl/gf/GfeditResult.java | 61 - .../de/uka/ilkd/key/ocl/gf/GrammarFilter.java | 46 - src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Hmsg.java | 77 - .../de/uka/ilkd/key/ocl/gf/InputCommand.java | 141 - .../uka/ilkd/key/ocl/gf/LanguageManager.java | 39 - .../de/uka/ilkd/key/ocl/gf/LinPosition.java | 157 - .../de/uka/ilkd/key/ocl/gf/Linearization.java | 760 -- .../de/uka/ilkd/key/ocl/gf/LinkCommand.java | 85 - .../de/uka/ilkd/key/ocl/gf/MarkedArea.java | 84 - .../ocl/gf/MarkedAreaHighlightingStatus.java | 48 - .../key/ocl/gf/NewCategoryMenuResult.java | 57 - .../ilkd/key/ocl/gf/NoLineBreakFormatter.java | 23 - .../de/uka/ilkd/key/ocl/gf/Printname.java | 569 -- .../uka/ilkd/key/ocl/gf/PrintnameLoader.java | 112 - .../uka/ilkd/key/ocl/gf/PrintnameManager.java | 174 - .../de/uka/ilkd/key/ocl/gf/ReadDialog.java | 200 - .../de/uka/ilkd/key/ocl/gf/RealCommand.java | 255 - .../ilkd/key/ocl/gf/RefinedAstNodeData.java | 68 - .../uka/ilkd/key/ocl/gf/RefinementMenu.java | 518 -- .../key/ocl/gf/RefinementMenuCollector.java | 51 - .../key/ocl/gf/RefinementMenuTransformer.java | 223 - .../key/ocl/gf/SelfPropertiesCommand.java | 175 - .../uka/ilkd/key/ocl/gf/SelfResultProber.java | 84 - .../de/uka/ilkd/key/ocl/gf/StringTuple.java | 54 - .../uka/ilkd/key/ocl/gf/SubtypingProber.java | 107 - .../ilkd/key/ocl/gf/ToolTipCellRenderer.java | 71 - .../de/uka/ilkd/key/ocl/gf/TreeAnalyser.java | 387 - .../ilkd/key/ocl/gf/TreeAnalysisResult.java | 92 - .../de/uka/ilkd/key/ocl/gf/TypesLoader.java | 120 - .../ilkd/key/ocl/gf/UnrefinedAstNodeData.java | 64 - .../de/uka/ilkd/key/ocl/gf/Utils.java | 243 - src/JavaGUI2/gf-icon.gif | Bin 798 -> 0 bytes src/JavaGUI2/jargs-1.0.jar | Bin 11406 -> 0 bytes src/Makefile | 324 - src/Makefile.binary | 23 - src/ReleaseProcedure | 153 - src/Setup.lhs | 8 - src/Transfer/CompilerAPI.hs | 75 - src/Transfer/Core/Abs.hs | 267 - src/Transfer/Core/Core.cf | 93 - src/Transfer/Core/Doc.tex | 215 - src/Transfer/Core/Lex.hs | 343 - src/Transfer/Core/Lex.x | 140 - src/Transfer/Core/Par.hs | 1149 --- src/Transfer/Core/Par.y | 203 - src/Transfer/Core/Print.hs | 155 - src/Transfer/Core/Skel.hs | 119 - src/Transfer/Core/Test.hs | 58 - src/Transfer/ErrM.hs | 16 - src/Transfer/Interpreter.hs | 240 - src/Transfer/InterpreterAPI.hs | 39 - src/Transfer/PathUtil.hs | 110 - src/Transfer/Syntax/Abs.hs | 485 - src/Transfer/Syntax/Doc.tex | 333 - src/Transfer/Syntax/Layout.hs | 227 - src/Transfer/Syntax/Lex.hs | 337 - src/Transfer/Syntax/Lex.x | 134 - src/Transfer/Syntax/Par.hs | 1822 ---- src/Transfer/Syntax/Par.y | 340 - src/Transfer/Syntax/Print.hs | 206 - src/Transfer/Syntax/ResolveLayout.hs | 29 - src/Transfer/Syntax/Skel.hs | 200 - src/Transfer/Syntax/Syntax.cf | 147 - src/Transfer/Syntax/Test.hs | 58 - src/Transfer/SyntaxToCore.hs | 766 -- src/config.guess | 1497 --- src/config.mk.in | 37 - src/config.sub | 1608 ---- src/configure.ac | 229 - src/exper/Evaluate.hs | 461 - src/exper/Optimize.hs | 274 - src/gf.spec | 119 - src/gf.wxs.in | 63 - src/gf_atk.cfg | 98 - src/gfc.in | 25 - src/gfeditor.in | 42 - src/haddock/haddock-check.perl | 169 - src/haddock/haddock-script.csh | 73 - src/haddock/resources/blank.html | 10 - src/haddock/resources/index.html | 14 - src/install-sh | 251 - src/jgf.bat | 1 - src/jgf.in | 42 - src/module-structure.txt | 76 - src/tools/AlphaConvGF.hs | 43 - src/tools/GFDoc.hs | 366 - src/tools/Htmls.hs | 102 - src/tools/MkHelpFile.hs | 61 - src/tools/WriteF.hs | 70 - src/tools/c++/README | 21 - src/tools/c++/exgf.gft | 20 - src/tools/c++/gfex.cpp | 340 - src/tools/c++/peace.gft | 8021 ----------------- src/tools/c/GFCC/Abs.hs | 227 - src/tools/c/GFCC/ComposOp.hs | 30 - src/tools/c/GFCC/ErrM.hs | 16 - src/tools/c/GFCC/Lex.hs | 340 - src/tools/c/GFCC/Lex.x | 135 - src/tools/c/GFCC/Par.hs | 1096 --- src/tools/c/GFCC/Par.y | 204 - src/tools/c/GFCC/Print.hs | 148 - src/tools/c/GFCC/Test.hs | 58 - src/tools/c/Makefile | 25 - src/tools/c/examples/bronzeage/Makefile | 47 - .../c/examples/bronzeage/bronzeage-test.c | 31 - src/tools/c/gfcc2c.hs | 223 - src/tools/mkHelpFile.perl | 49 - 536 files changed, 127076 deletions(-) delete mode 100644 src/FILES delete mode 100644 src/GF-embed.cabal delete mode 100644 src/GF.hs delete mode 100644 src/GF/API.hs delete mode 100644 src/GF/API/BatchTranslate.hs delete mode 100644 src/GF/API/GrammarToHaskell.hs delete mode 100644 src/GF/API/GrammarToTransfer.hs delete mode 100644 src/GF/API/IOGrammar.hs delete mode 100644 src/GF/API/MyParser.hs delete mode 100644 src/GF/CF/CF.hs delete mode 100644 src/GF/CF/CFIdent.hs delete mode 100644 src/GF/CF/CFtoGrammar.hs delete mode 100644 src/GF/CF/CanonToCF.hs delete mode 100644 src/GF/CF/ChartParser.hs delete mode 100644 src/GF/CF/EBNF.hs delete mode 100644 src/GF/CF/PPrCF.hs delete mode 100644 src/GF/CF/PrLBNF.hs delete mode 100644 src/GF/CF/Profile.hs delete mode 100644 src/GF/CFGM/AbsCFG.hs delete mode 100644 src/GF/CFGM/CFG.cf delete mode 100644 src/GF/CFGM/LexCFG.hs delete mode 100644 src/GF/CFGM/LexCFG.x delete mode 100644 src/GF/CFGM/ParCFG.hs delete mode 100644 src/GF/CFGM/ParCFG.y delete mode 100644 src/GF/CFGM/PrintCFG.hs delete mode 100644 src/GF/CFGM/PrintCFGrammar.hs delete mode 100644 src/GF/Canon/AbsGFC.hs delete mode 100644 src/GF/Canon/AbsToBNF.hs delete mode 100644 src/GF/Canon/CMacros.hs delete mode 100644 src/GF/Canon/CanonToGFCC.hs delete mode 100644 src/GF/Canon/CanonToGrammar.hs delete mode 100644 src/GF/Canon/GFC.cf delete mode 100644 src/GF/Canon/GFC.hs delete mode 100644 src/GF/Canon/GetGFC.hs delete mode 100644 src/GF/Canon/LexGFC.hs delete mode 100644 src/GF/Canon/LexGFC.x delete mode 100644 src/GF/Canon/Look.hs delete mode 100644 src/GF/Canon/MkGFC.hs delete mode 100644 src/GF/Canon/ParGFC.hs delete mode 100644 src/GF/Canon/ParGFC.y delete mode 100644 src/GF/Canon/PrExp.hs delete mode 100644 src/GF/Canon/PrintGFC.hs delete mode 100644 src/GF/Canon/Share.hs delete mode 100644 src/GF/Canon/SkelGFC.hs delete mode 100644 src/GF/Canon/Subexpressions.hs delete mode 100644 src/GF/Canon/TestGFC.hs delete mode 100644 src/GF/Canon/Unlex.hs delete mode 100644 src/GF/Canon/Unparametrize.hs delete mode 100644 src/GF/Canon/log.txt delete mode 100644 src/GF/Command/AbsGFShell.hs delete mode 100644 src/GF/Command/Commands.hs delete mode 100644 src/GF/Command/GFShell.cf delete mode 100644 src/GF/Command/Importing.hs delete mode 100644 src/GF/Command/Interpreter.hs delete mode 100644 src/GF/Command/LexGFShell.hs delete mode 100644 src/GF/Command/PPrTree.hs delete mode 100644 src/GF/Command/ParGFShell.hs delete mode 100644 src/GF/Command/PrintGFShell.hs delete mode 100644 src/GF/Compile/API.hs delete mode 100644 src/GF/Compile/BackOpt.hs delete mode 100644 src/GF/Compile/CheckGrammar.hs delete mode 100644 src/GF/Compile/Compile.hs delete mode 100644 src/GF/Compile/Evaluate.hs delete mode 100644 src/GF/Compile/Extend.hs delete mode 100644 src/GF/Compile/Flatten.hs delete mode 100644 src/GF/Compile/GetGrammar.hs delete mode 100644 src/GF/Compile/GrammarToCanon.hs delete mode 100644 src/GF/Compile/MkConcrete.hs delete mode 100644 src/GF/Compile/MkResource.hs delete mode 100644 src/GF/Compile/MkUnion.hs delete mode 100644 src/GF/Compile/ModDeps.hs delete mode 100644 src/GF/Compile/NewRename.hs delete mode 100644 src/GF/Compile/NoParse.hs delete mode 100644 src/GF/Compile/Optimize.hs delete mode 100644 src/GF/Compile/PGrammar.hs delete mode 100644 src/GF/Compile/PrOld.hs delete mode 100644 src/GF/Compile/Rebuild.hs delete mode 100644 src/GF/Compile/RemoveLiT.hs delete mode 100644 src/GF/Compile/Rename.hs delete mode 100644 src/GF/Compile/ShellState.hs delete mode 100644 src/GF/Compile/Update.hs delete mode 100644 src/GF/Compile/Wordlist.hs delete mode 100644 src/GF/Conversion/GFC.hs delete mode 100644 src/GF/Conversion/GFCtoSimple.hs delete mode 100644 src/GF/Conversion/Haskell.hs delete mode 100644 src/GF/Conversion/MCFGtoCFG.hs delete mode 100644 src/GF/Conversion/MCFGtoFCFG.hs delete mode 100644 src/GF/Conversion/Prolog.hs delete mode 100644 src/GF/Conversion/RemoveEpsilon.hs delete mode 100644 src/GF/Conversion/RemoveErasing.hs delete mode 100644 src/GF/Conversion/RemoveSingletons.hs delete mode 100644 src/GF/Conversion/SimpleToFCFG.hs delete mode 100644 src/GF/Conversion/SimpleToFinite.hs delete mode 100644 src/GF/Conversion/SimpleToMCFG.hs delete mode 100644 src/GF/Conversion/SimpleToMCFG/Coercions.hs delete mode 100644 src/GF/Conversion/SimpleToMCFG/Nondet.hs delete mode 100644 src/GF/Conversion/SimpleToMCFG/Strict.hs delete mode 100644 src/GF/Conversion/TypeGraph.hs delete mode 100644 src/GF/Conversion/Types.hs delete mode 100644 src/GF/Data/Assoc.hs delete mode 100644 src/GF/Data/BacktrackM.hs delete mode 100644 src/GF/Data/Compos.hs delete mode 100644 src/GF/Data/ErrM.hs delete mode 100644 src/GF/Data/GeneralDeduction.hs delete mode 100644 src/GF/Data/Glue.hs delete mode 100644 src/GF/Data/IncrementalDeduction.hs delete mode 100644 src/GF/Data/Map.hs delete mode 100644 src/GF/Data/Operations.hs delete mode 100644 src/GF/Data/OrdMap2.hs delete mode 100644 src/GF/Data/OrdSet.hs delete mode 100644 src/GF/Data/Parsers.hs delete mode 100644 src/GF/Data/RedBlack.hs delete mode 100644 src/GF/Data/RedBlackSet.hs delete mode 100644 src/GF/Data/SharedString.hs delete mode 100644 src/GF/Data/SortedList.hs delete mode 100644 src/GF/Data/Str.hs delete mode 100644 src/GF/Data/Trie.hs delete mode 100644 src/GF/Data/Trie2.hs delete mode 100644 src/GF/Data/Utilities.hs delete mode 100644 src/GF/Data/XML.hs delete mode 100644 src/GF/Data/Zipper.hs delete mode 100644 src/GF/Devel/AbsCompute.hs delete mode 100644 src/GF/Devel/Arch.hs delete mode 100644 src/GF/Devel/CheckGrammar.hs delete mode 100644 src/GF/Devel/CheckM.hs delete mode 100644 src/GF/Devel/Compile.hs delete mode 100644 src/GF/Devel/Compile/AbsGF.hs delete mode 100644 src/GF/Devel/Compile/CheckGrammar.hs delete mode 100644 src/GF/Devel/Compile/Compile.hs delete mode 100644 src/GF/Devel/Compile/ErrM.hs delete mode 100644 src/GF/Devel/Compile/Extend.hs delete mode 100644 src/GF/Devel/Compile/Factorize.hs delete mode 100644 src/GF/Devel/Compile/GF.cf delete mode 100644 src/GF/Devel/Compile/GFC.hs delete mode 100644 src/GF/Devel/Compile/GFtoGFCC.hs delete mode 100644 src/GF/Devel/Compile/GetGrammar.hs delete mode 100644 src/GF/Devel/Compile/LexGF.hs delete mode 100644 src/GF/Devel/Compile/Optimize.hs delete mode 100644 src/GF/Devel/Compile/ParGF.hs delete mode 100644 src/GF/Devel/Compile/PrintGF.hs delete mode 100644 src/GF/Devel/Compile/Refresh.hs delete mode 100644 src/GF/Devel/Compile/Rename.hs delete mode 100644 src/GF/Devel/Compile/SourceToGF.hs delete mode 100644 src/GF/Devel/Compute.hs delete mode 100644 src/GF/Devel/GF.hs delete mode 100644 src/GF/Devel/GFC.hs delete mode 100644 src/GF/Devel/GFC/Main.hs delete mode 100644 src/GF/Devel/GFCCInterpreter.hs delete mode 100644 src/GF/Devel/GFCCtoHaskell.hs delete mode 100644 src/GF/Devel/GFCCtoJS.hs delete mode 100644 src/GF/Devel/GFI.hs delete mode 100644 src/GF/Devel/GetGrammar.hs delete mode 100644 src/GF/Devel/Grammar/AppPredefined.hs delete mode 100644 src/GF/Devel/Grammar/Compute.hs delete mode 100644 src/GF/Devel/Grammar/Construct.hs delete mode 100644 src/GF/Devel/Grammar/GFtoSource.hs delete mode 100644 src/GF/Devel/Grammar/Grammar.hs delete mode 100644 src/GF/Devel/Grammar/Lookup.hs delete mode 100644 src/GF/Devel/Grammar/Macros.hs delete mode 100644 src/GF/Devel/Grammar/PatternMatch.hs delete mode 100644 src/GF/Devel/Grammar/PrGF.hs delete mode 100644 src/GF/Devel/GrammarToGFCC.hs delete mode 100644 src/GF/Devel/Infra/ReadFiles.hs delete mode 100644 src/GF/Devel/ModDeps.hs delete mode 100644 src/GF/Devel/Optimize.hs delete mode 100644 src/GF/Devel/OptimizeGF.hs delete mode 100644 src/GF/Devel/Options.hs delete mode 100644 src/GF/Devel/PrGrammar.hs delete mode 100644 src/GF/Devel/PrintGFCC.hs delete mode 100644 src/GF/Devel/README-testgf3 delete mode 100644 src/GF/Devel/ReadFiles.hs delete mode 100644 src/GF/Devel/TC.hs delete mode 100644 src/GF/Devel/TestGF3.hs delete mode 100644 src/GF/Devel/TypeCheck.hs delete mode 100644 src/GF/Devel/UseIO.hs delete mode 100644 src/GF/Devel/gf-code.txt delete mode 100644 src/GF/Devel/gf3.txt delete mode 100644 src/GF/Embed/EmbedAPI.hs delete mode 100644 src/GF/Embed/EmbedCustom.hs delete mode 100644 src/GF/Embed/EmbedParsing.hs delete mode 100644 src/GF/Embed/TemplateApp.hs delete mode 100644 src/GF/Formalism/CFG.hs delete mode 100644 src/GF/Formalism/FCFG.hs delete mode 100644 src/GF/Formalism/GCFG.hs delete mode 100644 src/GF/Formalism/MCFG.hs delete mode 100644 src/GF/Formalism/SimpleGFC.hs delete mode 100644 src/GF/Formalism/Utilities.hs delete mode 100644 src/GF/Fudgets/ArchEdit.hs delete mode 100644 src/GF/Fudgets/CommandF.hs delete mode 100644 src/GF/Fudgets/EventF.hs delete mode 100644 src/GF/Fudgets/FudgetOps.hs delete mode 100644 src/GF/Fudgets/UnicodeF.hs delete mode 100644 src/GF/GFCC/API.hs delete mode 100644 src/GF/GFCC/CId.hs delete mode 100644 src/GF/GFCC/CheckGFCC.hs delete mode 100644 src/GF/GFCC/ComposOp.hs delete mode 100644 src/GF/GFCC/DataGFCC.hs delete mode 100644 src/GF/GFCC/GFCC.cf delete mode 100644 src/GF/GFCC/Generate.hs delete mode 100644 src/GF/GFCC/LexGFCC.hs delete mode 100644 src/GF/GFCC/Linearize.hs delete mode 100644 src/GF/GFCC/Macros.hs delete mode 100644 src/GF/GFCC/OptimizeGFCC.hs delete mode 100644 src/GF/GFCC/Raw/AbsGFCCRaw.hs delete mode 100644 src/GF/GFCC/Raw/ConvertGFCC.hs delete mode 100644 src/GF/GFCC/Raw/GFCCRaw.cf delete mode 100644 src/GF/GFCC/Raw/ParGFCCRaw.hs delete mode 100644 src/GF/GFCC/Raw/PrintGFCCRaw.hs delete mode 100644 src/GF/GFCC/ShowLinearize.hs delete mode 100644 src/GF/GFCC/SkelGFCC.hs delete mode 100644 src/GF/GFCC/TestGFCC.hs delete mode 100644 src/GF/GFCC/doc/Eng.gf delete mode 100644 src/GF/GFCC/doc/Ex.gf delete mode 100644 src/GF/GFCC/doc/Swe.gf delete mode 100644 src/GF/GFCC/doc/Test.gf delete mode 100644 src/GF/GFCC/doc/gfcc.html delete mode 100644 src/GF/GFCC/doc/gfcc.txt delete mode 100644 src/GF/GFCC/doc/old-GFCC.cf delete mode 100644 src/GF/GFCC/doc/old-gfcc.txt delete mode 100644 src/GF/GFCC/doc/syntax.txt delete mode 100644 src/GF/GFModes.hs delete mode 100644 src/GF/Grammar/AbsCompute.hs delete mode 100644 src/GF/Grammar/Abstract.hs delete mode 100644 src/GF/Grammar/AppPredefined.hs delete mode 100644 src/GF/Grammar/Compute.hs delete mode 100644 src/GF/Grammar/Grammar.hs delete mode 100644 src/GF/Grammar/Lockfield.hs delete mode 100644 src/GF/Grammar/LookAbs.hs delete mode 100644 src/GF/Grammar/Lookup.hs delete mode 100644 src/GF/Grammar/MMacros.hs delete mode 100644 src/GF/Grammar/Macros.hs delete mode 100644 src/GF/Grammar/PatternMatch.hs delete mode 100644 src/GF/Grammar/PrGrammar.hs delete mode 100644 src/GF/Grammar/Refresh.hs delete mode 100644 src/GF/Grammar/ReservedWords.hs delete mode 100644 src/GF/Grammar/SGrammar.hs delete mode 100644 src/GF/Grammar/TC.hs delete mode 100644 src/GF/Grammar/TypeCheck.hs delete mode 100644 src/GF/Grammar/Unify.hs delete mode 100644 src/GF/Grammar/Values.hs delete mode 100644 src/GF/IDE/IDECommands.hs delete mode 100644 src/GF/Infra/CheckM.hs delete mode 100644 src/GF/Infra/Comments.hs delete mode 100644 src/GF/Infra/CompactPrint.hs delete mode 100644 src/GF/Infra/Ident.hs delete mode 100644 src/GF/Infra/Modules.hs delete mode 100644 src/GF/Infra/Option.hs delete mode 100644 src/GF/Infra/Print.hs delete mode 100644 src/GF/Infra/PrintClass.hs delete mode 100644 src/GF/Infra/ReadFiles.hs delete mode 100644 src/GF/Infra/UseIO.hs delete mode 100644 src/GF/JavaScript/AbsJS.hs delete mode 100644 src/GF/JavaScript/JS.cf delete mode 100644 src/GF/JavaScript/LexJS.hs delete mode 100644 src/GF/JavaScript/LexJS.x delete mode 100644 src/GF/JavaScript/Makefile delete mode 100644 src/GF/JavaScript/ParJS.hs delete mode 100644 src/GF/JavaScript/ParJS.y delete mode 100644 src/GF/JavaScript/PrintJS.hs delete mode 100644 src/GF/JavaScript/SkelJS.hs delete mode 100644 src/GF/JavaScript/TestJS.hs delete mode 100644 src/GF/OldParsing/CFGrammar.hs delete mode 100644 src/GF/OldParsing/ConvertFiniteGFC.hs delete mode 100644 src/GF/OldParsing/ConvertFiniteSimple.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoMCFG.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoMCFG/Coercions.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoMCFG/Nondet.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoMCFG/Old.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoMCFG/Strict.hs delete mode 100644 src/GF/OldParsing/ConvertGFCtoSimple.hs delete mode 100644 src/GF/OldParsing/ConvertGrammar.hs delete mode 100644 src/GF/OldParsing/ConvertMCFGtoCFG.hs delete mode 100644 src/GF/OldParsing/ConvertSimpleToMCFG.hs delete mode 100644 src/GF/OldParsing/ConvertSimpleToMCFG/Coercions.hs delete mode 100644 src/GF/OldParsing/ConvertSimpleToMCFG/Nondet.hs delete mode 100644 src/GF/OldParsing/ConvertSimpleToMCFG/Old.hs delete mode 100644 src/GF/OldParsing/ConvertSimpleToMCFG/Strict.hs delete mode 100644 src/GF/OldParsing/GCFG.hs delete mode 100644 src/GF/OldParsing/GeneralChart.hs delete mode 100644 src/GF/OldParsing/GrammarTypes.hs delete mode 100644 src/GF/OldParsing/IncrementalChart.hs delete mode 100644 src/GF/OldParsing/MCFGrammar.hs delete mode 100644 src/GF/OldParsing/ParseCF.hs delete mode 100644 src/GF/OldParsing/ParseCFG.hs delete mode 100644 src/GF/OldParsing/ParseCFG/General.hs delete mode 100644 src/GF/OldParsing/ParseCFG/Incremental.hs delete mode 100644 src/GF/OldParsing/ParseGFC.hs delete mode 100644 src/GF/OldParsing/ParseMCFG.hs delete mode 100644 src/GF/OldParsing/ParseMCFG/Basic.hs delete mode 100644 src/GF/OldParsing/SimpleGFC.hs delete mode 100644 src/GF/OldParsing/Utilities.hs delete mode 100644 src/GF/Parsing/CF.hs delete mode 100644 src/GF/Parsing/CFG.hs delete mode 100644 src/GF/Parsing/CFG/General.hs delete mode 100644 src/GF/Parsing/CFG/Incremental.hs delete mode 100644 src/GF/Parsing/CFG/PInfo.hs delete mode 100644 src/GF/Parsing/FCFG.hs delete mode 100644 src/GF/Parsing/FCFG/Active.hs delete mode 100644 src/GF/Parsing/FCFG/Incremental.hs delete mode 100644 src/GF/Parsing/FCFG/PInfo.hs delete mode 100644 src/GF/Parsing/FCFG/Range.hs delete mode 100644 src/GF/Parsing/GFC.hs delete mode 100644 src/GF/Parsing/MCFG.hs delete mode 100644 src/GF/Parsing/MCFG/Active.hs delete mode 100644 src/GF/Parsing/MCFG/Active2.hs delete mode 100644 src/GF/Parsing/MCFG/FastActive.hs delete mode 100644 src/GF/Parsing/MCFG/Incremental.hs delete mode 100644 src/GF/Parsing/MCFG/Incremental2.hs delete mode 100644 src/GF/Parsing/MCFG/Naive.hs delete mode 100644 src/GF/Parsing/MCFG/PInfo.hs delete mode 100644 src/GF/Parsing/MCFG/Range.hs delete mode 100644 src/GF/Parsing/MCFG/ViaCFG.hs delete mode 100644 src/GF/Printing/PrintParser.hs delete mode 100644 src/GF/Printing/PrintSimplifiedTerm.hs delete mode 100644 src/GF/Probabilistic/Probabilistic.hs delete mode 100644 src/GF/Shell.hs delete mode 100644 src/GF/Shell/CommandL.hs delete mode 100644 src/GF/Shell/Commands.hs delete mode 100644 src/GF/Shell/HelpFile.hs delete mode 100644 src/GF/Shell/JGF.hs delete mode 100644 src/GF/Shell/PShell.hs delete mode 100644 src/GF/Shell/ShellCommands.hs delete mode 100644 src/GF/Shell/SubShell.hs delete mode 100644 src/GF/Shell/TeachYourself.hs delete mode 100644 src/GF/Source/AbsGF.hs delete mode 100644 src/GF/Source/ErrM.hs delete mode 100644 src/GF/Source/GF.cf delete mode 100644 src/GF/Source/GrammarToSource.hs delete mode 100644 src/GF/Source/LexGF.hs delete mode 100644 src/GF/Source/LexGF.x delete mode 100644 src/GF/Source/ParGF.hs delete mode 100644 src/GF/Source/ParGF.y delete mode 100644 src/GF/Source/PrintGF.hs delete mode 100644 src/GF/Source/SkelGF.hs delete mode 100644 src/GF/Source/SourceToGrammar.hs delete mode 100644 src/GF/Source/TestGF.hs delete mode 100644 src/GF/Speech/CFGToFiniteState.hs delete mode 100644 src/GF/Speech/FiniteState.hs delete mode 100644 src/GF/Speech/GrammarToVoiceXML.hs delete mode 100644 src/GF/Speech/Graph.hs delete mode 100644 src/GF/Speech/PrFA.hs delete mode 100644 src/GF/Speech/PrGSL.hs delete mode 100644 src/GF/Speech/PrJSGF.hs delete mode 100644 src/GF/Speech/PrRegExp.hs delete mode 100644 src/GF/Speech/PrSLF.hs delete mode 100644 src/GF/Speech/PrSRGS.hs delete mode 100644 src/GF/Speech/PrSRGS_ABNF.hs delete mode 100644 src/GF/Speech/RegExp.hs delete mode 100644 src/GF/Speech/Relation.hs delete mode 100644 src/GF/Speech/RelationQC.hs delete mode 100644 src/GF/Speech/SISR.hs delete mode 100644 src/GF/Speech/SRG.hs delete mode 100644 src/GF/Speech/TransformCFG.hs delete mode 100644 src/GF/System/ATKSpeechInput.hs delete mode 100644 src/GF/System/Arch.hs delete mode 100644 src/GF/System/ArchEdit.hs delete mode 100644 src/GF/System/NoReadline.hs delete mode 100644 src/GF/System/NoSignal.hs delete mode 100644 src/GF/System/NoSpeechInput.hs delete mode 100644 src/GF/System/Readline.hs delete mode 100644 src/GF/System/Signal.hs delete mode 100644 src/GF/System/SpeechInput.hs delete mode 100644 src/GF/System/Tracing.hs delete mode 100644 src/GF/System/UseReadline.hs delete mode 100644 src/GF/System/UseSignal.hs delete mode 100644 src/GF/Text/Arabic.hs delete mode 100644 src/GF/Text/Devanagari.hs delete mode 100644 src/GF/Text/Ethiopic.hs delete mode 100644 src/GF/Text/ExtendedArabic.hs delete mode 100644 src/GF/Text/ExtraDiacritics.hs delete mode 100644 src/GF/Text/Greek.hs delete mode 100644 src/GF/Text/Hebrew.hs delete mode 100644 src/GF/Text/Hiragana.hs delete mode 100644 src/GF/Text/LatinASupplement.hs delete mode 100644 src/GF/Text/OCSCyrillic.hs delete mode 100644 src/GF/Text/Russian.hs delete mode 100644 src/GF/Text/Tamil.hs delete mode 100644 src/GF/Text/Text.hs delete mode 100644 src/GF/Text/Thai.hs delete mode 100644 src/GF/Text/UTF8.hs delete mode 100644 src/GF/Text/Unicode.hs delete mode 100644 src/GF/Translate/GFT.hs delete mode 100644 src/GF/UseGrammar/Custom.hs delete mode 100644 src/GF/UseGrammar/Editing.hs delete mode 100644 src/GF/UseGrammar/Generate.hs delete mode 100644 src/GF/UseGrammar/GetTree.hs delete mode 100644 src/GF/UseGrammar/Information.hs delete mode 100644 src/GF/UseGrammar/Linear.hs delete mode 100644 src/GF/UseGrammar/MatchTerm.hs delete mode 100644 src/GF/UseGrammar/Morphology.hs delete mode 100644 src/GF/UseGrammar/Paraphrases.hs delete mode 100644 src/GF/UseGrammar/Parsing.hs delete mode 100644 src/GF/UseGrammar/Randomized.hs delete mode 100644 src/GF/UseGrammar/Session.hs delete mode 100644 src/GF/UseGrammar/Statistics.hs delete mode 100644 src/GF/UseGrammar/Tokenize.hs delete mode 100644 src/GF/UseGrammar/Transfer.hs delete mode 100644 src/GF/UseGrammar/TreeSelections.hs delete mode 100644 src/GF/UseGrammar/Treebank.hs delete mode 100644 src/GF/Visualization/Graphviz.hs delete mode 100644 src/GF/Visualization/VisualizeGrammar.hs delete mode 100644 src/GF/Visualization/VisualizeTree.hs delete mode 100644 src/HelpFile delete mode 100644 src/INSTALL delete mode 100644 src/INSTALL.binary delete mode 100644 src/JavaGUI/DynamicTree.java delete mode 100644 src/JavaGUI/DynamicTree2.java delete mode 100644 src/JavaGUI/GFEditor.java delete mode 100644 src/JavaGUI/GFEditor2.java delete mode 100644 src/JavaGUI/GrammarFilter.java delete mode 100644 src/JavaGUI/LinPosition.java delete mode 100644 src/JavaGUI/MarkedArea.java delete mode 100644 src/JavaGUI/Numerals.java delete mode 100644 src/JavaGUI/Utils.java delete mode 100644 src/JavaGUI/manifest.txt delete mode 100644 src/JavaGUI/runNumerals delete mode 100644 src/JavaGUI2/LICENCE_jargs delete mode 100644 src/JavaGUI2/ManifestMain.txt delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AbstractProber.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/AstNodeData.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ChainCommandTuple.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ConstraintCallback.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Display.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/DynamicTree2.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ExportFormatMenu.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFCommand.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfAstNode.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfCapsule.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GfeditResult.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Hmsg.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/InputCommand.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LanguageManager.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinPosition.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Linearization.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/LinkCommand.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedArea.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/MarkedAreaHighlightingStatus.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/NewCategoryMenuResult.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/NoLineBreakFormatter.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameLoader.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/PrintnameManager.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ReadDialog.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RealCommand.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinedAstNodeData.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinementMenu.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinementMenuCollector.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/RefinementMenuTransformer.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/SelfPropertiesCommand.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/SelfResultProber.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/StringTuple.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/SubtypingProber.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/ToolTipCellRenderer.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TreeAnalyser.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TreeAnalysisResult.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/TypesLoader.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/UnrefinedAstNodeData.java delete mode 100644 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java delete mode 100644 src/JavaGUI2/gf-icon.gif delete mode 100644 src/JavaGUI2/jargs-1.0.jar delete mode 100644 src/Makefile delete mode 100644 src/Makefile.binary delete mode 100644 src/ReleaseProcedure delete mode 100644 src/Setup.lhs delete mode 100644 src/Transfer/CompilerAPI.hs delete mode 100644 src/Transfer/Core/Abs.hs delete mode 100644 src/Transfer/Core/Core.cf delete mode 100644 src/Transfer/Core/Doc.tex delete mode 100644 src/Transfer/Core/Lex.hs delete mode 100644 src/Transfer/Core/Lex.x delete mode 100644 src/Transfer/Core/Par.hs delete mode 100644 src/Transfer/Core/Par.y delete mode 100644 src/Transfer/Core/Print.hs delete mode 100644 src/Transfer/Core/Skel.hs delete mode 100644 src/Transfer/Core/Test.hs delete mode 100644 src/Transfer/ErrM.hs delete mode 100644 src/Transfer/Interpreter.hs delete mode 100644 src/Transfer/InterpreterAPI.hs delete mode 100644 src/Transfer/PathUtil.hs delete mode 100644 src/Transfer/Syntax/Abs.hs delete mode 100644 src/Transfer/Syntax/Doc.tex delete mode 100644 src/Transfer/Syntax/Layout.hs delete mode 100644 src/Transfer/Syntax/Lex.hs delete mode 100644 src/Transfer/Syntax/Lex.x delete mode 100644 src/Transfer/Syntax/Par.hs delete mode 100644 src/Transfer/Syntax/Par.y delete mode 100644 src/Transfer/Syntax/Print.hs delete mode 100644 src/Transfer/Syntax/ResolveLayout.hs delete mode 100644 src/Transfer/Syntax/Skel.hs delete mode 100644 src/Transfer/Syntax/Syntax.cf delete mode 100644 src/Transfer/Syntax/Test.hs delete mode 100644 src/Transfer/SyntaxToCore.hs delete mode 100644 src/config.guess delete mode 100644 src/config.mk.in delete mode 100644 src/config.sub delete mode 100644 src/configure.ac delete mode 100644 src/exper/Evaluate.hs delete mode 100644 src/exper/Optimize.hs delete mode 100644 src/gf.spec delete mode 100644 src/gf.wxs.in delete mode 100644 src/gf_atk.cfg delete mode 100644 src/gfc.in delete mode 100644 src/gfeditor.in delete mode 100644 src/haddock/haddock-check.perl delete mode 100644 src/haddock/haddock-script.csh delete mode 100644 src/haddock/resources/blank.html delete mode 100644 src/haddock/resources/index.html delete mode 100644 src/install-sh delete mode 100644 src/jgf.bat delete mode 100644 src/jgf.in delete mode 100644 src/module-structure.txt delete mode 100644 src/tools/AlphaConvGF.hs delete mode 100644 src/tools/GFDoc.hs delete mode 100644 src/tools/Htmls.hs delete mode 100644 src/tools/MkHelpFile.hs delete mode 100644 src/tools/WriteF.hs delete mode 100644 src/tools/c++/README delete mode 100644 src/tools/c++/exgf.gft delete mode 100644 src/tools/c++/gfex.cpp delete mode 100644 src/tools/c++/peace.gft delete mode 100644 src/tools/c/GFCC/Abs.hs delete mode 100644 src/tools/c/GFCC/ComposOp.hs delete mode 100644 src/tools/c/GFCC/ErrM.hs delete mode 100644 src/tools/c/GFCC/Lex.hs delete mode 100644 src/tools/c/GFCC/Lex.x delete mode 100644 src/tools/c/GFCC/Par.hs delete mode 100644 src/tools/c/GFCC/Par.y delete mode 100644 src/tools/c/GFCC/Print.hs delete mode 100644 src/tools/c/GFCC/Test.hs delete mode 100644 src/tools/c/Makefile delete mode 100644 src/tools/c/examples/bronzeage/Makefile delete mode 100644 src/tools/c/examples/bronzeage/bronzeage-test.c delete mode 100644 src/tools/c/gfcc2c.hs delete mode 100644 src/tools/mkHelpFile.perl diff --git a/src/FILES b/src/FILES deleted file mode 100644 index 1311108b6..000000000 --- a/src/FILES +++ /dev/null @@ -1,260 +0,0 @@ - -Code map for GF source files. - -$Author: peb $ -$Date: 2005/02/07 10:58:08 $ - -Directories: - -[top level] GF main function and runtime-related modules -api high-level access to GF functionalities -canonical GFC (= GF Canonical) basic functionalities -cf context-free skeleton used in parsing -cfgm multilingual context-free skeleton exported to Java -compile compilation phases from GF to GFC -conversions [OBSOLETE] formats used in parser generation -for-ghc GHC-specific files (Glasgow Haskell Compiler) -for-hugs Hugs-specific files (a Haskell interpreter) -for-windows Windows-specific files (an operating system from Microsoft) -grammar basic functionalities of GF grammars used in compilation -infra GF-independent infrastructure and auxiliaries -newparsing parsing with GF grammars: current version (cf. parsing) -notrace debugging utilities for parser development (cf. trace) -parsers parsers of GF and GFC files -parsing [OBSOLETE] parsing with GF grammars: old version (cf. newparsing) -shell interaction shells -source utilities for reading in GF source files -speech generation of speech recognition grammars -trace debugging utilities for parser development (cf. notrace) -useGrammar grammar functionalities for applications -util utilities for using GF - - -Individual files: - -GF.hs the Main module -GFModes.hs -HelpFile.hs [AUTO] help file generated by util/MkHelpFile -Today.hs [AUTO] file generated by "make today" - -api/API.hs high-level access to GF functionalities -api/BatchTranslate.hs -api/GetMyTree.hs -api/GrammarToHaskell.hs -api/IOGrammar.hs -api/MyParser.hs slot for defining your own parser - -canonical/AbsGFC.hs [AUTO] abstract syntax of GFC -canonical/CanonToGrammar.hs -canonical/CMacros.hs -canonical/ErrM.hs -canonical/GetGFC.hs -canonical/GFC.cf [LBNF] source of GFC parser -canonical/GFC.hs -canonical/LexGFC.hs -canonical/Look.hs -canonical/MkGFC.hs -canonical/PrExp.hs -canonical/PrintGFC.hs pretty-printer of GFC -canonical/Share.hs -canonical/SkelGFC.hs [AUTO] -canonical/TestGFC.hs [AUTO] -canonical/Unlex.hs - -cf/CanonToCF.hs -cf/CF.hs abstract syntax of context-free grammars -cf/CFIdent.hs -cf/CFtoGrammar.hs -cf/CFtoSRG.hs -cf/ChartParser.hs the current default parsing method -cf/EBNF.hs -cf/PPrCF.hs -cf/PrLBNF.hs -cf/Profile.hs - -cfgm/CFG.cf [LBNF] source -cfgm/AbsCFG.hs [AUTO] -cfgm/LexCFG.hs [AUTO] -cfgm/ParCFG.hs [AUTO] -cfgm/PrintCFG.hs [AUTO] -cfgm/PrintCFGrammar.hs - -compile/CheckGrammar.hs -compile/Compile.hs the complete compiler pipeline -compile/Extend.hs -compile/GetGrammar.hs -compile/GrammarToCanon.hs -compile/MkResource.hs -compile/MkUnion.hs -compile/ModDeps.hs -compile/Optimize.hs -compile/PGrammar.hs -compile/PrOld.hs -compile/Rebuild.hs -compile/RemoveLiT.hs -compile/Rename.hs -compile/ShellState.hs the run-time multilingual grammar datastructure -compile/Update.hs - -for-ghc/ArchEdit.hs -for-ghc/Arch.hs - -for-ghc-nofud/ArchEdit.hs@ -for-ghc-nofud/Arch.hs@ - -for-hugs/ArchEdit.hs -for-hugs/Arch.hs -for-hugs/JGF.hs -for-hugs/MoreCustom.hs -for-hugs/Unicode.hs - -for-hugs/Arch.hs -for-hugs/ArchEdit.hs -for-hugs/JGF.hs -for-hugs/LexCFG.hs dummy CFG lexer -for-hugs/LexGF.hs dummy GF lexer -for-hugs/LexGFC.hs dummy GFC lexer -for-hugs/MoreCustom.hs -for-hugs/ParCFG.hs dummy CFG parser -for-hugs/ParGFC.hs dummy GFC parser -for-hugs/ParGF.hs dummy GF parser -for-hugs/Tracing.hs -for-hugs/Unicode.hs - -for-windows/ArchEdit.hs -for-windows/Arch.hs - -grammar/AbsCompute.hs -grammar/Abstract.hs GF and GFC abstract syntax datatypes -grammar/AppPredefined.hs -grammar/Compute.hs -grammar/Grammar.hs GF source grammar datatypes -grammar/LookAbs.hs -grammar/Lookup.hs -grammar/Macros.hs macros for creating GF terms and types -grammar/MMacros.hs more macros, mainly for abstract syntax -grammar/PatternMatch.hs -grammar/PrGrammar.hs the top-level grammar printer -grammar/Refresh.hs -grammar/ReservedWords.hs -grammar/TC.hs Coquand's type checking engine -grammar/TypeCheck.hs -grammar/Unify.hs -grammar/Values.hs - -infra/Arabic.hs ASCII coding of Arabic Unicode -infra/Assoc.hs finite maps/association lists as binary search trees -infra/CheckM.hs -infra/Comments.hs -infra/Devanagari.hs ASCII coding of Devanagari Unicode -infra/ErrM.hs -infra/Ethiopic.hs -infra/EventF.hs -infra/ExtendedArabic.hs -infra/ExtraDiacritics.hs -infra/FudgetOps.hs -infra/Glue.hs -infra/Greek.hs -infra/Hebrew.hs -infra/Hiragana.hs -infra/Ident.hs -infra/LatinASupplement.hs -infra/Map.hs finite maps as red black trees -infra/Modules.hs -infra/OCSCyrillic.hs -infra/Operations.hs library of strings, search trees, error monads -infra/Option.hs -infra/OrdMap2.hs abstract class of finite maps + implementation as association lists -infra/OrdSet.hs abstract class of sets + implementation as sorted lists -infra/Parsers.hs -infra/ReadFiles.hs -infra/RedBlack.hs red black trees -infra/RedBlackSet.hs sets and maps as red black trees -infra/Russian.hs -infra/SortedList.hs sets as sorted lists -infra/Str.hs -infra/Tamil.hs -infra/Text.hs -infra/Trie2.hs -infra/Trie.hs -infra/UnicodeF.hs -infra/Unicode.hs -infra/UseIO.hs -infra/UTF8.hs UTF3 en/decoding -infra/Zipper.hs - -newparsing/CFGrammar.hs type definitions for context-free grammars -newparsing/CFParserGeneral.hs several variants of general CFG chart parsing -newparsing/CFParserIncremental.hs several variants of incremental (Earley-style) CFG chart parsing -newparsing/ConvertGFCtoMCFG.hs converting GFC to MCFG -newparsing/ConvertGrammar.hs conversions between different grammar formats -newparsing/ConvertMCFGtoCFG.hs converting MCFG to CFG -newparsing/GeneralChart.hs Haskell framework for "parsing as deduction" -newparsing/GrammarTypes.hs instantiations of grammar types -newparsing/IncrementalChart.hs Haskell framework for incremental chart parsing -newparsing/MCFGrammar.hs type definitions for multiple CFG -newparsing/MCFParserBasic.hs MCFG chart parser -newparsing/MCFRange.hs ranges for MCFG parsing -newparsing/ParseCFG.hs parsing of CFG -newparsing/ParseCF.hs parsing of the CF format -newparsing/ParseGFC.hs parsing of GFC -newparsing/ParseMCFG.hs parsing of MCFG -newparsing/Parser.hs general definitions for parsers -newparsing/PrintParser.hs pretty-printing class for parsers -newparsing/PrintSimplifiedTerm.hs simplified pretty-printing for GFC terms - -notrace/Tracing.hs tracing predicates when we DON'T want tracing capabilities (normal case) - -parsers/ParGFC.hs [AUTO] -parsers/ParGF.hs [AUTO] - -shell/CommandF.hs -shell/CommandL.hs line-based syntax of editor commands -shell/Commands.hs commands of GF editor shell -shell/IDE.hs -shell/JGF.hs -shell/PShell.hs -shell/ShellCommands.hs commands of GF main shell -shell/Shell.hs -shell/SubShell.hs -shell/TeachYourself.hs - -source/AbsGF.hs [AUTO] -source/ErrM.hs -source/GF.cf [LBNF] source of GF parser -source/GrammarToSource.hs -source/LexGF.hs [AUTO] -source/PrintGF.hs [AUTO] -source/SourceToGrammar.hs - -speech/PrGSL.hs -speech/PrJSGF.hs -speech/SRG.hs -speech/TransformCFG.hs - -trace/Tracing.hs tracing predicates when we want tracing capabilities - -translate/GFT.hs Main module of html-producing batch translator - -useGrammar/Custom.hs database for customizable commands -useGrammar/Editing.hs -useGrammar/Generate.hs -useGrammar/GetTree.hs -useGrammar/Information.hs -useGrammar/Linear.hs the linearization algorithm -useGrammar/MoreCustom.hs -useGrammar/Morphology.hs -useGrammar/Paraphrases.hs -useGrammar/Parsing.hs the top-level parsing algorithm -useGrammar/Randomized.hs -useGrammar/RealMoreCustom.hs -useGrammar/Session.hs -useGrammar/TeachYourself.hs -useGrammar/Tokenize.hs lexer definitions (listed in Custom) -useGrammar/Transfer.hs - -util/GFDoc.hs utility for producing LaTeX and HTML from GF -util/HelpFile source of ../HelpFile.hs -util/Htmls.hs utility for chopping a HTML document to slides -util/MkHelpFile.hs -util/WriteF.hs diff --git a/src/GF-embed.cabal b/src/GF-embed.cabal deleted file mode 100644 index 54dce00b6..000000000 --- a/src/GF-embed.cabal +++ /dev/null @@ -1,52 +0,0 @@ -Name: gf-embed -Version: 2.8 -Cabal-version: >= 1.2 -Build-type: Simple -License: GPL -License-file: ../LICENSE -Synopsis: Grammatical Framework embedded API. - -Flag split-base - -Library - Build-depends: mtl, haskell98 - if flag(split-base) - Build-depends: base >= 3.0, array, containers, directory, random - else - Build-depends: base < 3.0 - Ghc-options: -O2 - Extensions: - Exposed-Modules: - GF.GFCC.API - -- needed by code generated by -haskell - GF.GFCC.DataGFCC - GF.GFCC.CId - Other-modules: - GF.Conversion.SimpleToFCFG - GF.Data.Assoc - GF.Data.Utilities - GF.Data.SortedList - GF.Data.BacktrackM - GF.Data.ErrM - GF.Data.GeneralDeduction - GF.Data.RedBlackSet - GF.Text.UTF8 - GF.Infra.CompactPrint - GF.Infra.PrintClass - GF.Formalism.FCFG - GF.Formalism.Utilities - GF.Parsing.FCFG - GF.Parsing.FCFG.PInfo - GF.Parsing.FCFG.Range - GF.Parsing.FCFG.Active - GF.Command.PPrTree - GF.Command.AbsGFShell - GF.Command.PrintGFShell - GF.Command.ParGFShell - GF.Command.LexGFShell - GF.GFCC.Macros - GF.GFCC.Generate - GF.GFCC.Linearize - GF.GFCC.Raw.AbsGFCCRaw - GF.GFCC.Raw.ParGFCCRaw - GF.GFCC.Raw.ConvertGFCC diff --git a/src/GF.hs b/src/GF.hs deleted file mode 100644 index 50afeb8e9..000000000 --- a/src/GF.hs +++ /dev/null @@ -1,153 +0,0 @@ -{-# OPTIONS -cpp #-} ----------------------------------------------------------------------- --- | --- Module : Main --- Maintainer : Aarne Ranta --- Stability : (stability) --- Portability : (portability) --- --- > CVS $Date: 2005/06/30 11:36:49 $ --- > CVS $Author: aarne $ --- > CVS $Revision: 1.29 $ --- --- The Main module of GF program. ------------------------------------------------------------------------------ - -module Main (main) where - -import GF.GFModes (gfInteract, gfBatch, batchCompile) -import GF.Data.Operations -import GF.Infra.UseIO -import GF.Infra.Option -import GF.API.IOGrammar -import GF.Compile.ShellState -import GF.Compile.Compile -import GF.Compile.MkConcrete -import GF.Compile.Wordlist -import GF.Shell -import GF.Shell.SubShell -import GF.Shell.ShellCommands -import GF.Shell.PShell -import GF.Shell.JGF -import GF.System.Signal -import GF.Text.UTF8 - -import GF.Today (today,version,libdir) -import GF.System.Arch -import System (getArgs,system,getEnv) -import System.FilePath -import Control.Monad (foldM,liftM) -import Data.List (nub) - -#ifdef mingw32_HOST_OS -import System.Win32.Console -import System.Win32.NLS -#endif - --- AR 19/4/2000 -- 21/3/2006 - -main :: IO () -main = do -#ifdef mingw32_HOST_OS - codepage <- getACP - setConsoleCP codepage - setConsoleOutputCP codepage -#endif - - xs <- getArgs - let - (os,fs) = getOptions "-" xs - opt j = oElem j os - st0 = optInitShellState os - ifNotSil c = if oElem beSilent os then return () else c - - doGF os fs = case 0 of - - _ | opt getHelp || any opt (map iOpt ["h", "-help", "-h"])-> do - putStrLnFlush $ encodeUTF8 helpMsg - - _ | opt forJava -> do - welcome <- welcomeMsgLib - putStrLnFlush $ encodeUTF8 welcome - st <- useIOE st0 $ - foldM (shellStateFromFiles os) st0 fs - sessionLineJ True st - return () - - _ | opt doMake -> do - mapM_ (batchCompile os) fs - return () - - _ | opt makeConcrete -> do - mkConcretes os fs - - _ | opt openEditor -> do - system $ "jgf" +++ unwords xs - return () - - _ | opt doBatch -> do - if opt beSilent then return () else putStrLnFlush "" - st <- useIOE st0 $ - foldM (shellStateFromFiles os) st0 fs - gfBatch (initHState st) - if opt beSilent then return () else putStrLnFlush "" - return () - _ -> do - welcome <- welcomeMsgLib - ifNotSil $ putStrLnFlush $ welcome - st <- useIOE st0 $ - foldM (shellStateFromFiles os) st0 fs - if null fs then return () else (ifNotSil putCPU) - blockInterrupt (gfInteract (initHState st)) - return () - -- preprocessing gfe - if opt fromExamples - then do - es <- liftM (nub . concat) $ mapM (getGFEFiles os) fs - mkConcretes os es - doGF (removeOption fromExamples os) fs - -- preprocessing gfwl - else if (length fs == 1 && takeExtensions (head fs) == ".gfwl") - then do - fs' <- mkWordlist (head fs) - doGF os fs' - else doGF os fs - -helpMsg = unlines [ - "Usage: gf