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

Eq Transformation Source #
Methods (==) :: Transformation -> Transformation -> Bool (/=) :: Transformation -> Transformation -> Bool
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 #
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
GetRange Transformation Source #
Methods getRange :: Transformation -> Range Source # rangeSpan :: Transformation -> [Pos] Source #
Syntax QVTR Transformation () () () Source #
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 (AParser st ()) Source # parse_symb_items :: QVTR -> Maybe (AParser st ()) Source # parse_symb_map_items :: QVTR -> Maybe (AParser st ()) Source # toItem :: QVTR -> Transformation -> Item Source # symb_items_name :: QVTR -> () -> [String] 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 #
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 #
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
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 #

data Key Source #

Constructors

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

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 #
Methods getRange :: Key -> Range Source # rangeSpan :: Key -> [Pos] Source #

data PropKey Source #

Constructors

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

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 #
Methods getRange :: PropKey -> Range Source # rangeSpan :: PropKey -> [Pos] Source #

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

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 #
Methods getRange :: Relation -> Range Source # rangeSpan :: Relation -> [Pos] Source #

data RelVar Source #

Constructors

RelVar
Fields varType :: String varName :: String

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 #
Methods getRange :: RelVar -> Range Source # rangeSpan :: RelVar -> [Pos] Source #

data PrimitiveDomain Source #

Constructors

PrimitiveDomain
Fields primName :: String primType :: String

Instances

Eq PrimitiveDomain Source #
Methods (==) :: PrimitiveDomain -> PrimitiveDomain -> Bool (/=) :: PrimitiveDomain -> PrimitiveDomain -> Bool
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 #
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
GetRange PrimitiveDomain Source #
Methods getRange :: PrimitiveDomain -> Range Source # rangeSpan :: PrimitiveDomain -> [Pos] Source #

data Domain Source #

Constructors

Domain
Fields domModelId :: String template :: ObjectTemplate

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 #
Methods getRange :: Domain -> Range Source # rangeSpan :: Domain -> [Pos] Source #

data ObjectTemplate Source #

Constructors

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

Instances

Eq ObjectTemplate Source #
Methods (==) :: ObjectTemplate -> ObjectTemplate -> Bool (/=) :: ObjectTemplate -> ObjectTemplate -> Bool
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 #
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
GetRange ObjectTemplate Source #
Methods getRange :: ObjectTemplate -> Range Source # rangeSpan :: ObjectTemplate -> [Pos] Source #

data PropertyTemplate Source #

Constructors

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

Instances

Eq PropertyTemplate Source #
Methods (==) :: PropertyTemplate -> PropertyTemplate -> Bool (/=) :: PropertyTemplate -> PropertyTemplate -> Bool
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 #
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
GetRange PropertyTemplate Source #
Methods getRange :: PropertyTemplate -> Range Source # rangeSpan :: PropertyTemplate -> [Pos] Source #

data WhenWhere Source #

Constructors

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

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 #
Methods getRange :: WhenWhere -> Range Source # rangeSpan :: WhenWhere -> [Pos] Source #

data RelInvok Source #

Constructors

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

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 #
Methods getRange :: RelInvok -> Range Source # rangeSpan :: RelInvok -> [Pos] Source #

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

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 #
Methods getRange :: OCL -> Range Source # rangeSpan :: OCL -> [Pos] Source #

data STRING Source #

Constructors

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

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 #
Methods getRange :: STRING -> Range Source # rangeSpan :: STRING -> [Pos] Source #