Documentation

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

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

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

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

isTop :: Relation -> Bool

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

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

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

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

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

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

createCalledTopRule :: Relation -> Relation

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

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

buildSentences :: Sign -> Transformation -> ([Named Sen], [Diagnosis])

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

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

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

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

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

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

superClasses :: Rel String -> String -> Set String

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

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

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

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

getTargetType :: String -> PropertyT -> String

getOppositeType :: String -> PropertyT -> String

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

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

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

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

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

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

collectPrimDomVarSet :: [PrimitiveDomain] -> [RelVar]

collectDomainVarSet :: Domain -> [RelVar]

collectRecursiveVars :: Maybe ObjectTemplate -> [RelVar]

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

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

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

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

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

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

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

getObjectTemplates :: Domain -> [ObjectTemplate]

getObjectTemplatesFromOT :: ObjectTemplate -> [ObjectTemplate]

getOT :: [PropertyTemplate] -> [ObjectTemplate]