// EXEC: cjc %import-path %L %l %f
// EXEC: ./main

import kv4cj.*
import std.collection.*
import std.core.*

public func allKeys_test00(kv:MMKV): Bool {
    kv.set("set0", Float64(6437347329.943287))
    kv.set("set1", "hello cangjie allKeys_00")
    kv.set("set2", Int32(-444))
    kv.set("set3", UInt64(8989898))
    var set: HashSet<String> = HashSet<String>()
    set.add("set0")
    set.add("set1")
    set.add("set2")
    set.add("set3")
    var allKeys_kv: HashSet<String> = kv.allKeys()

    if (allKeys_kv != set) {
        return false
    }
    return true
}
main(): Unit {
    MMKV.initializeMMKV("rootdir")
    var kv = MMKV.mmkvWithID("test")
    println(MMKV.pageSize())
    if (allKeys_test00(kv) != true) {
        println("false")
    } else {
    	print("true")
    }
}