{- |

Module : ./atermlib/src/ATerm/Unshared.hs

Description : conversion between shared and (basically unused) unshared ATerms

Copyright : (c) Klaus Luettich, Uni Bremen 2002-2004

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : non-portable (imports ATerm.AbstractSyntax)

conversion between shared and (basically unused) unshared 'ATerm's

-}

module ATerm.Unshared

(ATerm (..),

fromATerm,

fromShATerm,

getATermFull,

toATermTable)

where

import ATerm.AbstractSyntax

import ATerm.Conversion

data ATerm = AAppl String [ATerm] [ATerm]

| AList [ATerm] [ATerm]

| AInt Integer [ATerm]

deriving (Eq, Ord, Show)

fromShATerm :: ShATermConvertible t => ATermTable -> t

fromShATerm att = snd $ fromShATerm' (getTopIndex att) att

fromATerm :: ShATermConvertible t => ATerm -> t

fromATerm = fromShATerm . toATermTable

getATermFull :: ATermTable -> ATerm

getATermFull at =

let t = getATerm at

in case t of

(ShAInt i as) -> AInt i (map conv as)

(ShAList l as) -> AList (map conv l) (map conv as)

(ShAAppl c l as) -> AAppl c (map conv l) (map conv as)

where conv t = getATermFull (getATermByIndex1 t at)

toATermTable :: ATerm -> ATermTable

toATermTable at = fst $ addToTable at emptyATermTable

where

addToTable :: ATerm -> ATermTable -> (ATermTable, Int)

addToTable (AAppl s ats anns) att =

let (att1, ats') = addToTableList ats att

(att2, anns') = addToTableList anns att1

in addATerm (ShAAppl s ats' anns') att2

addToTable (AList ats anns) att =

let (att1, ats') = addToTableList ats att

(att2, anns') = addToTableList anns att1

in addATerm (ShAList ats' anns') att2

addToTable (AInt i anns) att =

let (att1, anns') = addToTableList anns att

in addATerm (ShAInt i anns') att1

addToTableList :: [ATerm] -> ATermTable -> (ATermTable, [Int])

addToTableList [] att = (att, [])

addToTableList (at1 : ats) att =

let (att1, i) = addToTable at1 att

(att2, is) = addToTableList ats att1

in (att2, i : is)