Copyright	(c) Daniel Calegari Universidad de la Republica Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	Safe

CSMOF.Parser

Description

Synopsis

parseCSMOF :: Element -> Metamodel
checkXMLStructure :: Element -> Bool
parseElements :: Element -> Metamodel -> Map String String -> [NamedElement]
createElement :: Metamodel -> Map String String -> Element -> [NamedElement]
parseElementSuperClass :: Element -> [String]
createDataType :: Metamodel -> Map String String -> String -> [NamedElement]
createClass :: Metamodel -> Map String String -> String -> Bool -> [String] -> Element -> [NamedElement]
createProperty :: Metamodel -> Map String String -> Class -> Element -> Property
parsePropertyType :: Map String String -> Metamodel -> Element -> Type
parsePropertyOpposite :: Map String String -> Metamodel -> Element -> Type -> Type -> Maybe Property
parseModels :: Element -> Metamodel -> Map String String -> [Model]
createModel :: Metamodel -> Map String String -> Element -> Model
parseObjects :: Metamodel -> Model -> Map String String -> Element -> [Object]
createObject :: Metamodel -> Model -> Map String String -> Element -> Object
parseLinks :: Metamodel -> Model -> Map String String -> Element -> [Link]
createLink :: Metamodel -> Model -> Map String String -> Element -> Link
parseStringAttribute :: Element -> QName -> String
parseIntegerAttribute :: Element -> QName -> Integer
parseBoolAttribute :: Element -> QName -> Bool
linkClass :: Map String String -> Metamodel -> String -> Class
linkObject :: Map String String -> Metamodel -> String -> Object
linkTypeElem :: Map String String -> Metamodel -> String -> Type
linkProperty :: Map String String -> Metamodel -> String -> Type -> Type -> Property
equalClassName :: String -> NamedElement -> Bool
toClass :: NamedElement -> Class
equalObjectName :: String -> Object -> Bool
equalTypeName :: String -> NamedElement -> Bool
toType :: NamedElement -> Type
sameProperty :: String -> Type -> Type -> NamedElement -> Bool
getSuperTypesNames :: Type -> [String]
equalPropertyName :: String -> NamedElement -> Bool
toProperty :: NamedElement -> Property
rightModel :: Map String String -> Metamodel -> String -> Model
isModel :: Map String String -> String -> Model -> Bool
getModelKey :: String -> String
findElementInMap :: String -> Map String String -> String
generateKeyMap :: Element -> Map String String
createElementKey :: Element -> (Integer, Map String String) -> (Integer, Map String String)
createModelKey :: Element -> (Integer, Map String String) -> (Integer, Map String String)
createChildrenKeys :: Element -> (String, Integer, Map String String) -> (String, Integer, Map String String)
third :: (String, Integer, Map String String) -> Map String String
err :: String -> t

Documentation

parseCSMOF :: Element -> Metamodel Source #

checkXMLStructure :: Element -> Bool Source #

parseElements :: Element -> Metamodel -> Map String String -> [NamedElement] Source #

createElement :: Metamodel -> Map String String -> Element -> [NamedElement] Source #

parseElementSuperClass :: Element -> [String] Source #

createDataType :: Metamodel -> Map String String -> String -> [NamedElement] Source #

createClass :: Metamodel -> Map String String -> String -> Bool -> [String] -> Element -> [NamedElement] Source #

createProperty :: Metamodel -> Map String String -> Class -> Element -> Property Source #

parsePropertyType :: Map String String -> Metamodel -> Element -> Type Source #

parsePropertyOpposite :: Map String String -> Metamodel -> Element -> Type -> Type -> Maybe Property Source #

parseModels :: Element -> Metamodel -> Map String String -> [Model] Source #

createModel :: Metamodel -> Map String String -> Element -> Model Source #

parseObjects :: Metamodel -> Model -> Map String String -> Element -> [Object] Source #

createObject :: Metamodel -> Model -> Map String String -> Element -> Object Source #

parseLinks :: Metamodel -> Model -> Map String String -> Element -> [Link] Source #

createLink :: Metamodel -> Model -> Map String String -> Element -> Link Source #

parseStringAttribute :: Element -> QName -> String Source #

parseIntegerAttribute :: Element -> QName -> Integer Source #

parseBoolAttribute :: Element -> QName -> Bool Source #

linkClass :: Map String String -> Metamodel -> String -> Class Source #

linkObject :: Map String String -> Metamodel -> String -> Object Source #

linkTypeElem :: Map String String -> Metamodel -> String -> Type Source #

linkProperty :: Map String String -> Metamodel -> String -> Type -> Type -> Property Source #

equalClassName :: String -> NamedElement -> Bool Source #

toClass :: NamedElement -> Class Source #

equalObjectName :: String -> Object -> Bool Source #

equalTypeName :: String -> NamedElement -> Bool Source #

toType :: NamedElement -> Type Source #

sameProperty :: String -> Type -> Type -> NamedElement -> Bool Source #

getSuperTypesNames :: Type -> [String] Source #

equalPropertyName :: String -> NamedElement -> Bool Source #

toProperty :: NamedElement -> Property Source #

rightModel :: Map String String -> Metamodel -> String -> Model Source #

isModel :: Map String String -> String -> Model -> Bool Source #

getModelKey :: String -> String Source #

findElementInMap :: String -> Map String String -> String Source #

generateKeyMap :: Element -> Map String String Source #

createElementKey :: Element -> (Integer, Map String String) -> (Integer, Map String String) Source #

createModelKey :: Element -> (Integer, Map String String) -> (Integer, Map String String) Source #

createChildrenKeys :: Element -> (String, Integer, Map String String) -> (String, Integer, Map String String) Source #

third :: (String, Integer, Map String String) -> Map String String Source #

err :: String -> t Source #

error messages for the parser