{- |

Module : ./CSMOF/ParseXmiAsLibDefn.hs

Description : CSMOF XMI parser

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

-}

module CSMOF.ParseXmiAsLibDefn where

import CSMOF.As

import CSMOF.Parser

import CSMOF.Logic_CSMOF

import Logic.Grothendieck

import Syntax.AS_Library

import Syntax.AS_Structured

import Common.AS_Annotation

import Common.IRI

import Common.Id

import Common.LibName

import Text.XML.Light

parseXmi :: FilePath -> String -> LIB_DEFN

parseXmi fp contents =

case parseXMLDoc contents of

Nothing -> Lib_defn (emptyLibName (convertFileToLibStr fp)) [] nullRange []

Just el -> parseCSMOFXmi fp el

parseCSMOFXmi :: FilePath -> Element -> LIB_DEFN

parseCSMOFXmi filename contentOfFile = convertToLibDefN filename (parseCSMOF contentOfFile)

convertToLibDefN :: FilePath -> Metamodel -> LIB_DEFN

convertToLibDefN filename el = Lib_defn

(emptyLibName $ convertFileToLibStr filename)

(makeLogicItem CSMOF : [convertoItem el])

nullRange []

convertoItem :: Metamodel -> Annoted LIB_ITEM

convertoItem el = makeSpecItem (simpleIdToIRI $ mkSimpleId $ metamodelName el) $ createSpec el

createSpec :: Metamodel -> Annoted SPEC

createSpec el = makeSpec $ G_basic_spec CSMOF el