Language.Clafer.Intermediate.ResolverInheritance

Documentation

resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)

Resolve Non-overlapping inheritance

resolveNClafer :: [IClafer] -> IClafer -> Resolve IClafer

resolveNSuper :: [IClafer] -> Maybe PExp -> Resolve (Maybe PExp, Maybe IClafer)

resolveNElement :: [IClafer] -> IElement -> Resolve IElement

resolveN :: Span -> [IClafer] -> String -> Resolve (Maybe (String, [IClafer]))

resolveHierarchy :: UIDIClaferMap -> IElement -> Resolve IElement

resolveOModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)

Resolve overlapping inheritance

resolveOClafer :: SEnv -> IClafer -> Resolve IClafer

resolveOReference :: SEnv -> Maybe IReference -> Resolve (Maybe IReference)

resolveOElement :: SEnv -> IElement -> Resolve IElement

analyzeModule :: (IModule, GEnv) -> IModule

Resolve inherited and default cardinalities

analyzeClafer :: SEnv -> IClafer -> IClafer

analyzeGCard :: SEnv -> IClafer -> Maybe IGCard

analyzeCard :: SEnv -> IClafer -> Maybe Interval

analyzeElement :: SEnv -> IElement -> IElement

resolveEModule :: (IModule, GEnv) -> (IModule, GEnv)

Expand inheritance

unrollableModule :: IModule -> [String]

unrollabeDeclaration :: IElement -> Maybe (String, [String])

unrollableClafer :: IClafer -> [String]

getDirUnrollables :: [(String, [String])] -> [String]

resolveEClafer :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IClafer -> m IClafer

renameClafer :: MonadState GEnv m => Bool -> UID -> IClafer -> m IClafer

renameClafer' :: MonadState GEnv m => UID -> IClafer -> m IClafer

genId :: String -> Int -> String

resolveEInheritance :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> [IClafer] -> m ([IElement], Maybe PExp, [IClafer])

resolveEElement :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IElement -> m IElement

resolveRedefinition :: (IModule, GEnv) -> Resolve IModule

relocateTopLevelAbstractToParents :: [IElement] -> [IElement]