Compare commits
2 Commits
ca0a7b41df
...
978d6c6315
| Author | SHA1 | Date |
|---|---|---|
 Bram
|
978d6c6315 | |
|
Bram
|
88818abe20 |
|
|
@ -0,0 +1,143 @@
|
|||
module Context exposing (..)
|
||||
|
||||
import Expect
|
||||
import Fuzz exposing (Fuzzer)
|
||||
import Internal.Config.Leaks as Leaks
|
||||
import Internal.Values.Context as Context exposing (Context)
|
||||
import Json.Decode as D
|
||||
import Json.Encode as E
|
||||
import Test exposing (..)
|
||||
|
||||
|
||||
fuzzer : Fuzzer Context
|
||||
fuzzer =
|
||||
let
|
||||
maybeString : Fuzzer (Maybe String)
|
||||
maybeString =
|
||||
Fuzz.maybe Fuzz.string
|
||||
in
|
||||
Fuzz.map7 Context
|
||||
maybeString
|
||||
maybeString
|
||||
maybeString
|
||||
maybeString
|
||||
maybeString
|
||||
maybeString
|
||||
(Fuzz.maybe <| Fuzz.list Fuzz.string)
|
||||
|
||||
|
||||
{-| If a leak is spotted, make sure to change the leaking value and then test
|
||||
with the same seed to ensure it is not a (tiny) coincidence and a leak is in
|
||||
fact coming through.
|
||||
-}
|
||||
leaks : Test
|
||||
leaks =
|
||||
describe "No leaks allowed"
|
||||
[ fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Access token"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setAccessToken value
|
||||
|> Context.getAccessToken
|
||||
|> Expect.notEqual Leaks.accessToken
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Base URL"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setBaseUrl value
|
||||
|> Context.getBaseUrl
|
||||
|> Expect.notEqual Leaks.baseUrl
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Transaction"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setTransaction value
|
||||
|> Context.getTransaction
|
||||
|> Expect.notEqual Leaks.transaction
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
(Fuzz.list Fuzz.string)
|
||||
"Versions"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setVersions value
|
||||
|> Context.getVersions
|
||||
|> Expect.notEqual Leaks.versions
|
||||
)
|
||||
]
|
||||
|
||||
|
||||
apiContext : Test
|
||||
apiContext =
|
||||
describe "Verify writing info"
|
||||
[ fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Access token"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setAccessToken value
|
||||
|> Context.getAccessToken
|
||||
|> Expect.equal value
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Base URL"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setBaseUrl value
|
||||
|> Context.getBaseUrl
|
||||
|> Expect.equal value
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Transaction"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setTransaction value
|
||||
|> Context.getTransaction
|
||||
|> Expect.equal value
|
||||
)
|
||||
, fuzz2 fuzzer
|
||||
(Fuzz.list Fuzz.string)
|
||||
"Versions"
|
||||
(\context value ->
|
||||
context
|
||||
|> Context.apiFormat
|
||||
|> Context.setVersions value
|
||||
|> Context.getVersions
|
||||
|> Expect.equal value
|
||||
)
|
||||
]
|
||||
|
||||
|
||||
json : Test
|
||||
json =
|
||||
describe "JSON encode + JSON decode"
|
||||
[ test "Empty is {}"
|
||||
(Context.init
|
||||
|> Context.encode
|
||||
|> E.encode 0
|
||||
|> Expect.equal "{}"
|
||||
|> always
|
||||
)
|
||||
, fuzz fuzzer
|
||||
"JSON recode"
|
||||
(\context ->
|
||||
context
|
||||
|> Context.encode
|
||||
|> D.decodeValue Context.decoder
|
||||
|> Expect.equal (Ok context)
|
||||
)
|
||||
]
|
||||
198
tests/Iddict.elm
198
tests/Iddict.elm
|
|
@ -4,9 +4,8 @@ import Expect
|
|||
import Fuzz exposing (Fuzzer)
|
||||
import Internal.Tools.Iddict as Iddict exposing (Iddict)
|
||||
import Json.Decode as D
|
||||
import Test exposing (..)
|
||||
import Json.Encode as E
|
||||
import Internal.Tools.Iddict as Iddict
|
||||
import Test exposing (..)
|
||||
|
||||
|
||||
fuzzer : Fuzzer a -> Fuzzer (Iddict a)
|
||||
|
|
@ -94,6 +93,7 @@ empty =
|
|||
)
|
||||
]
|
||||
|
||||
|
||||
singleton : Test
|
||||
singleton =
|
||||
let
|
||||
|
|
@ -106,86 +106,100 @@ singleton =
|
|||
)
|
||||
Fuzz.int
|
||||
in
|
||||
describe "singleton"
|
||||
[ fuzz singleFuzzer "not isEmpty"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.isEmpty
|
||||
|> Expect.equal False
|
||||
)
|
||||
, fuzz Fuzz.int "singleton == insert empty"
|
||||
(\i ->
|
||||
Iddict.empty
|
||||
|> Iddict.insert i
|
||||
|> Expect.equal (Iddict.singleton i)
|
||||
)
|
||||
, fuzz Fuzz.int "First item is key 0"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.first
|
||||
|> Expect.equal 0
|
||||
)
|
||||
, fuzz singleFuzzer "Key 0 is member"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.member 0
|
||||
|> Expect.equal True
|
||||
)
|
||||
, fuzz Fuzz.int "Key 0 get returns Just value"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.get 0
|
||||
|> Expect.equal (Just i)
|
||||
)
|
||||
, fuzz singleFuzzer "Size == 1"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.size
|
||||
|> Expect.equal 1
|
||||
)
|
||||
, fuzz Fuzz.int "Only key 0"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.keys
|
||||
|> Expect.equal [ 0 ]
|
||||
)
|
||||
, fuzz Fuzz.int "Only value value"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.values
|
||||
|> Expect.equal [ i ]
|
||||
)
|
||||
, fuzz singleFuzzer "JSON encode -> decode -> singleton"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.encode E.int
|
||||
|> D.decodeValue (Iddict.decoder D.int)
|
||||
|> Expect.equal (Ok single)
|
||||
)
|
||||
, fuzz Fuzz.int "JSON encode"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.encode E.int
|
||||
|> E.encode 0
|
||||
|> Expect.equal ("{\"cursor\":1,\"dict\":{\"0\":" ++ (String.fromInt i) ++ "}}")
|
||||
)
|
||||
, fuzz Fuzz.int "JSON decode"
|
||||
(\i ->
|
||||
("{\"cursor\":1,\"dict\":{\"0\":" ++ (String.fromInt i) ++ "}}")
|
||||
|> D.decodeString (Iddict.decoder D.int)
|
||||
|> Tuple.pair 0
|
||||
|> Expect.equal (Iddict.singleton i |> Tuple.mapSecond Ok)
|
||||
)
|
||||
]
|
||||
describe "singleton"
|
||||
[ fuzz singleFuzzer
|
||||
"not isEmpty"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.isEmpty
|
||||
|> Expect.equal False
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"singleton == insert empty"
|
||||
(\i ->
|
||||
Iddict.empty
|
||||
|> Iddict.insert i
|
||||
|> Expect.equal (Iddict.singleton i)
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"First item is key 0"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.first
|
||||
|> Expect.equal 0
|
||||
)
|
||||
, fuzz singleFuzzer
|
||||
"Key 0 is member"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.member 0
|
||||
|> Expect.equal True
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"Key 0 get returns Just value"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.get 0
|
||||
|> Expect.equal (Just i)
|
||||
)
|
||||
, fuzz singleFuzzer
|
||||
"Size == 1"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.size
|
||||
|> Expect.equal 1
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"Only key 0"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.keys
|
||||
|> Expect.equal [ 0 ]
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"Only value value"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.values
|
||||
|> Expect.equal [ i ]
|
||||
)
|
||||
, fuzz singleFuzzer
|
||||
"JSON encode -> decode -> singleton"
|
||||
(\single ->
|
||||
single
|
||||
|> Iddict.encode E.int
|
||||
|> D.decodeValue (Iddict.decoder D.int)
|
||||
|> Expect.equal (Ok single)
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"JSON encode"
|
||||
(\i ->
|
||||
Iddict.singleton i
|
||||
|> Tuple.second
|
||||
|> Iddict.encode E.int
|
||||
|> E.encode 0
|
||||
|> Expect.equal ("{\"cursor\":1,\"dict\":{\"0\":" ++ String.fromInt i ++ "}}")
|
||||
)
|
||||
, fuzz Fuzz.int
|
||||
"JSON decode"
|
||||
(\i ->
|
||||
("{\"cursor\":1,\"dict\":{\"0\":" ++ String.fromInt i ++ "}}")
|
||||
|> D.decodeString (Iddict.decoder D.int)
|
||||
|> Tuple.pair 0
|
||||
|> Expect.equal (Iddict.singleton i |> Tuple.mapSecond Ok)
|
||||
)
|
||||
]
|
||||
|
||||
|
||||
insert : Test
|
||||
insert =
|
||||
describe "insert"
|
||||
[ fuzz2 (fuzzer Fuzz.int) Fuzz.int "Add something"
|
||||
[ fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"Add something"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( key, dict ) ->
|
||||
|
|
@ -193,14 +207,18 @@ insert =
|
|||
|> Iddict.get key
|
||||
|> Expect.equal (Just i)
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "Never isEmpty"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"Never isEmpty"
|
||||
(\d i ->
|
||||
Iddict.insert i d
|
||||
|> Tuple.second
|
||||
|> Iddict.isEmpty
|
||||
|> Expect.equal False
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "New key"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"New key"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( key, dict ) ->
|
||||
|
|
@ -211,7 +229,9 @@ insert =
|
|||
Expect.notEqual key newKey
|
||||
)
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "New dict"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"New dict"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( key, dict ) ->
|
||||
|
|
@ -222,7 +242,9 @@ insert =
|
|||
Expect.notEqual dict newDict
|
||||
)
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "Inserted value is member"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"Inserted value is member"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( key, dict ) ->
|
||||
|
|
@ -230,7 +252,9 @@ insert =
|
|||
|> Iddict.member key
|
||||
|> Expect.equal True
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "Get inserted value"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"Get inserted value"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( key, dict ) ->
|
||||
|
|
@ -238,12 +262,14 @@ insert =
|
|||
|> Iddict.get key
|
||||
|> Expect.equal (Just i)
|
||||
)
|
||||
, fuzz2 (fuzzer Fuzz.int) Fuzz.int "size = size + 1"
|
||||
, fuzz2 (fuzzer Fuzz.int)
|
||||
Fuzz.int
|
||||
"size = size + 1"
|
||||
(\d i ->
|
||||
case Iddict.insert i d of
|
||||
( _, dict ) ->
|
||||
Expect.equal
|
||||
( Iddict.size dict )
|
||||
( Iddict.size d + 1 )
|
||||
(Iddict.size dict)
|
||||
(Iddict.size d + 1)
|
||||
)
|
||||
]
|
||||
|
|
|
|||
|
|
@ -2,44 +2,52 @@ module Vault exposing (..)
|
|||
|
||||
import Expect
|
||||
import Fuzz exposing (Fuzzer)
|
||||
import Internal.Config.Default as Default
|
||||
import Internal.Values.Envelope as Envelope
|
||||
import Matrix
|
||||
import Matrix.Settings
|
||||
import Test exposing (..)
|
||||
import Types
|
||||
import Internal.Values.Envelope as Envelope
|
||||
import Internal.Config.Default as Default
|
||||
|
||||
|
||||
fuzzer : Fuzzer Matrix.Vault
|
||||
fuzzer =
|
||||
Fuzz.constant <| Types.Vault <| Envelope.init {}
|
||||
|
||||
|
||||
settings : Test
|
||||
settings =
|
||||
describe "Edit settings"
|
||||
[ fuzz fuzzer "Default device name"
|
||||
[ fuzz fuzzer
|
||||
"Default device name"
|
||||
(\vault ->
|
||||
vault
|
||||
|> Matrix.Settings.getDeviceName
|
||||
|> Expect.equal Default.deviceName
|
||||
)
|
||||
, fuzz2 fuzzer Fuzz.string "Set device name"
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.string
|
||||
"Set device name"
|
||||
(\vault name ->
|
||||
vault
|
||||
|> Matrix.Settings.setDeviceName name
|
||||
|> Matrix.Settings.getDeviceName
|
||||
|> Expect.equal name
|
||||
)
|
||||
, fuzz fuzzer "Default sync time"
|
||||
, fuzz fuzzer
|
||||
"Default sync time"
|
||||
(\vault ->
|
||||
vault
|
||||
|> Matrix.Settings.getSyncTime
|
||||
|> Expect.equal Default.syncTime
|
||||
)
|
||||
, fuzz2 fuzzer Fuzz.int "Set sync time"
|
||||
, fuzz2 fuzzer
|
||||
Fuzz.int
|
||||
"Set sync time"
|
||||
(\vault sync ->
|
||||
vault
|
||||
|> Matrix.Settings.setSyncTime sync
|
||||
|> Matrix.Settings.getSyncTime
|
||||
|> Expect.equal sync
|
||||
)
|
||||
]
|
||||
]
|
||||
|
|
|
|||
Loading…
Reference in New Issue