Documentation

basicAna :: (Transformation, Sign, GlobalAnnos) -> Result (Transformation, ExtSign Sign (), [Named Sen]) Source #

buildSignature :: Transformation -> (Sign, [Diagnosis]) Source #

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

separateTopFromNonTop :: [Relation] -> ([Relation], [Relation]) Source #

isTop :: Relation -> Bool Source #

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

getTypesFromVars :: Sign -> Sign -> [PrimitiveDomain] -> Domain -> Domain -> ([TypeClass], [Diagnosis]) Source #

getDomainType :: Sign -> Domain -> (Maybe TypeClass, [Diagnosis]) Source #

getPrimitiveDomainType :: Sign -> Sign -> PrimitiveDomain -> (Maybe TypeClass, [Diagnosis]) Source #

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

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

createCalledTopRule :: Relation -> Relation Source #

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

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

buildSentences :: Sign -> Transformation -> ([Named Sen], [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 #

collectParSet :: [PrimitiveDomain] -> Domain -> Domain -> [RelVar] Source #

collectVarSet :: [RelVar] -> [PrimitiveDomain] -> Domain -> Domain -> [RelVar] Source #

collectPrimDomVarSet :: [PrimitiveDomain] -> [RelVar] Source #

collectDomainVarSet :: Domain -> [RelVar] Source #

collectRecursiveVars :: Maybe ObjectTemplate -> [RelVar] Source #

buildPattern :: Domain -> Sign -> [RelVar] -> (Pattern, [Diagnosis]) Source #

collectRecursiveRelInvoc :: String -> String -> [PropertyTemplate] -> Sign -> [RelVar] -> ([(PropertyT, RelVar, RelVar)], [Diagnosis]) Source #

getVarFromTemplate :: PropertyTemplate -> [RelVar] -> Maybe RelVar Source #

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

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

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

checkWhenWhere :: Maybe WhenWhere -> (Maybe WhenWhere, [Diagnosis]) Source #

getObjectTemplates :: Domain -> [ObjectTemplate] Source #

getObjectTemplatesFromOT :: ObjectTemplate -> [ObjectTemplate] Source #

getOT :: [PropertyTemplate] -> [ObjectTemplate] Source #