Hets - the Heterogeneous Tool Set
Copyright(c) Daniel Calegari Universidad de la Republica Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CSMOF.StatAna

Description

 

Documentation

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

data TypeInfo Source #

Constructors

TypeInfo 

Fields

data PropInfo Source #

Constructors

PropInfo 

Fields

buildSignature :: Metamodel -> Sign Source #

emptyPropType :: (TypeInfo, PropInfo) Source #

buildSignatureInfo :: Metamodel -> (TypeInfo, PropInfo) Source #

buildInfo :: NamedElement -> (TypeInfo, PropInfo) -> (TypeInfo, PropInfo) Source #

addSuperClasses :: TypeClass -> [Class] -> Rel TypeClass -> Rel TypeClass Source #

toTypeClass :: Class -> TypeClass Source #

buildInstances :: Metamodel -> Map String TypeClass Source #

createInstanceFromObject :: Object -> Map String TypeClass -> Map String TypeClass Source #

buildLinks :: Metamodel -> Set LinkT Source #

createLinksFromLinks :: Link -> Set LinkT -> Set LinkT Source #

createProperty :: String -> Type -> Class -> Maybe Property -> PropertyT Source #

buildSentences :: Metamodel -> [Named Sen] Source #

buildSen :: NamedElement -> [Named Sen] -> [Named Sen] Source #