Name: clafer Version: 0.3.6.1 x-revision: 1 Synopsis: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot. Description: Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools. Homepage: http://clafer.org License: MIT License-file: LICENSE Author: Kacper Ba…k, Jimmy Liang, Michal‚ Antkiewicz, Chris Walker, Luke Michael Brown Maintainer: Michal Antkiewicz Stability: Experimental Category: Model Build-type: Simple Cabal-version: >= 1.18 data-files: README.md, CHANGES.md, logo.pdf, IDEs/clafer-README.md, IDEs/sublime-text-2/Packages/User/clafer.sublime-build Makefile, tools/XsdCheck.java, tools/XsdCheck.class, tools/ecore2clafer.jar, tools/Makefile source-repository head type: git location: git://github.com/gsdlab/clafer.git Executable clafer build-tools: ghc >= 7.6.3 default-language: Haskell2010 default-extensions: DeriveDataTypeable, RankNTypes main-is: clafer.hs build-depends: array >= 0.4.0.1, base >= 4.6.0.1 && < 5, containers >= 0.5.0.0, directory >= 1.2.0.1, filepath >= 1.3.0.1, process >= 1.1.0.2, HUnit >= 1.2.5.2, mtl >= 2.1.2, parsec >= 3.1.3, QuickCheck >= 2.6, transformers >= 0.3.0.0, data-stringmap >= 1.0.1.1, aeson >= 0.7.0.2, json-builder >= 0.3, lens >= 4.1.1 && < 4.2, string-conversions >= 0.3.0.2, cmdargs >= 0.10.7, executable-path >= 0.0.3, glpk-hs >= 0.3.4, MaybeT >= 0.1.2, split >= 0.2.2, test-framework >= 0.8.0.3, test-framework-hunit >= 0.3.0.1, test-framework-quickcheck2 >= 0.3.0.2, test-framework-th >= 0.2.4, text >= 0.11.3.1, clafer == 0.3.6.1 if os(windows) build-depends: HaXml == 1.24 else build-depends: HaXml >= 1.24 hs-source-dirs: src other-modules: Paths_clafer library build-tools: ghc >= 7.6.3 default-language: Haskell2010 default-extensions: DeriveDataTypeable, RankNTypes build-depends: array >= 0.4.0.1, base >= 4.6.0.1 && < 5, containers >= 0.5.0.0, directory >= 1.2.0.1, filepath >= 1.3.0.1, process >= 1.1.0.2, HUnit >= 1.2.5.2, mtl >= 2.1.2, parsec >= 3.1.3, QuickCheck >= 2.6, transformers >= 0.3.0.0, data-stringmap >= 1.0.1.1, aeson >= 0.7.0.2, json-builder >= 0.3, lens >= 4.1.1 && < 4.2, string-conversions >= 0.3.0.2, cmdargs >= 0.10.7, executable-path >= 0.0.3, glpk-hs >= 0.3.4, MaybeT >= 0.1.2, split >= 0.2.2, test-framework >= 0.8.0.3, test-framework-hunit >= 0.3.0.1, test-framework-quickcheck2 >= 0.3.0.2, test-framework-th >= 0.2.4, text >= 0.11.3.1 if os(windows) build-depends: HaXml == 1.24 else build-depends: HaXml >= 1.24 hs-source-dirs: src ghc-options: -Wall -fno-warn-unused-do-bind -fno-warn-orphans exposed-modules: Language.Clafer, Language.ClaferT, Language.Clafer.ClaferArgs, Language.Clafer.Comments, Language.Clafer.Common, Language.Clafer.Css, Language.Clafer.JSONMetaData, Language.Clafer.QNameUID, Language.Clafer.Front.Absclafer, Language.Clafer.Front.ErrM, Language.Clafer.Front.LayoutResolver, Language.Clafer.Front.Lexclafer, Language.Clafer.Front.Mapper, Language.Clafer.Front.Parclafer, Language.Clafer.Front.Printclafer, Language.Clafer.Generator.Alloy, Language.Clafer.Generator.Choco, Language.Clafer.Generator.Graph, Language.Clafer.Generator.Html, Language.Clafer.Generator.Python, Language.Clafer.Generator.Schema, Language.Clafer.Generator.Stats, Language.Clafer.Generator.Xml, Language.Clafer.Intermediate.Analysis, Language.Clafer.Intermediate.Desugarer, Language.Clafer.Intermediate.Intclafer, Language.Clafer.Intermediate.Resolver, Language.Clafer.Intermediate.ResolverInheritance, Language.Clafer.Intermediate.ResolverName, Language.Clafer.Intermediate.ResolverType, Language.Clafer.Intermediate.ScopeAnalysis, Language.Clafer.Intermediate.SimpleScopeAnalyzer, Language.Clafer.Intermediate.GLPKScopeAnalyzer, Language.Clafer.Intermediate.StringAnalyzer, Language.Clafer.Intermediate.Tracing, Language.Clafer.Intermediate.Transformer, Language.Clafer.Optimizer.Optimizer, Language.Clafer.SplitJoin other-modules: Paths_clafer Test-Suite test-suite build-tools: ghc >= 7.6.3 default-language: Haskell2010 type: exitcode-stdio-1.0 main-is: test-suite.hs hs-source-dirs: test build-depends: array >= 0.4.0.1, base >= 4.6.0.1 && < 5, containers >= 0.5.0.0, directory >= 1.2.0.1, filepath >= 1.3.0.1, process >= 1.1.0.2, HUnit >= 1.2.5.2, mtl >= 2.1.2, parsec >= 3.1.3, QuickCheck >= 2.6, transformers >= 0.3.0.0, data-stringmap >= 1.0.1.1, aeson >= 0.7.0.2, json-builder >= 0.3, lens >= 4.1.1 && < 4.2, string-conversions >= 0.3.0.2, cmdargs >= 0.10.7, executable-path >= 0.0.3, glpk-hs >= 0.3.4, MaybeT >= 0.1.2, split >= 0.2.2, test-framework >= 0.8.0.3, test-framework-hunit >= 0.3.0.1, test-framework-quickcheck2 >= 0.3.0.2, test-framework-th >= 0.2.4, text >= 0.11.3.1, clafer == 0.3.6.1 if os(windows) build-depends: HaXml == 1.24 else build-depends: HaXml >= 1.24 ghc-options: -Wall -fno-warn-unused-do-bind -fno-warn-orphans other-modules: Paths_clafer, Functions, Suite.Example, Suite.Positive, Suite.Negative, Suite.SimpleScopeAnalyser