clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Intermediate.ResolverInheritance

Synopsis

Documentation

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

Resolve Non-overlapping inheritance

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

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

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

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

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

Resolve overlapping inheritance

resolveOClafer :: SEnv -> IClafer -> Resolve IClafer Source

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

resolveOElement :: SEnv -> IElement -> Resolve IElement Source

analyzeModule :: (IModule, GEnv) -> IModule Source

Resolve inherited and default cardinalities

analyzeClafer :: SEnv -> IClafer -> IClafer Source

analyzeGCard :: SEnv -> IClafer -> Maybe IGCard Source

analyzeCard :: SEnv -> IClafer -> Maybe Interval Source

analyzeElement :: SEnv -> IElement -> IElement Source

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

Expand inheritance

unrollableModule :: IModule -> [String] Source

unrollabeDeclaration :: IElement -> Maybe (String, [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

genId :: String -> Int -> String 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

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