Hets - the Heterogeneous Tool Set

Copyright(c) Daniel Calegari Universidad de la Republica Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

QVTR.As

Description

 

Documentation

data Transformation Source #

Constructors

Transformation 

Fields

Instances

Eq Transformation Source # 
Data Transformation Source # 

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 :: (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 # 
GetRange Transformation Source # 
Syntax QVTR Transformation () () () Source # 
StaticAnalysis QVTR Transformation Sen () () Sign Morphism () () Source # 

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 # 
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

data Key Source #

Constructors

Key 

Fields

Instances

Eq Key Source # 

Methods

(==) :: Key -> Key -> Bool

(/=) :: Key -> Key -> Bool

Data Key Source # 

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 :: (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 # 

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

GetRange Key Source # 

data PropKey Source #

Constructors

SimpleProp 

Fields

OppositeProp 

Fields

Instances

Eq PropKey Source # 

Methods

(==) :: PropKey -> PropKey -> Bool

(/=) :: PropKey -> PropKey -> Bool

Data PropKey Source # 

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 :: (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 # 

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

GetRange PropKey Source # 

data Relation Source #

Constructors

Relation 

Fields

Instances

Eq Relation Source # 

Methods

(==) :: Relation -> Relation -> Bool

(/=) :: Relation -> Relation -> Bool

Data Relation Source # 

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 :: (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 # 

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

GetRange Relation Source # 

data RelVar Source #

Constructors

RelVar 

Fields

Instances

Eq RelVar Source # 

Methods

(==) :: RelVar -> RelVar -> Bool

(/=) :: RelVar -> RelVar -> Bool

Data RelVar Source # 

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 :: (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 # 

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

GetRange RelVar Source # 

data PrimitiveDomain Source #

Constructors

PrimitiveDomain 

Fields

Instances

Eq PrimitiveDomain Source # 
Data PrimitiveDomain Source # 

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 :: (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 # 
GetRange PrimitiveDomain Source # 

data Domain Source #

Constructors

Domain 

Fields

Instances

Eq Domain Source # 

Methods

(==) :: Domain -> Domain -> Bool

(/=) :: Domain -> Domain -> Bool

Data Domain Source # 

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 :: (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 # 

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

GetRange Domain Source # 

data ObjectTemplate Source #

Constructors

ObjectTemplate 

Fields

Instances

Eq ObjectTemplate Source # 
Data ObjectTemplate Source # 

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 :: (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 # 
GetRange ObjectTemplate Source # 

data PropertyTemplate Source #

Constructors

PropertyTemplate 

Fields

Instances

Eq PropertyTemplate Source # 
Data PropertyTemplate Source # 

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 :: (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 # 
GetRange PropertyTemplate Source # 

data WhenWhere Source #

Constructors

WhenWhere 

Instances

Eq WhenWhere Source # 

Methods

(==) :: WhenWhere -> WhenWhere -> Bool

(/=) :: WhenWhere -> WhenWhere -> Bool

Data WhenWhere Source # 

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 :: (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 # 

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

GetRange WhenWhere Source # 

data RelInvok Source #

Constructors

RelInvok 

Fields

Instances

Eq RelInvok Source # 

Methods

(==) :: RelInvok -> RelInvok -> Bool

(/=) :: RelInvok -> RelInvok -> Bool

Data RelInvok Source # 

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 :: (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 # 

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

GetRange RelInvok Source # 

data OCL Source #

Constructors

Paren 

Fields

StringExp 

Fields

BExp 

Fields

NotB 

Fields

AndB 

Fields

OrB 

Fields

Equal 

Fields

Instances

Eq OCL Source # 

Methods

(==) :: OCL -> OCL -> Bool

(/=) :: OCL -> OCL -> Bool

Data OCL Source # 

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 :: (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 # 

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

GetRange OCL Source # 

data STRING Source #

Constructors

Str 

Fields

ConcatExp 

Fields

VarExp 

Fields

Instances

Eq STRING Source # 

Methods

(==) :: STRING -> STRING -> Bool

(/=) :: STRING -> STRING -> Bool

Data STRING Source # 

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 :: (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 # 

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

GetRange STRING Source #