Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
QVTR.ATC_QVTR
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
Transformation
Key
PropKey
Relation
RelVar
PrimitiveDomain
Domain
ObjectTemplate
PropertyTemplate
WhenWhere
RelInvok
OCL
STRING
RuleDef
Sign
Sen
RelationSen
Pattern
Orphan instances
ShATermConvertible STRING Source # | |
ShATermConvertible OCL Source # | |
ShATermConvertible RelInvok Source # | |
ShATermConvertible WhenWhere Source # | |
ShATermConvertible PropertyTemplate Source # | |
ShATermConvertible ObjectTemplate Source # | |
ShATermConvertible Domain Source # | |
ShATermConvertible PrimitiveDomain Source # | |
ShATermConvertible RelVar Source # | |
ShATermConvertible Relation Source # | |
ShATermConvertible PropKey Source # | |
ShATermConvertible Key Source # | |
ShATermConvertible Transformation Source # | |
ShATermConvertible Pattern Source # | |
ShATermConvertible RelationSen Source # | |
ShATermConvertible Sen Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible RuleDef Source # | |