Language.Clafer.Intermediate.ResolverInheritance

Documentation

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

Resolve Non-overlapping inheritance

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

resolveNSuper :: [IElement] -> ISuper -> Resolve ISuper

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

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

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

Resolve overlapping inheritance

resolveOClafer :: SEnv -> IClafer -> Resolve IClafer

resolveOSuper :: SEnv -> ISuper -> Resolve ISuper

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 -> IClafer -> m IClafer

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

genId :: String -> Int -> String

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

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