Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

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 # 

Methods

toShATermAux :: ATermTable -> STRING -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [STRING] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, STRING)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [STRING])

ShATermConvertible OCL Source # 

Methods

toShATermAux :: ATermTable -> OCL -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OCL] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OCL)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OCL])

ShATermConvertible RelInvok Source # 

Methods

toShATermAux :: ATermTable -> RelInvok -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RelInvok] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RelInvok)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelInvok])

ShATermConvertible WhenWhere Source # 

Methods

toShATermAux :: ATermTable -> WhenWhere -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [WhenWhere] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, WhenWhere)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [WhenWhere])

ShATermConvertible PropertyTemplate Source # 

Methods

toShATermAux :: ATermTable -> PropertyTemplate -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PropertyTemplate] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyTemplate)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyTemplate])

ShATermConvertible ObjectTemplate Source # 

Methods

toShATermAux :: ATermTable -> ObjectTemplate -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ObjectTemplate] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ObjectTemplate)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ObjectTemplate])

ShATermConvertible Domain Source # 

Methods

toShATermAux :: ATermTable -> Domain -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Domain] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Domain)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Domain])

ShATermConvertible PrimitiveDomain Source # 

Methods

toShATermAux :: ATermTable -> PrimitiveDomain -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PrimitiveDomain] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PrimitiveDomain)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrimitiveDomain])

ShATermConvertible RelVar Source # 

Methods

toShATermAux :: ATermTable -> RelVar -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RelVar] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RelVar)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelVar])

ShATermConvertible Relation Source # 

Methods

toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])

ShATermConvertible PropKey Source # 

Methods

toShATermAux :: ATermTable -> PropKey -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PropKey] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PropKey)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropKey])

ShATermConvertible Key Source # 

Methods

toShATermAux :: ATermTable -> Key -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Key] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Key)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Key])

ShATermConvertible Transformation Source # 

Methods

toShATermAux :: ATermTable -> Transformation -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Transformation] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Transformation)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Transformation])

ShATermConvertible Pattern Source # 

Methods

toShATermAux :: ATermTable -> Pattern -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Pattern] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Pattern)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Pattern])

ShATermConvertible RelationSen Source # 

Methods

toShATermAux :: ATermTable -> RelationSen -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RelationSen] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RelationSen)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelationSen])

ShATermConvertible Sen Source # 

Methods

toShATermAux :: ATermTable -> Sen -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sen] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sen)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sen])

ShATermConvertible Sign Source # 

Methods

toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])

ShATermConvertible RuleDef Source # 

Methods

toShATermAux :: ATermTable -> RuleDef -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RuleDef] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleDef)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleDef])