Copyright	(c) Daniel Calegari Universidad de la Republica, Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

QVTR.As

Description

Documentation

data Transformation

Constructors

Transformation
Fields transfName :: String sourceMetamodel :: (String, String, Metamodel) targetMetamodel :: (String, String, Metamodel) keys :: [Key] relations :: [Relation]

Instances

data Key

Constructors

Key
Fields metamodel :: String typeName :: String properties :: [PropKey]

Instances

Eq Key
Data Key
Ord Key
Show Key
ShATermConvertible Key
GetRange Key
Pretty Key
Typeable * Key

data PropKey

Constructors

SimpleProp
Fields propName :: String
OppositeProp
Fields oppPropType :: String oppPropName :: String

Instances

Eq PropKey
Data PropKey
Ord PropKey
Show PropKey
ShATermConvertible PropKey
GetRange PropKey
Pretty PropKey
Typeable * PropKey

data Relation

Constructors

Relation
Fields top :: Bool relName :: String varSet :: [RelVar] primDomains :: [PrimitiveDomain] sourceDomain :: Domain targetDomain :: Domain whenCond :: Maybe WhenWhere whereCond :: Maybe WhenWhere

Instances

Eq Relation
Data Relation
Ord Relation
Show Relation
ShATermConvertible Relation
GetRange Relation
Pretty Relation
Typeable * Relation

data RelVar

Constructors

RelVar
Fields varType :: String varName :: String

Instances

Eq RelVar
Data RelVar
Ord RelVar
Show RelVar
ShATermConvertible RelVar
GetRange RelVar
Pretty RelVar
Typeable * RelVar

data PrimitiveDomain

Constructors

PrimitiveDomain
Fields primName :: String primType :: String

Instances

Eq PrimitiveDomain
Data PrimitiveDomain
Ord PrimitiveDomain
Show PrimitiveDomain
ShATermConvertible PrimitiveDomain
GetRange PrimitiveDomain
Pretty PrimitiveDomain
Typeable * PrimitiveDomain

data Domain

Constructors

Domain
Fields domModelId :: String template :: ObjectTemplate

Instances

Eq Domain
Data Domain
Ord Domain
Show Domain
ShATermConvertible Domain
GetRange Domain
Pretty Domain
Typeable * Domain

data ObjectTemplate

Constructors

ObjectTemplate
Fields domVar :: String domMeta :: String domType :: String templateList :: [PropertyTemplate]

Instances

Eq ObjectTemplate
Data ObjectTemplate
Ord ObjectTemplate
Show ObjectTemplate
ShATermConvertible ObjectTemplate
GetRange ObjectTemplate
Pretty ObjectTemplate
Typeable * ObjectTemplate

data PropertyTemplate

Constructors

PropertyTemplate
Fields pName :: String oclExpre :: Maybe OCL objTemp :: Maybe ObjectTemplate

Instances

Eq PropertyTemplate
Data PropertyTemplate
Ord PropertyTemplate
Show PropertyTemplate
ShATermConvertible PropertyTemplate
GetRange PropertyTemplate
Pretty PropertyTemplate
Typeable * PropertyTemplate

data WhenWhere

Constructors

WhenWhere
Fields relInvokWhen :: [RelInvok] oclExpreWhen :: [OCL]

Instances

Eq WhenWhere
Data WhenWhere
Ord WhenWhere
Show WhenWhere
ShATermConvertible WhenWhere
GetRange WhenWhere
Pretty WhenWhere
Typeable * WhenWhere

data RelInvok

Constructors

RelInvok
Fields name :: String params :: [String]

Instances

Eq RelInvok
Data RelInvok
Ord RelInvok
Show RelInvok
ShATermConvertible RelInvok
GetRange RelInvok
Pretty RelInvok
Typeable * RelInvok

data OCL

Constructors

Paren
Fields exp :: OCL
StringExp
Fields strExp :: STRING
BExp
Fields bExp :: Bool
NotB
Fields notExp :: OCL
AndB
Fields lExpA :: OCL rExpA :: OCL
OrB
Fields lExpO :: OCL rExpO :: OCL
Equal
Fields lExpre :: STRING rExpre :: STRING

Instances

Eq OCL
Data OCL
Ord OCL
Show OCL
ShATermConvertible OCL
GetRange OCL
Pretty OCL
Typeable * OCL

data STRING

Constructors

Str
Fields simpleStr :: String
ConcatExp
Fields lStr :: STRING rStr :: STRING
VarExp
Fields varExp :: String

Instances

Eq STRING
Data STRING
Ord STRING
Show STRING
ShATermConvertible STRING
GetRange STRING
Pretty STRING
Typeable * STRING

Eq Transformation
Data Transformation
Ord Transformation
Show Transformation
ShATermConvertible Transformation
Monoid Transformation
GetRange Transformation
Pretty Transformation
Typeable * Transformation
Syntax QVTR Transformation () () ()
StaticAnalysis QVTR Transformation Sen () () Sign Morphism () ()
Logic QVTR () Transformation Sen () () Sign Morphism () () ()
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree