-- |
-- Module      :  Language.C.Quote.ObjC
-- Copyright   :  (c) Harvard University 2006-2011
--                (c) Geoffrey Mainland 2011-2013
--                (c) Manuel M T Chakravarty 2013-2014
--             :  (c) Drexel University 2013
-- License     :  BSD-style
-- Maintainer  :  mainland@cs.drexel.edu

{-# LANGUAGE FlexibleInstances #-}

module Language.C.Quote.ObjC (
    ToIdent(..),
    ToConst(..),
    ToExp(..),
    objcLit,
    cexp,
    cedecl,
    cdecl,
    csdecl,
    cenum,
    cty,
    cparam,
    cparams,
    cinit,
    cstm,
    cstms,
    citem,
    citems,
    cunit,
    cfun,
    objcprop,
    objcifdecls,
    objcimdecls,
    objcdictelem,
    objcpropattr,
    objcmethparam,
    objcmethproto,
    objcmethdef,
    objcmethrecv,
    objcarg
  ) where

import qualified Language.C.Parser as P
import qualified Language.C.Syntax as C
import Language.C.Quote.Base (ToIdent(..), ToConst(..), ToExp(..), quasiquote)
import Language.Haskell.TH.Quote (QuasiQuoter)

exts :: [C.Extensions]
exts = [C.ObjC]

typenames :: [String]
typenames = ["id", "instancetype"]

-- | A wrapper for a value indicating that it should be treated as an
-- Objective-C literal.
newtype ObjCLit a = ObjCLit a
    deriving (Show, Read, Eq, Ord)

instance ToExp (ObjCLit String) where
    toExp (ObjCLit s) loc = C.ObjCLitString [C.StringConst [show s] s loc] loc

instance ToExp (ObjCLit Bool) where
    toExp (ObjCLit b) loc = C.ObjCLitBool b loc

instance ToExp (ObjCLit Char) where
    toExp (ObjCLit c) loc = C.ObjCLitConst Nothing (C.CharConst (show c) c loc) loc

-- | Indicates that a value should be treated as an Objective-C literal.
objcLit :: a -> ObjCLit a
objcLit = ObjCLit

cdecl, cedecl, cenum, cexp, cfun, cinit, cparam, cparams, csdecl, cstm, cstms :: QuasiQuoter
citem, citems, cty, cunit :: QuasiQuoter
cdecl   = quasiquote exts typenames P.parseDecl
cedecl  = quasiquote exts typenames P.parseEdecl
cenum   = quasiquote exts typenames P.parseEnum
cexp    = quasiquote exts typenames P.parseExp
cfun    = quasiquote exts typenames P.parseFunc
cinit   = quasiquote exts typenames P.parseInit
cparam  = quasiquote exts typenames P.parseParam
cparams = quasiquote exts typenames P.parseParams
csdecl  = quasiquote exts typenames P.parseStructDecl
cstm    = quasiquote exts typenames P.parseStm
cstms   = quasiquote exts typenames P.parseStms
citem   = quasiquote exts typenames P.parseBlockItem
citems  = quasiquote exts typenames P.parseBlockItems
cty     = quasiquote exts typenames P.parseType
cunit   = quasiquote exts typenames P.parseUnit

objcprop, objcpropattr, objcifdecls, objcimdecls, objcdictelem, objcmethparam, objcmethproto :: QuasiQuoter
objcmethdef, objcmethrecv, objcarg :: QuasiQuoter
objcprop      = quasiquote exts typenames P.parseObjCProp
objcifdecls   = quasiquote exts typenames P.parseObjCIfaceDecls
objcimdecls   = quasiquote exts typenames P.parseObjCImplDecls
objcpropattr  = quasiquote exts typenames P.parseObjCPropAttr
objcdictelem  = quasiquote exts typenames P.parseObjCDictElem
objcmethparam = quasiquote exts typenames P.parseObjCMethodParam
objcmethproto = quasiquote exts typenames P.parseObjCMethodProto
objcmethdef   = quasiquote exts typenames P.parseObjCMethodDef
objcmethrecv  = quasiquote exts typenames P.parseObjCMethodRecv
objcarg       = quasiquote exts typenames P.parseObjCKeywordArg