Hets - the Heterogeneous Tool Set

Copyright	(c) Stef Joosten Christian Maeder DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

Adl.StatAna

Description

Synopsis

basicAna :: (Context, Sign, GlobalAnnos) -> Result (Context, ExtSign Sign Symbol, [Named Sen])
data Env = Env {
- sign :: Sign
- syms :: Set Symbol
- sens :: [Named Sen]
- msgs :: [Diagnosis]
}
toEnv :: Sign -> Env
addMsgs :: [Diagnosis] -> State Env ()
addSens :: [Named Sen] -> State Env ()
addSyms :: Set Symbol -> State Env ()
symsOf :: Relation -> Set Symbol
addRel :: Relation -> State Env ()
addIsa :: Concept -> Concept -> State Env ()
data TypedRule = TypedRule Rule RelType
anaRule :: Rule -> State Env Rule
findTypeFailure :: Sign -> Rule -> Rule
typeRule :: Sign -> Rule -> [TypedRule]
compatible :: Rel Concept -> Concept -> Concept -> Maybe Concept
isSubConcept :: Rel Concept -> Concept -> Concept -> Bool
anaAtts :: KeyAtt -> State Env KeyAtt
conceptsOf :: Sign -> Set Concept
anaObject :: Object -> State Env ()
anaPatElem :: PatElem -> State Env PatElem

Documentation

basicAna :: (Context, Sign, GlobalAnnos) -> Result (Context, ExtSign Sign Symbol, [Named Sen]) Source #

data Env Source #

Constructors

Env
Fields sign :: Sign syms :: Set Symbol sens :: [Named Sen] msgs :: [Diagnosis]

toEnv :: Sign -> Env Source #

addMsgs :: [Diagnosis] -> State Env () Source #

addSens :: [Named Sen] -> State Env () Source #

addSyms :: Set Symbol -> State Env () Source #

symsOf :: Relation -> Set Symbol Source #

addRel :: Relation -> State Env () Source #

addIsa :: Concept -> Concept -> State Env () Source #

data TypedRule Source #

Constructors

TypedRule Rule RelType

Instances

Instances details

Show TypedRule Source #
Instance details Defined in Adl.StatAna Methods showsPrec :: Int -> TypedRule -> ShowS show :: TypedRule -> String showList :: [TypedRule] -> ShowS
Pretty TypedRule Source #
Instance details Defined in Adl.StatAna Methods pretty :: TypedRule -> Doc Source # pretties :: [TypedRule] -> Doc Source #

anaRule :: Rule -> State Env Rule Source #

findTypeFailure :: Sign -> Rule -> Rule Source #

typeRule :: Sign -> Rule -> [TypedRule] Source #

analyze rule and return resolved one

compatible :: Rel Concept -> Concept -> Concept -> Maybe Concept Source #

isSubConcept :: Rel Concept -> Concept -> Concept -> Bool Source #

anaAtts :: KeyAtt -> State Env KeyAtt Source #

conceptsOf :: Sign -> Set Concept Source #

anaObject :: Object -> State Env () Source #

anaPatElem :: PatElem -> State Env PatElem Source #