{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveDataTypeable

, GeneralizedNewtypeDeriving #-}

{- |

Module : $Header$

Description : Instance of class Logic for FreeCAD

Copyright : (c) Christian Maeder DFKI, Uni Bremen 2009

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : non-portable (imports Logic.Logic)

dummy instance of class Logic for FreeCAD

-}

module FreeCAD.Logic_FreeCAD where

import Logic.Logic

import Common.DefaultMorphism

import Common.Doc

import Common.DocUtils

import Common.ExtSign

import Common.Id

import Common.Utils

import ATerm.Lib

-- import Common.XmlParser (XmlParseable, parseXml)

import Data.List

import qualified Data.Map as Map

import qualified Data.Set as Set

import Data.Typeable

data FreeCAD = FreeCAD deriving Show

instance Language FreeCAD where

description _ = "FreeCAD object representation language"

newtype Text = Text { fromText :: String }

deriving (Show, Eq, Ord, GetRange, Typeable, ShATermConvertible)

instance Pretty Text where

pretty (Text s) = text s

-- use generic Category instance from Logic.Logic

instance Syntax FreeCAD Text () () where

parse_basic_spec FreeCAD = Nothing

instance Sentences FreeCAD () Text (DefaultMorphism Text) () where

map_sen FreeCAD _ = return

sym_of FreeCAD _ = [Set.singleton ()]

symmap_of FreeCAD _ = Map.empty

sym_name FreeCAD _ = genName "FreeCAD"

instance StaticAnalysis FreeCAD Text () () () Text (DefaultMorphism Text) () ()

where

basic_analysis FreeCAD = Just $ \ (s, _, _) ->

return (s, mkExtSign s, [])

empty_signature FreeCAD = Text ""

is_subsig FreeCAD (Text s1) (Text s2) = isInfixOf (trim s1) s2

instance Logic FreeCAD () Text () () () Text (DefaultMorphism Text) () () ()