{-# LANGUAGE DataKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE OverloadedStrings #-}

module Language.JavaSpec where

import Data.Int
import qualified Data.Text as Text
import Data.Text (Text)
import Language.Java
import Test.Hspec

spec :: Spec
spec = do
    describe "callStatic" $ do
      it "can call double-returning static functions" $ do
        jstr <- reflect ("1.2345" :: Text)
        callStatic (sing :: Sing "java.lang.Double") "parseDouble" [coerce jstr]
          `shouldReturn` (1.2345 :: Double)

      it "can call int-returning static functions" $ do
        jstr <- reflect ("12345" :: Text)
        callStatic (sing :: Sing "java.lang.Integer") "parseInt" [coerce jstr]
          `shouldReturn` (12345 :: Int32)

      it "can call String-returning static functions" $ do
        jstr <-
          callStatic
            (sing :: Sing "java.lang.Integer")
            "toString"
            [coerce (12345 :: Int32)]
        reify jstr `shouldReturn` ("12345" :: Text)

      it "short doesn't under- or overflow" $ do
        maxshort <- reflect (Text.pack (show (maxBound :: Int16)))
        minshort <- reflect (Text.pack (show (minBound :: Int16)))
        callStatic (sing :: Sing "java.lang.Short") "parseShort" [coerce maxshort]
          `shouldReturn` (maxBound :: Int16)
        callStatic (sing :: Sing "java.lang.Short") "parseShort" [coerce minshort]
          `shouldReturn` (minBound :: Int16)

      it "int doesn't under- or overflow" $ do
        maxint <- reflect (Text.pack (show (maxBound :: Int32)))
        minint <- reflect (Text.pack (show (minBound :: Int32)))
        callStatic (sing :: Sing "java.lang.Integer") "parseInt" [coerce maxint]
          `shouldReturn` (maxBound :: Int32)
        callStatic (sing :: Sing "java.lang.Integer") "parseInt" [coerce minint]
          `shouldReturn` (minBound :: Int32)

      it "long doesn't under- or overflow" $ do
        maxlong <- reflect (Text.pack (show (maxBound :: Int64)))
        minlong <- reflect (Text.pack (show (minBound :: Int64)))
        callStatic (sing :: Sing "java.lang.Long") "parseLong" [coerce maxlong]
          `shouldReturn` (maxBound :: Int64)
        callStatic (sing :: Sing "java.lang.Long") "parseLong" [coerce minlong]
          `shouldReturn` (minBound :: Int64)