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-Inferred

CSMOF.StatAna

Description

 

Documentation

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

data TypeInfo

Constructors

TypeInfo 

Fields

typesI :: Set TypeClass
 
typRelI :: Rel TypeClass
 
absTypes :: Set TypeClass
 

data PropInfo

Constructors

PropInfo 

Fields

rolInfo :: Set Role
 
propInfo :: Set PropertyT
 

buildSignature :: Metamodel -> Sign

emptyPropType :: (TypeInfo, PropInfo)

buildSignatureInfo :: Metamodel -> (TypeInfo, PropInfo)

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

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

toTypeClass :: Class -> TypeClass

buildInstances :: Metamodel -> Map String TypeClass

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

buildLinks :: Metamodel -> Set LinkT

createLinksFromLinks :: Link -> Set LinkT -> Set LinkT

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

buildSentences :: Metamodel -> [Named Sen]

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