clafer-0.3.6: clafer.cabal
Name: clafer
Version: 0.3.6
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 Bąk, Jimmy Liang, Michał Antkiewicz, Chris Walker, Luke Michael Brown
Maintainer: Michał Antkiewicz <mantkiew@gsd.uwaterloo.ca>
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,
string-conversions >= 0.3.0.2,
cmdargs >= 0.10.7,
executable-path >= 0.0.3,
glpk-hs >= 0.3.4,
HaXml == 1.24,
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
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,
string-conversions >= 0.3.0.2,
cmdargs >= 0.10.7,
executable-path >= 0.0.3,
glpk-hs >= 0.3.4,
HaXml == 1.24,
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
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,
string-conversions >= 0.3.0.2,
cmdargs >= 0.10.7,
executable-path >= 0.0.3,
glpk-hs >= 0.3.4,
HaXml == 1.24,
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
ghc-options: -Wall -fno-warn-unused-do-bind -fno-warn-orphans
other-modules: Paths_clafer,
Functions,
Suite.Example,
Suite.Positive,
Suite.Negative,
Suite.SimpleScopeAnalyser