| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.ResolverInheritance
- resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)
- 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)
- resolveOClafer :: SEnv -> IClafer -> Resolve IClafer
- resolveOReference :: SEnv -> Maybe IReference -> Resolve (Maybe IReference)
- 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 -> 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]
Documentation
resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv) Source
Resolve Non-overlapping inheritance
resolveOReference :: SEnv -> Maybe IReference -> Resolve (Maybe IReference) Source
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 -> UID -> IClafer -> m IClafer Source
renameClafer' :: MonadState GEnv m => UID -> IClafer -> m IClafer Source
resolveEInheritance :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> [IClafer] -> m ([IElement], Maybe PExp, [IClafer]) Source
resolveEElement :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IElement -> m IElement Source