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.StatAna

Description

 

Documentation

buildRelations :: Sign -> Sign -> [Relation] -> ((Map String RuleDef, Map String RuleDef), [Diagnosis]) Source #

isTop :: Relation -> Bool Source #

createRuleDef :: Sign -> Sign -> Relation -> (Map String RuleDef, [Diagnosis]) -> (Map String RuleDef, [Diagnosis]) Source #

getType :: [TypeClass] -> String -> (Maybe TypeClass, [Diagnosis]) Source #

getSomething :: [Maybe a] -> [a] Source #

buildKeyDefs :: Sign -> Sign -> [Key] -> ([(String, String)], [Diagnosis]) Source #

buildKeyDef :: Sign -> Sign -> Key -> (Maybe (String, String), [Diagnosis]) Source #

buildKeyConstr :: Sign -> String -> String -> [Key] -> ([Named Sen], [Diagnosis]) Source #

buildKeyC :: Sign -> String -> String -> Key -> (Maybe (Named Sen), [Diagnosis]) Source #

propKeysCheckOK :: Sign -> String -> [PropKey] -> Bool Source #

propKeyCheckOK :: Sign -> String -> PropKey -> Bool Source #

findProperty :: Rel TypeClass -> Set PropertyT -> String -> String -> Bool Source #

findPropertyByTypeAndRole :: [PropertyT] -> [String] -> String -> Bool Source #

superClasses :: Rel String -> String -> Set String Source #

findPropertyInHierarchy :: Rel TypeClass -> Set PropertyT -> String -> String -> Maybe PropertyT Source #

findPropertyElemByTypeAndRole :: [PropertyT] -> [String] -> String -> Maybe PropertyT Source #

findOppProperty :: Rel TypeClass -> Set PropertyT -> String -> String -> String -> Bool Source #

findOppPropertyByTypeAndRole :: [PropertyT] -> [String] -> String -> String -> Bool Source #

getTargetType :: String -> PropertyT -> String Source #

getOppositeType :: String -> PropertyT -> String Source #

third :: (String, String, Metamodel) -> Metamodel Source #

buildRules :: Sign -> (String, String, Metamodel) -> (String, String, Metamodel) -> [Relation] -> ([Named Sen], [Diagnosis]) Source #

checkRules :: Sign -> (String, String, Metamodel) -> (String, String, Metamodel) -> [Relation] -> ([RelationSen], [Diagnosis]) Source #

checkRule :: Sign -> (String, String, Metamodel) -> (String, String, Metamodel) -> Relation -> ([RelationSen], [Diagnosis]) Source #

findVarFromName :: String -> [RelVar] -> Maybe RelVar Source #

collectRecursivePreds :: [RelVar] -> Maybe ObjectTemplate -> [(String, String, OCL)] Source #

getOclExpre :: String -> [RelVar] -> PropertyTemplate -> [(String, String, OCL)] Source #