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

QVTR.As

Description

Documentation

data Transformation Source #

Constructors

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

Instances

Instances details

Eq Transformation Source #
Instance details Defined in QVTR.As Methods (==) :: Transformation -> Transformation -> Bool (/=) :: Transformation -> Transformation -> Bool
Data Transformation Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Transformation -> c Transformation gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Transformation toConstr :: Transformation -> Constr dataTypeOf :: Transformation -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Transformation) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Transformation) gmapT :: (forall b. Data b => b -> b) -> Transformation -> Transformation gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Transformation -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Transformation -> r gmapQ :: (forall d. Data d => d -> u) -> Transformation -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Transformation -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Transformation -> m Transformation gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Transformation -> m Transformation gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Transformation -> m Transformation
Ord Transformation Source #
Instance details Defined in QVTR.As Methods compare :: Transformation -> Transformation -> Ordering (<) :: Transformation -> Transformation -> Bool (<=) :: Transformation -> Transformation -> Bool (>) :: Transformation -> Transformation -> Bool (>=) :: Transformation -> Transformation -> Bool max :: Transformation -> Transformation -> Transformation min :: Transformation -> Transformation -> Transformation
Show Transformation
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> Transformation -> ShowS show :: Transformation -> String showList :: [Transformation] -> ShowS
Generic Transformation
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep Transformation :: Type -> Type Methods from :: Transformation -> Rep Transformation x to :: Rep Transformation x -> Transformation
Semigroup Transformation
Instance details Defined in QVTR.Logic_QVTR Methods (<>) :: Transformation -> Transformation -> Transformation # sconcat :: NonEmpty Transformation -> Transformation stimes :: Integral b => b -> Transformation -> Transformation
Monoid Transformation
Instance details Defined in QVTR.Logic_QVTR Methods mempty :: Transformation mappend :: Transformation -> Transformation -> Transformation mconcat :: [Transformation] -> Transformation
GetRange Transformation Source #
Instance details Defined in QVTR.As Methods getRange :: Transformation -> Range Source # rangeSpan :: Transformation -> [Pos] Source #
FromJSON Transformation
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser Transformation parseJSONList :: Value -> Parser [Transformation]
ToJSON Transformation
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: Transformation -> Value toEncoding :: Transformation -> Encoding toJSONList :: [Transformation] -> Value toEncodingList :: [Transformation] -> Encoding
ShATermConvertible Transformation
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> Transformation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Transformation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Transformation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Transformation])
Pretty Transformation Source #
Instance details Defined in QVTR.Print Methods pretty :: Transformation -> Doc Source # pretties :: [Transformation] -> Doc Source #
Syntax QVTR Transformation () () () Source #
Instance details Defined in QVTR.Logic_QVTR Methods parsersAndPrinters :: QVTR -> Map String (PrefixMap -> AParser st Transformation, Transformation -> Doc) Source # parse_basic_spec :: QVTR -> Maybe (PrefixMap -> AParser st Transformation) Source # parseSingleSymbItem :: QVTR -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: QVTR -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: QVTR -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: QVTR -> Transformation -> Item Source # symb_items_name :: QVTR -> () -> [String] Source #
StaticAnalysis QVTR Transformation Sen () () Sign Morphism () () Source #
Instance details Defined in QVTR.Logic_QVTR Methods basic_analysis :: QVTR -> Maybe ((Transformation, Sign, GlobalAnnos) -> Result (Transformation, ExtSign Sign (), [Named Sen])) Source # sen_analysis :: QVTR -> Maybe ((Transformation, Sign, Sen) -> Result Sen) Source # extBasicAnalysis :: QVTR -> IRI -> LibName -> Transformation -> Sign -> GlobalAnnos -> Result (Transformation, ExtSign Sign (), [Named Sen]) Source # stat_symb_map_items :: QVTR -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: QVTR -> Sign -> [()] -> Result [()] Source # convertTheory :: QVTR -> Maybe ((Sign, [Named Sen]) -> Transformation) Source # ensures_amalgamability :: QVTR -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: QVTR -> Morphism -> [Named Sen] -> Result (Sign, [Named Sen]) Source # signature_colimit :: QVTR -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source # qualify :: QVTR -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sen]) Source # symbol_to_raw :: QVTR -> () -> () Source # id_to_raw :: QVTR -> Id -> () Source # matches :: QVTR -> () -> () -> Bool Source # empty_signature :: QVTR -> Sign Source # add_symb_to_sign :: QVTR -> Sign -> () -> Result Sign Source # signature_union :: QVTR -> Sign -> Sign -> Result Sign Source # signatureDiff :: QVTR -> Sign -> Sign -> Result Sign Source # intersection :: QVTR -> Sign -> Sign -> Result Sign Source # final_union :: QVTR -> Sign -> Sign -> Result Sign Source # morphism_union :: QVTR -> Morphism -> Morphism -> Result Morphism Source # is_subsig :: QVTR -> Sign -> Sign -> Bool Source # subsig_inclusion :: QVTR -> Sign -> Sign -> Result Morphism Source # generated_sign :: QVTR -> Set () -> Sign -> Result Morphism Source # cogenerated_sign :: QVTR -> Set () -> Sign -> Result Morphism Source # induced_from_morphism :: QVTR -> EndoMap () -> Sign -> Result Morphism Source # induced_from_to_morphism :: QVTR -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result Morphism Source # is_transportable :: QVTR -> Morphism -> Bool Source # is_injective :: QVTR -> Morphism -> Bool Source # theory_to_taxonomy :: QVTR -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sen] -> Result MMiSSOntology Source # corresp2th :: QVTR -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named Sen], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: QVTR -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: QVTR -> [IRI] -> (Sign, [Named Sen]) -> Result (Sign, [Named Sen]) Source #
Logic QVTR () Transformation Sen () () Sign Morphism () () () Source #
Instance details Defined in QVTR.Logic_QVTR Methods parse_basic_sen :: QVTR -> Maybe (Transformation -> AParser st Sen) Source # stability :: QVTR -> Stability Source # data_logic :: QVTR -> Maybe AnyLogic Source # top_sublogic :: QVTR -> () Source # all_sublogics :: QVTR -> [()] Source # bottomSublogic :: QVTR -> Maybe () Source # sublogicDimensions :: QVTR -> [[()]] Source # parseSublogic :: QVTR -> String -> Maybe () Source # proj_sublogic_epsilon :: QVTR -> () -> Sign -> Morphism Source # provers :: QVTR -> [Prover Sign Sen Morphism () ()] Source # default_prover :: QVTR -> String Source # cons_checkers :: QVTR -> [ConsChecker Sign Sen () Morphism ()] Source # conservativityCheck :: QVTR -> [ConservativityChecker Sign Sen Morphism] Source # empty_proof_tree :: QVTR -> () Source # syntaxTable :: QVTR -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: QVTR -> Maybe OMCD Source # export_symToOmdoc :: QVTR -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: QVTR -> NameMap () -> Sen -> Result TCorOMElement Source # export_theoryToOmdoc :: QVTR -> SigMap () -> Sign -> [Named Sen] -> Result [TCElement] Source # omdocToSym :: QVTR -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: QVTR -> SigMapI () -> TCElement -> String -> Result (Maybe (Named Sen)) Source # addOMadtToTheory :: QVTR -> SigMapI () -> (Sign, [Named Sen]) -> [[OmdADT]] -> Result (Sign, [Named Sen]) Source # addOmdocToTheory :: QVTR -> SigMapI () -> (Sign, [Named Sen]) -> [TCElement] -> Result (Sign, [Named Sen]) Source # sublogicOfTheo :: QVTR -> (Sign, [Sen]) -> () Source #
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.QVTR2CASL Methods sourceLogic :: QVTR2CASL -> QVTR Source # sourceSublogic :: QVTR2CASL -> () Source # sourceSublogicLossy :: QVTR2CASL -> () Source # minSourceTheory :: QVTR2CASL -> Maybe (LibName, String) Source # targetLogic :: QVTR2CASL -> CASL Source # mapSublogic :: QVTR2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: QVTR2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: QVTR2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: QVTR2CASL -> Morphism -> Result CASLMor Source # map_sentence :: QVTR2CASL -> Sign -> Sen -> Result CASLFORMULA Source # map_symbol :: QVTR2CASL -> Sign -> () -> Set Symbol Source # extractModel :: QVTR2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sen]) Source # is_model_transportable :: QVTR2CASL -> Bool Source # has_model_expansion :: QVTR2CASL -> Bool Source # is_weakly_amalgamable :: QVTR2CASL -> Bool Source # constituents :: QVTR2CASL -> [String] Source # isInclusionComorphism :: QVTR2CASL -> Bool Source # rps :: QVTR2CASL -> Bool Source # eps :: QVTR2CASL -> Bool Source # isGTC :: QVTR2CASL -> Bool Source #
type Rep Transformation
Instance details Defined in QVTR.ATC_QVTR type Rep Transformation = D1 ('MetaData "Transformation" "QVTR.As" "main" 'False) (C1 ('MetaCons "Transformation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "transfName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "sourceMetamodel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String, String, Metamodel))) :: (S1 ('MetaSel ('Just "targetMetamodel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String, String, Metamodel)) :: (S1 ('MetaSel ('Just "keys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Key]) :: S1 ('MetaSel ('Just "relations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Relation])))))

data Key Source #

Constructors

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

Instances

Instances details

Eq Key Source #
Instance details Defined in QVTR.As Methods (==) :: Key -> Key -> Bool (/=) :: Key -> Key -> Bool
Data Key Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key toConstr :: Key -> Constr dataTypeOf :: Key -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) gmapT :: (forall b. Data b => b -> b) -> Key -> Key gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key
Ord Key Source #
Instance details Defined in QVTR.As Methods compare :: Key -> Key -> Ordering (<) :: Key -> Key -> Bool (<=) :: Key -> Key -> Bool (>) :: Key -> Key -> Bool (>=) :: Key -> Key -> Bool max :: Key -> Key -> Key min :: Key -> Key -> Key
Show Key
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> Key -> ShowS show :: Key -> String showList :: [Key] -> ShowS
Generic Key
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep Key :: Type -> Type Methods from :: Key -> Rep Key x to :: Rep Key x -> Key
GetRange Key Source #
Instance details Defined in QVTR.As Methods getRange :: Key -> Range Source # rangeSpan :: Key -> [Pos] Source #
FromJSON Key
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser Key parseJSONList :: Value -> Parser [Key]
ToJSON Key
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: Key -> Value toEncoding :: Key -> Encoding toJSONList :: [Key] -> Value toEncodingList :: [Key] -> Encoding
ShATermConvertible Key
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> Key -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Key] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Key) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Key])
Pretty Key Source #
Instance details Defined in QVTR.Print Methods pretty :: Key -> Doc Source # pretties :: [Key] -> Doc Source #
type Rep Key
Instance details Defined in QVTR.ATC_QVTR type Rep Key = D1 ('MetaData "Key" "QVTR.As" "main" 'False) (C1 ('MetaCons "Key" 'PrefixI 'True) (S1 ('MetaSel ('Just "metamodel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "typeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "properties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PropKey]))))

data PropKey Source #

Constructors

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

Instances

Instances details

Eq PropKey Source #
Instance details Defined in QVTR.As Methods (==) :: PropKey -> PropKey -> Bool (/=) :: PropKey -> PropKey -> Bool
Data PropKey Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropKey -> c PropKey gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropKey toConstr :: PropKey -> Constr dataTypeOf :: PropKey -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PropKey) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropKey) gmapT :: (forall b. Data b => b -> b) -> PropKey -> PropKey gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropKey -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropKey -> r gmapQ :: (forall d. Data d => d -> u) -> PropKey -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PropKey -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey
Ord PropKey Source #
Instance details Defined in QVTR.As Methods compare :: PropKey -> PropKey -> Ordering (<) :: PropKey -> PropKey -> Bool (<=) :: PropKey -> PropKey -> Bool (>) :: PropKey -> PropKey -> Bool (>=) :: PropKey -> PropKey -> Bool max :: PropKey -> PropKey -> PropKey min :: PropKey -> PropKey -> PropKey
Show PropKey
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> PropKey -> ShowS show :: PropKey -> String showList :: [PropKey] -> ShowS
Generic PropKey
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep PropKey :: Type -> Type Methods from :: PropKey -> Rep PropKey x to :: Rep PropKey x -> PropKey
GetRange PropKey Source #
Instance details Defined in QVTR.As Methods getRange :: PropKey -> Range Source # rangeSpan :: PropKey -> [Pos] Source #
FromJSON PropKey
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser PropKey parseJSONList :: Value -> Parser [PropKey]
ToJSON PropKey
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: PropKey -> Value toEncoding :: PropKey -> Encoding toJSONList :: [PropKey] -> Value toEncodingList :: [PropKey] -> Encoding
ShATermConvertible PropKey
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> PropKey -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropKey] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropKey) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropKey])
Pretty PropKey Source #
Instance details Defined in QVTR.Print Methods pretty :: PropKey -> Doc Source # pretties :: [PropKey] -> Doc Source #
type Rep PropKey
Instance details Defined in QVTR.ATC_QVTR type Rep PropKey = D1 ('MetaData "PropKey" "QVTR.As" "main" 'False) (C1 ('MetaCons "SimpleProp" 'PrefixI 'True) (S1 ('MetaSel ('Just "propName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "OppositeProp" 'PrefixI 'True) (S1 ('MetaSel ('Just "oppPropType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "oppPropName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data Relation Source #

Constructors

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

Instances

Instances details

Eq Relation Source #
Instance details Defined in QVTR.As Methods (==) :: Relation -> Relation -> Bool (/=) :: Relation -> Relation -> Bool
Data Relation Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Relation -> c Relation gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Relation toConstr :: Relation -> Constr dataTypeOf :: Relation -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Relation) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Relation) gmapT :: (forall b. Data b => b -> b) -> Relation -> Relation gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Relation -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Relation -> r gmapQ :: (forall d. Data d => d -> u) -> Relation -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Relation -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Relation -> m Relation gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Relation -> m Relation gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Relation -> m Relation
Ord Relation Source #
Instance details Defined in QVTR.As Methods compare :: Relation -> Relation -> Ordering (<) :: Relation -> Relation -> Bool (<=) :: Relation -> Relation -> Bool (>) :: Relation -> Relation -> Bool (>=) :: Relation -> Relation -> Bool max :: Relation -> Relation -> Relation min :: Relation -> Relation -> Relation
Show Relation
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> Relation -> ShowS show :: Relation -> String showList :: [Relation] -> ShowS
Generic Relation
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep Relation :: Type -> Type Methods from :: Relation -> Rep Relation x to :: Rep Relation x -> Relation
GetRange Relation Source #
Instance details Defined in QVTR.As Methods getRange :: Relation -> Range Source # rangeSpan :: Relation -> [Pos] Source #
FromJSON Relation
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser Relation parseJSONList :: Value -> Parser [Relation]
ToJSON Relation
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: Relation -> Value toEncoding :: Relation -> Encoding toJSONList :: [Relation] -> Value toEncodingList :: [Relation] -> Encoding
ShATermConvertible Relation
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])
Pretty Relation Source #
Instance details Defined in QVTR.Print Methods pretty :: Relation -> Doc Source # pretties :: [Relation] -> Doc Source #
type Rep Relation
Instance details Defined in QVTR.ATC_QVTR type Rep Relation = D1 ('MetaData "Relation" "QVTR.As" "main" 'False) (C1 ('MetaCons "Relation" 'PrefixI 'True) (((S1 ('MetaSel ('Just "top") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "relName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "varSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelVar]) :: S1 ('MetaSel ('Just "primDomains") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PrimitiveDomain]))) :: ((S1 ('MetaSel ('Just "sourceDomain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Domain) :: S1 ('MetaSel ('Just "targetDomain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Domain)) :: (S1 ('MetaSel ('Just "whenCond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhenWhere)) :*: S1 ('MetaSel ('Just "whereCond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhenWhere))))))

data RelVar Source #

Constructors

RelVar
Fields varType :: String varName :: String

Instances

Instances details

Eq RelVar Source #
Instance details Defined in QVTR.As Methods (==) :: RelVar -> RelVar -> Bool (/=) :: RelVar -> RelVar -> Bool
Data RelVar Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelVar -> c RelVar gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelVar toConstr :: RelVar -> Constr dataTypeOf :: RelVar -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RelVar) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelVar) gmapT :: (forall b. Data b => b -> b) -> RelVar -> RelVar gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelVar -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelVar -> r gmapQ :: (forall d. Data d => d -> u) -> RelVar -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RelVar -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar
Ord RelVar Source #
Instance details Defined in QVTR.As Methods compare :: RelVar -> RelVar -> Ordering (<) :: RelVar -> RelVar -> Bool (<=) :: RelVar -> RelVar -> Bool (>) :: RelVar -> RelVar -> Bool (>=) :: RelVar -> RelVar -> Bool max :: RelVar -> RelVar -> RelVar min :: RelVar -> RelVar -> RelVar
Show RelVar
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> RelVar -> ShowS show :: RelVar -> String showList :: [RelVar] -> ShowS
Generic RelVar
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep RelVar :: Type -> Type Methods from :: RelVar -> Rep RelVar x to :: Rep RelVar x -> RelVar
GetRange RelVar Source #
Instance details Defined in QVTR.As Methods getRange :: RelVar -> Range Source # rangeSpan :: RelVar -> [Pos] Source #
FromJSON RelVar
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser RelVar parseJSONList :: Value -> Parser [RelVar]
ToJSON RelVar
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: RelVar -> Value toEncoding :: RelVar -> Encoding toJSONList :: [RelVar] -> Value toEncodingList :: [RelVar] -> Encoding
ShATermConvertible RelVar
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> RelVar -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelVar] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelVar) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelVar])
Pretty RelVar Source #
Instance details Defined in QVTR.Print Methods pretty :: RelVar -> Doc Source # pretties :: [RelVar] -> Doc Source #
type Rep RelVar
Instance details Defined in QVTR.ATC_QVTR type Rep RelVar = D1 ('MetaData "RelVar" "QVTR.As" "main" 'False) (C1 ('MetaCons "RelVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data PrimitiveDomain Source #

Constructors

PrimitiveDomain
Fields primName :: String primType :: String

Instances

Instances details

Eq PrimitiveDomain Source #
Instance details Defined in QVTR.As Methods (==) :: PrimitiveDomain -> PrimitiveDomain -> Bool (/=) :: PrimitiveDomain -> PrimitiveDomain -> Bool
Data PrimitiveDomain Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimitiveDomain -> c PrimitiveDomain gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimitiveDomain toConstr :: PrimitiveDomain -> Constr dataTypeOf :: PrimitiveDomain -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimitiveDomain) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimitiveDomain) gmapT :: (forall b. Data b => b -> b) -> PrimitiveDomain -> PrimitiveDomain gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveDomain -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveDomain -> r gmapQ :: (forall d. Data d => d -> u) -> PrimitiveDomain -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimitiveDomain -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain
Ord PrimitiveDomain Source #
Instance details Defined in QVTR.As Methods compare :: PrimitiveDomain -> PrimitiveDomain -> Ordering (<) :: PrimitiveDomain -> PrimitiveDomain -> Bool (<=) :: PrimitiveDomain -> PrimitiveDomain -> Bool (>) :: PrimitiveDomain -> PrimitiveDomain -> Bool (>=) :: PrimitiveDomain -> PrimitiveDomain -> Bool max :: PrimitiveDomain -> PrimitiveDomain -> PrimitiveDomain min :: PrimitiveDomain -> PrimitiveDomain -> PrimitiveDomain
Show PrimitiveDomain
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> PrimitiveDomain -> ShowS show :: PrimitiveDomain -> String showList :: [PrimitiveDomain] -> ShowS
Generic PrimitiveDomain
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep PrimitiveDomain :: Type -> Type Methods from :: PrimitiveDomain -> Rep PrimitiveDomain x to :: Rep PrimitiveDomain x -> PrimitiveDomain
GetRange PrimitiveDomain Source #
Instance details Defined in QVTR.As Methods getRange :: PrimitiveDomain -> Range Source # rangeSpan :: PrimitiveDomain -> [Pos] Source #
FromJSON PrimitiveDomain
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser PrimitiveDomain parseJSONList :: Value -> Parser [PrimitiveDomain]
ToJSON PrimitiveDomain
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: PrimitiveDomain -> Value toEncoding :: PrimitiveDomain -> Encoding toJSONList :: [PrimitiveDomain] -> Value toEncodingList :: [PrimitiveDomain] -> Encoding
ShATermConvertible PrimitiveDomain
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> PrimitiveDomain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrimitiveDomain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrimitiveDomain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrimitiveDomain])
Pretty PrimitiveDomain Source #
Instance details Defined in QVTR.Print Methods pretty :: PrimitiveDomain -> Doc Source # pretties :: [PrimitiveDomain] -> Doc Source #
type Rep PrimitiveDomain
Instance details Defined in QVTR.ATC_QVTR type Rep PrimitiveDomain = D1 ('MetaData "PrimitiveDomain" "QVTR.As" "main" 'False) (C1 ('MetaCons "PrimitiveDomain" 'PrefixI 'True) (S1 ('MetaSel ('Just "primName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "primType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data Domain Source #

Constructors

Domain
Fields domModelId :: String template :: ObjectTemplate

Instances

Instances details

Eq Domain Source #
Instance details Defined in QVTR.As Methods (==) :: Domain -> Domain -> Bool (/=) :: Domain -> Domain -> Bool
Data Domain Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Domain -> c Domain gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Domain toConstr :: Domain -> Constr dataTypeOf :: Domain -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Domain) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Domain) gmapT :: (forall b. Data b => b -> b) -> Domain -> Domain gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r gmapQ :: (forall d. Data d => d -> u) -> Domain -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Domain -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Domain -> m Domain gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain
Ord Domain Source #
Instance details Defined in QVTR.As Methods compare :: Domain -> Domain -> Ordering (<) :: Domain -> Domain -> Bool (<=) :: Domain -> Domain -> Bool (>) :: Domain -> Domain -> Bool (>=) :: Domain -> Domain -> Bool max :: Domain -> Domain -> Domain min :: Domain -> Domain -> Domain
Show Domain
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> Domain -> ShowS show :: Domain -> String showList :: [Domain] -> ShowS
Generic Domain
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep Domain :: Type -> Type Methods from :: Domain -> Rep Domain x to :: Rep Domain x -> Domain
GetRange Domain Source #
Instance details Defined in QVTR.As Methods getRange :: Domain -> Range Source # rangeSpan :: Domain -> [Pos] Source #
FromJSON Domain
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser Domain parseJSONList :: Value -> Parser [Domain]
ToJSON Domain
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: Domain -> Value toEncoding :: Domain -> Encoding toJSONList :: [Domain] -> Value toEncodingList :: [Domain] -> Encoding
ShATermConvertible Domain
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> Domain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Domain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Domain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Domain])
Pretty Domain Source #
Instance details Defined in QVTR.Print Methods pretty :: Domain -> Doc Source # pretties :: [Domain] -> Doc Source #
type Rep Domain
Instance details Defined in QVTR.ATC_QVTR type Rep Domain = D1 ('MetaData "Domain" "QVTR.As" "main" 'False) (C1 ('MetaCons "Domain" 'PrefixI 'True) (S1 ('MetaSel ('Just "domModelId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "template") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectTemplate)))

data ObjectTemplate Source #

Constructors

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

Instances

Instances details

Eq ObjectTemplate Source #
Instance details Defined in QVTR.As Methods (==) :: ObjectTemplate -> ObjectTemplate -> Bool (/=) :: ObjectTemplate -> ObjectTemplate -> Bool
Data ObjectTemplate Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectTemplate -> c ObjectTemplate gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectTemplate toConstr :: ObjectTemplate -> Constr dataTypeOf :: ObjectTemplate -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectTemplate) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectTemplate) gmapT :: (forall b. Data b => b -> b) -> ObjectTemplate -> ObjectTemplate gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectTemplate -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectTemplate -> r gmapQ :: (forall d. Data d => d -> u) -> ObjectTemplate -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectTemplate -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate
Ord ObjectTemplate Source #
Instance details Defined in QVTR.As Methods compare :: ObjectTemplate -> ObjectTemplate -> Ordering (<) :: ObjectTemplate -> ObjectTemplate -> Bool (<=) :: ObjectTemplate -> ObjectTemplate -> Bool (>) :: ObjectTemplate -> ObjectTemplate -> Bool (>=) :: ObjectTemplate -> ObjectTemplate -> Bool max :: ObjectTemplate -> ObjectTemplate -> ObjectTemplate min :: ObjectTemplate -> ObjectTemplate -> ObjectTemplate
Show ObjectTemplate
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> ObjectTemplate -> ShowS show :: ObjectTemplate -> String showList :: [ObjectTemplate] -> ShowS
Generic ObjectTemplate
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep ObjectTemplate :: Type -> Type Methods from :: ObjectTemplate -> Rep ObjectTemplate x to :: Rep ObjectTemplate x -> ObjectTemplate
GetRange ObjectTemplate Source #
Instance details Defined in QVTR.As Methods getRange :: ObjectTemplate -> Range Source # rangeSpan :: ObjectTemplate -> [Pos] Source #
FromJSON ObjectTemplate
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser ObjectTemplate parseJSONList :: Value -> Parser [ObjectTemplate]
ToJSON ObjectTemplate
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: ObjectTemplate -> Value toEncoding :: ObjectTemplate -> Encoding toJSONList :: [ObjectTemplate] -> Value toEncodingList :: [ObjectTemplate] -> Encoding
ShATermConvertible ObjectTemplate
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> ObjectTemplate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ObjectTemplate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ObjectTemplate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ObjectTemplate])
Pretty ObjectTemplate Source #
Instance details Defined in QVTR.Print Methods pretty :: ObjectTemplate -> Doc Source # pretties :: [ObjectTemplate] -> Doc Source #
type Rep ObjectTemplate
Instance details Defined in QVTR.ATC_QVTR type Rep ObjectTemplate = D1 ('MetaData "ObjectTemplate" "QVTR.As" "main" 'False) (C1 ('MetaCons "ObjectTemplate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "domVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "domMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "domType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "templateList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PropertyTemplate]))))

data PropertyTemplate Source #

Constructors

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

Instances

Instances details

Eq PropertyTemplate Source #
Instance details Defined in QVTR.As Methods (==) :: PropertyTemplate -> PropertyTemplate -> Bool (/=) :: PropertyTemplate -> PropertyTemplate -> Bool
Data PropertyTemplate Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropertyTemplate -> c PropertyTemplate gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropertyTemplate toConstr :: PropertyTemplate -> Constr dataTypeOf :: PropertyTemplate -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PropertyTemplate) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropertyTemplate) gmapT :: (forall b. Data b => b -> b) -> PropertyTemplate -> PropertyTemplate gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropertyTemplate -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropertyTemplate -> r gmapQ :: (forall d. Data d => d -> u) -> PropertyTemplate -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PropertyTemplate -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate
Ord PropertyTemplate Source #
Instance details Defined in QVTR.As Methods compare :: PropertyTemplate -> PropertyTemplate -> Ordering (<) :: PropertyTemplate -> PropertyTemplate -> Bool (<=) :: PropertyTemplate -> PropertyTemplate -> Bool (>) :: PropertyTemplate -> PropertyTemplate -> Bool (>=) :: PropertyTemplate -> PropertyTemplate -> Bool max :: PropertyTemplate -> PropertyTemplate -> PropertyTemplate min :: PropertyTemplate -> PropertyTemplate -> PropertyTemplate
Show PropertyTemplate
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> PropertyTemplate -> ShowS show :: PropertyTemplate -> String showList :: [PropertyTemplate] -> ShowS
Generic PropertyTemplate
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep PropertyTemplate :: Type -> Type Methods from :: PropertyTemplate -> Rep PropertyTemplate x to :: Rep PropertyTemplate x -> PropertyTemplate
GetRange PropertyTemplate Source #
Instance details Defined in QVTR.As Methods getRange :: PropertyTemplate -> Range Source # rangeSpan :: PropertyTemplate -> [Pos] Source #
FromJSON PropertyTemplate
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser PropertyTemplate parseJSONList :: Value -> Parser [PropertyTemplate]
ToJSON PropertyTemplate
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: PropertyTemplate -> Value toEncoding :: PropertyTemplate -> Encoding toJSONList :: [PropertyTemplate] -> Value toEncodingList :: [PropertyTemplate] -> Encoding
ShATermConvertible PropertyTemplate
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> PropertyTemplate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropertyTemplate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyTemplate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyTemplate])
Pretty PropertyTemplate Source #
Instance details Defined in QVTR.Print Methods pretty :: PropertyTemplate -> Doc Source # pretties :: [PropertyTemplate] -> Doc Source #
type Rep PropertyTemplate
Instance details Defined in QVTR.ATC_QVTR type Rep PropertyTemplate = D1 ('MetaData "PropertyTemplate" "QVTR.As" "main" 'False) (C1 ('MetaCons "PropertyTemplate" 'PrefixI 'True) (S1 ('MetaSel ('Just "pName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "oclExpre") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OCL)) :: S1 ('MetaSel ('Just "objTemp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ObjectTemplate)))))

data WhenWhere Source #

Constructors

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

Instances

Instances details

Eq WhenWhere Source #
Instance details Defined in QVTR.As Methods (==) :: WhenWhere -> WhenWhere -> Bool (/=) :: WhenWhere -> WhenWhere -> Bool
Data WhenWhere Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WhenWhere -> c WhenWhere gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WhenWhere toConstr :: WhenWhere -> Constr dataTypeOf :: WhenWhere -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WhenWhere) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WhenWhere) gmapT :: (forall b. Data b => b -> b) -> WhenWhere -> WhenWhere gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WhenWhere -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WhenWhere -> r gmapQ :: (forall d. Data d => d -> u) -> WhenWhere -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> WhenWhere -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere
Ord WhenWhere Source #
Instance details Defined in QVTR.As Methods compare :: WhenWhere -> WhenWhere -> Ordering (<) :: WhenWhere -> WhenWhere -> Bool (<=) :: WhenWhere -> WhenWhere -> Bool (>) :: WhenWhere -> WhenWhere -> Bool (>=) :: WhenWhere -> WhenWhere -> Bool max :: WhenWhere -> WhenWhere -> WhenWhere min :: WhenWhere -> WhenWhere -> WhenWhere
Show WhenWhere
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> WhenWhere -> ShowS show :: WhenWhere -> String showList :: [WhenWhere] -> ShowS
Generic WhenWhere
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep WhenWhere :: Type -> Type Methods from :: WhenWhere -> Rep WhenWhere x to :: Rep WhenWhere x -> WhenWhere
GetRange WhenWhere Source #
Instance details Defined in QVTR.As Methods getRange :: WhenWhere -> Range Source # rangeSpan :: WhenWhere -> [Pos] Source #
FromJSON WhenWhere
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser WhenWhere parseJSONList :: Value -> Parser [WhenWhere]
ToJSON WhenWhere
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: WhenWhere -> Value toEncoding :: WhenWhere -> Encoding toJSONList :: [WhenWhere] -> Value toEncodingList :: [WhenWhere] -> Encoding
ShATermConvertible WhenWhere
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> WhenWhere -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [WhenWhere] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, WhenWhere) fromShATermList' :: Int -> ATermTable -> (ATermTable, [WhenWhere])
Pretty WhenWhere Source #
Instance details Defined in QVTR.Print Methods pretty :: WhenWhere -> Doc Source # pretties :: [WhenWhere] -> Doc Source #
type Rep WhenWhere
Instance details Defined in QVTR.ATC_QVTR type Rep WhenWhere = D1 ('MetaData "WhenWhere" "QVTR.As" "main" 'False) (C1 ('MetaCons "WhenWhere" 'PrefixI 'True) (S1 ('MetaSel ('Just "relInvokWhen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelInvok]) :*: S1 ('MetaSel ('Just "oclExpreWhen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OCL])))

data RelInvok Source #

Constructors

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

Instances

Instances details

Eq RelInvok Source #
Instance details Defined in QVTR.As Methods (==) :: RelInvok -> RelInvok -> Bool (/=) :: RelInvok -> RelInvok -> Bool
Data RelInvok Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelInvok -> c RelInvok gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelInvok toConstr :: RelInvok -> Constr dataTypeOf :: RelInvok -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RelInvok) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelInvok) gmapT :: (forall b. Data b => b -> b) -> RelInvok -> RelInvok gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelInvok -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelInvok -> r gmapQ :: (forall d. Data d => d -> u) -> RelInvok -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RelInvok -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok
Ord RelInvok Source #
Instance details Defined in QVTR.As Methods compare :: RelInvok -> RelInvok -> Ordering (<) :: RelInvok -> RelInvok -> Bool (<=) :: RelInvok -> RelInvok -> Bool (>) :: RelInvok -> RelInvok -> Bool (>=) :: RelInvok -> RelInvok -> Bool max :: RelInvok -> RelInvok -> RelInvok min :: RelInvok -> RelInvok -> RelInvok
Show RelInvok
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> RelInvok -> ShowS show :: RelInvok -> String showList :: [RelInvok] -> ShowS
Generic RelInvok
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep RelInvok :: Type -> Type Methods from :: RelInvok -> Rep RelInvok x to :: Rep RelInvok x -> RelInvok
GetRange RelInvok Source #
Instance details Defined in QVTR.As Methods getRange :: RelInvok -> Range Source # rangeSpan :: RelInvok -> [Pos] Source #
FromJSON RelInvok
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser RelInvok parseJSONList :: Value -> Parser [RelInvok]
ToJSON RelInvok
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: RelInvok -> Value toEncoding :: RelInvok -> Encoding toJSONList :: [RelInvok] -> Value toEncodingList :: [RelInvok] -> Encoding
ShATermConvertible RelInvok
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> RelInvok -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelInvok] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelInvok) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelInvok])
Pretty RelInvok Source #
Instance details Defined in QVTR.Print Methods pretty :: RelInvok -> Doc Source # pretties :: [RelInvok] -> Doc Source #
type Rep RelInvok
Instance details Defined in QVTR.ATC_QVTR type Rep RelInvok = D1 ('MetaData "RelInvok" "QVTR.As" "main" 'False) (C1 ('MetaCons "RelInvok" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))

data OCL Source #

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

Instances details

Eq OCL Source #
Instance details Defined in QVTR.As Methods (==) :: OCL -> OCL -> Bool (/=) :: OCL -> OCL -> Bool
Data OCL Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OCL -> c OCL gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OCL toConstr :: OCL -> Constr dataTypeOf :: OCL -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OCL) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OCL) gmapT :: (forall b. Data b => b -> b) -> OCL -> OCL gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OCL -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OCL -> r gmapQ :: (forall d. Data d => d -> u) -> OCL -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> OCL -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> OCL -> m OCL gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OCL -> m OCL gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OCL -> m OCL
Ord OCL Source #
Instance details Defined in QVTR.As Methods compare :: OCL -> OCL -> Ordering (<) :: OCL -> OCL -> Bool (<=) :: OCL -> OCL -> Bool (>) :: OCL -> OCL -> Bool (>=) :: OCL -> OCL -> Bool max :: OCL -> OCL -> OCL min :: OCL -> OCL -> OCL
Show OCL
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> OCL -> ShowS show :: OCL -> String showList :: [OCL] -> ShowS
Generic OCL
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep OCL :: Type -> Type Methods from :: OCL -> Rep OCL x to :: Rep OCL x -> OCL
GetRange OCL Source #
Instance details Defined in QVTR.As Methods getRange :: OCL -> Range Source # rangeSpan :: OCL -> [Pos] Source #
FromJSON OCL
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser OCL parseJSONList :: Value -> Parser [OCL]
ToJSON OCL
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: OCL -> Value toEncoding :: OCL -> Encoding toJSONList :: [OCL] -> Value toEncodingList :: [OCL] -> Encoding
ShATermConvertible OCL
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> OCL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OCL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OCL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OCL])
Pretty OCL Source #
Instance details Defined in QVTR.Print Methods pretty :: OCL -> Doc Source # pretties :: [OCL] -> Doc Source #
type Rep OCL
Instance details Defined in QVTR.ATC_QVTR type Rep OCL = D1 ('MetaData "OCL" "QVTR.As" "main" 'False) ((C1 ('MetaCons "Paren" 'PrefixI 'True) (S1 ('MetaSel ('Just "exp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL)) :+: (C1 ('MetaCons "StringExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "strExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 STRING)) :+: C1 ('MetaCons "BExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "bExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :+: ((C1 ('MetaCons "NotB" 'PrefixI 'True) (S1 ('MetaSel ('Just "notExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL)) :+: C1 ('MetaCons "AndB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lExpA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL) :: S1 ('MetaSel ('Just "rExpA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL))) :+: (C1 ('MetaCons "OrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lExpO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL) :: S1 ('MetaSel ('Just "rExpO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OCL)) :+: C1 ('MetaCons "Equal" 'PrefixI 'True) (S1 ('MetaSel ('Just "lExpre") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 STRING) :*: S1 ('MetaSel ('Just "rExpre") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 STRING)))))

data STRING Source #

Constructors

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

Instances

Instances details

Eq STRING Source #
Instance details Defined in QVTR.As Methods (==) :: STRING -> STRING -> Bool (/=) :: STRING -> STRING -> Bool
Data STRING Source #
Instance details Defined in QVTR.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> STRING -> c STRING gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c STRING toConstr :: STRING -> Constr dataTypeOf :: STRING -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c STRING) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c STRING) gmapT :: (forall b. Data b => b -> b) -> STRING -> STRING gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> STRING -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> STRING -> r gmapQ :: (forall d. Data d => d -> u) -> STRING -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> STRING -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> STRING -> m STRING gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> STRING -> m STRING gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> STRING -> m STRING
Ord STRING Source #
Instance details Defined in QVTR.As Methods compare :: STRING -> STRING -> Ordering (<) :: STRING -> STRING -> Bool (<=) :: STRING -> STRING -> Bool (>) :: STRING -> STRING -> Bool (>=) :: STRING -> STRING -> Bool max :: STRING -> STRING -> STRING min :: STRING -> STRING -> STRING
Show STRING
Instance details Defined in QVTR.Print Methods showsPrec :: Int -> STRING -> ShowS show :: STRING -> String showList :: [STRING] -> ShowS
Generic STRING
Instance details Defined in QVTR.ATC_QVTR Associated Types type Rep STRING :: Type -> Type Methods from :: STRING -> Rep STRING x to :: Rep STRING x -> STRING
GetRange STRING Source #
Instance details Defined in QVTR.As Methods getRange :: STRING -> Range Source # rangeSpan :: STRING -> [Pos] Source #
FromJSON STRING
Instance details Defined in QVTR.ATC_QVTR Methods parseJSON :: Value -> Parser STRING parseJSONList :: Value -> Parser [STRING]
ToJSON STRING
Instance details Defined in QVTR.ATC_QVTR Methods toJSON :: STRING -> Value toEncoding :: STRING -> Encoding toJSONList :: [STRING] -> Value toEncodingList :: [STRING] -> Encoding
ShATermConvertible STRING
Instance details Defined in QVTR.ATC_QVTR Methods toShATermAux :: ATermTable -> STRING -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [STRING] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, STRING) fromShATermList' :: Int -> ATermTable -> (ATermTable, [STRING])
Pretty STRING Source #
Instance details Defined in QVTR.Print Methods pretty :: STRING -> Doc Source # pretties :: [STRING] -> Doc Source #
type Rep STRING
Instance details Defined in QVTR.ATC_QVTR type Rep STRING = D1 ('MetaData "STRING" "QVTR.As" "main" 'False) (C1 ('MetaCons "Str" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleStr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ConcatExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "lStr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 STRING) :*: S1 ('MetaSel ('Just "rStr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 STRING)) :+: C1 ('MetaCons "VarExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "varExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))