| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverInheritance
- resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)
- 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)
- resolveOClafer :: SEnv -> IClafer -> Resolve IClafer
- resolveOSuper :: SEnv -> ISuper -> Resolve ISuper
- resolveOElement :: SEnv -> IElement -> Resolve IElement
- analyzeModule :: (IModule, GEnv) -> IModule
- analyzeClafer :: SEnv -> IClafer -> IClafer
- analyzeGCard :: SEnv -> IClafer -> Maybe IGCard
- analyzeCard :: SEnv -> IClafer -> Maybe Interval
- analyzeElement :: SEnv -> IElement -> IElement
- resolveEModule :: (IModule, GEnv) -> (IModule, GEnv)
- 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
Documentation
resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv) Source
Resolve Non-overlapping inheritance
analyzeModule :: (IModule, GEnv) -> IModule Source
Resolve inherited and default cardinalities
analyzeClafer :: SEnv -> IClafer -> IClafer Source
analyzeElement :: SEnv -> IElement -> IElement Source
unrollableModule :: IModule -> [String] Source
unrollableClafer :: IClafer -> [String] Source
getDirUnrollables :: [(String, [String])] -> [String] Source
resolveEClafer :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IClafer -> m IClafer Source
renameClafer :: MonadState GEnv m => Bool -> IClafer -> m IClafer Source
renameClafer' :: MonadState GEnv m => IClafer -> m IClafer Source
resolveEInheritance :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> [IClafer] -> m ([IElement], ISuper, [IClafer]) Source
resolveEElement :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IElement -> m IElement Source