{- |

Module : $Header$

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

import System.IO

parseXmi :: FilePath -> IO LIB_DEFN

parseXmi fp =

do

handle <- openFile fp ReadMode

contents <- hGetContents handle

case parseXMLDoc contents of

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

Just el -> return (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

--(LibName (IndirectLink (convertFileToLibStr filename) nullRange filename) Nothing)

(emptyLibName $ convertFileToLibStr filename)

(makeLogicItem CSMOF : [convertoItem el])

nullRange []

convertoItem :: Metamodel -> Annoted LIB_ITEM

convertoItem el =

case parseIRI $ ("metamodel://" ++ metamodelName el) of

Nothing -> makeSpecItem nullIRI $ createSpec el

Just ir -> makeSpecItem ir $ createSpec el

createSpec :: Metamodel -> Annoted SPEC

createSpec el = makeSpec $ G_basic_spec CSMOF el