| Name | Date | Size | |
|---|---|---|---|
| .. | 2015-02-16 13:50:31 | 44 | |
| ChaseImports.hs | 2012-08-17 16:32:55 | 4.3 KiB | |
| CommandP.hs | 2010-09-10 17:48:54 | 1.6 KiB | |
| DataP.hs | 2010-09-10 17:48:54 | 5 KiB | |
| DrIFT.hs | 2010-08-10 02:02:03 | 2.5 KiB | |
| hets-drift.cabal | 2009-08-25 02:10:22 | 1.1 KiB | |
| Makefile | 2010-08-10 02:02:03 | 270 | |
| ParseLib2.hs | 2015-02-16 13:50:31 | 8.6 KiB | |
| README.Hets-DrIFT | 2009-08-25 02:03:53 | 1.1 KiB | |
| RuleUtils.hs | 2011-08-04 15:33:01 | 4.1 KiB | |
| UserRulesHetCATS.hs | 2014-02-21 01:17:37 | 12.6 KiB |
README.Hets-DrIFT
These source files are adapted for the special purposes of Hets!
For the original or most recent sources, license, and authors see:
Source files containing DrIFT directives have extension .der.hs and are
converted to .hs files via the (GNU) make-rule:
%.hs: %.der.hs DrIFT
$(RM) $@
DrIFT $< > $@
The environment variable DERIVEPATH can be set to find sources in other paths.
Imported modules that are not found are simply ignored.
For individual types example directives are:
{-! for Common.Id.Pos derive : Typeable !-}
{-! for Common.Id.Range derive : Typeable !-}
{-! for Common.Id.Pos derive : ShATermConvertible !-}
{-! for Common.Id.Range derive : ShATermConvertible !-}
Instances (for the class getRange) of all types of a file are created by the
directive:
{-! global: GetRange !-}
(Instances for the class Binary can also be created.)
Furthermore the class ShATermLG (and BinaryLG) with an additional logic graph
argument when reading in (for some existential types) is supported. But the
instances created for existential types need to be corrected manually!
(We don't use DrIFT in any other way.)