module Test_json =
let lns = Json.lns
(* Non recursive checks *)
(* Typecheck finitely deep nesting *)
let value0 = Json.str | Json.number | Json.const /true|false|null/
let value1 = Json.fix_value value0
(* This test is usually too heavy, activate at will
let value2 = Json.fix_value value1
*)
test lns get "\"menu\"" = { "string" = "menu" }
test lns get "true" = { "const" = "true" }
test lns get "3.141" = { "number" = "3.141" }
test lns get "{ \"key\" : 666 }" =
{ "dict" { "entry" = "key" { "number" = "666" } } }
test lns get "[true, 0, \"yo\"]" =
{ "array" { "const" = "true" } { "number" = "0" } { "string" = "yo" } }
test lns get "{\"a\" : true}" =
{ "dict" { "entry" = "a" { "const" = "true" } } }
test lns get "{ \"0\":true, \"1\":false }" =
{ "dict" { "entry" = "0" { "const" = "true" } }
{ "entry" = "1" { "const" = "false" } } }
test lns get "{ \"0\": true, \"1\":false }" =
{ "dict"
{ "entry" = "0" { "const" = "true" } }
{ "entry" = "1" { "const" = "false" } } }
test lns get "{\"menu\": \"entry one\"}" =
{ "dict" { "entry" = "menu" { "string" = "entry one" } } }
test lns get "[ ]" =
{ "array" }
test lns get "{}" =
{ "dict" }
let s = "{\"menu\": {
\"id\": \"file\",
\"value\": \"File\",
\"popup\": {
\"menuitem\": [
{\"value\": \"New\", \"onclick\": \"CreateNewDoc()\"},
{\"value\": \"Open\", \"onclick\": \"OpenDoc()\"},
{\"value\": \"Close\", \"onclick\": \"CloseDoc()\"}
]
}
}}"
test lns get s =
{ "dict"
{ "entry" = "menu"
{ "dict"
{ }
{ "entry" = "id" { "string" = "file" } }
{ }
{ "entry" = "value" { "string" = "File" } }
{ }
{ "entry" = "popup"
{ "dict"
{ }
{ "entry" = "menuitem"
{ "array"
{ }
{ "dict"
{ "entry" = "value" { "string" = "New" } }
{ "entry" = "onclick"
{ "string" = "CreateNewDoc()" } } }
{ }
{ "dict"
{ "entry" = "value" { "string" = "Open" } }
{ "entry" = "onclick" { "string" = "OpenDoc()" } } }
{ }
{ "dict"
{ "entry" = "value" { "string" = "Close" } }
{ "entry" = "onclick" { "string" = "CloseDoc()" } }
{ }
}
{ } } } { } } } } } }
let t = "
{\"web-app\": {
\"servlet\": [
{
\"servlet-name\": \"cofaxCDS\",
\"servlet-class\": \"org.cofax.cds.CDSServlet\",
\"init-param\": {
\"configGlossary:installationAt\": \"Philadelphia, PA\",
\"configGlossary:adminEmail\": \"ksm@pobox.com\",
\"configGlossary:poweredBy\": \"Cofax\",
\"configGlossary:poweredByIcon\": \"/images/cofax.gif\",
\"configGlossary:staticPath\": \"/content/static\",
\"templateProcessorClass\": \"org.cofax.WysiwygTemplate\",
\"templateLoaderClass\": \"org.cofax.FilesTemplateLoader\",
\"templatePath\": \"templates\",
\"templateOverridePath\": \"\",
\"defaultListTemplate\": \"listTemplate.htm\",
\"defaultFileTemplate\": \"articleTemplate.htm\",
\"useJSP\": false,
\"jspListTemplate\": \"listTemplate.jsp\",
\"jspFileTemplate\": \"articleTemplate.jsp\",
\"cachePackageTagsTrack\": 200,
\"cachePackageTagsStore\": 200,
\"cachePackageTagsRefresh\": 60,
\"cacheTemplatesTrack\": 100,
\"cacheTemplatesStore\": 50,
\"cacheTemplatesRefresh\": 15,
\"cachePagesTrack\": 200,
\"cachePagesStore\": 100,
\"cachePagesRefresh\": 10,
\"cachePagesDirtyRead\": 10,
\"searchEngineListTemplate\": \"forSearchEnginesList.htm\",
\"searchEngineFileTemplate\": \"forSearchEngines.htm\",
\"searchEngineRobotsDb\": \"WEB-INF/robots.db\",
\"useDataStore\": true,
\"dataStoreClass\": \"org.cofax.SqlDataStore\",
\"redirectionClass\": \"org.cofax.SqlRedirection\",
\"dataStoreName\": \"cofax\",
\"dataStoreDriver\": \"com.microsoft.jdbc.sqlserver.SQLServerDriver\",
\"dataStoreUrl\": \"jdbc:microsoft:sqlserver://LOCALHOST:1433;DatabaseName=goon\",
\"dataStoreUser\": \"sa\",
\"dataStorePassword\": \"dataStoreTestQuery\",
\"dataStoreTestQuery\": \"SET NOCOUNT ON;select test='test';\",
\"dataStoreLogFile\": \"/usr/local/tomcat/logs/datastore.log\",
\"dataStoreInitConns\": 10,
\"dataStoreMaxConns\": 100,
\"dataStoreConnUsageLimit\": 100,
\"dataStoreLogLevel\": \"debug\",
\"maxUrlLength\": 500}},
{
\"servlet-name\": \"cofaxEmail\",
\"servlet-class\": \"org.cofax.cds.EmailServlet\",
\"init-param\": {
\"mailHost\": \"mail1\",
\"mailHostOverride\": \"mail2\"}},
{
\"servlet-name\": \"cofaxAdmin\",
\"servlet-class\": \"org.cofax.cds.AdminServlet\"},
{
\"servlet-name\": \"fileServlet\",
\"servlet-class\": \"org.cofax.cds.FileServlet\"},
{
\"servlet-name\": \"cofaxTools\",
\"servlet-class\": \"org.cofax.cms.CofaxToolsServlet\",
\"init-param\": {
\"templatePath\": \"toolstemplates/\",
\"log\": 1,
\"logLocation\": \"/usr/local/tomcat/logs/CofaxTools.log\",
\"logMaxSize\": \"\",
\"dataLog\": 1,
\"dataLogLocation\": \"/usr/local/tomcat/logs/dataLog.log\",
\"dataLogMaxSize\": \"\",
\"removePageCache\": \"/content/admin/remove?cache=pages&id=\",
\"removeTemplateCache\": \"/content/admin/remove?cache=templates&id=\",
\"fileTransferFolder\": \"/usr/local/tomcat/webapps/content/fileTransferFolder\",
\"lookInContext\": 1,
\"adminGroupID\": 4,
\"betaServer\": true}}],
\"servlet-mapping\": {
\"cofaxCDS\": \"/\",
\"cofaxEmail\": \"/cofaxutil/aemail/*\",
\"cofaxAdmin\": \"/admin/*\",
\"fileServlet\": \"/static/*\",
\"cofaxTools\": \"/tools/*\"},
\"taglib\": {
\"taglib-uri\": \"cofax.tld\",
\"taglib-location\": \"/WEB-INF/tlds/cofax.tld\"}}}"
test lns get t =
{ }
{ "dict"
{ "entry" = "web-app"
{ "dict"
{ }
{ "entry" = "servlet"
{ "array"
{ }
{ "dict"
{ }
{ "entry" = "servlet-name" { "string" = "cofaxCDS" } }
{ }
{ "entry" = "servlet-class"
{ "string" = "org.cofax.cds.CDSServlet" } }
{ }
{ "entry" = "init-param"
{ "dict"
{ }
{ "entry" = "configGlossary:installationAt"
{ "string" = "Philadelphia, PA" } }
{ }
{ "entry" = "configGlossary:adminEmail"
{ "string" = "ksm@pobox.com" } }
{ }
{ "entry" = "configGlossary:poweredBy"
{ "string" = "Cofax" } }
{ }
{ "entry" = "configGlossary:poweredByIcon"
{ "string" = "/images/cofax.gif" } }
{ }
{ "entry" = "configGlossary:staticPath"
{ "string" = "/content/static" } }
{ }
{ "entry" = "templateProcessorClass"
{ "string" = "org.cofax.WysiwygTemplate" } }
{ }
{ "entry" = "templateLoaderClass"
{ "string" = "org.cofax.FilesTemplateLoader" } }
{ }
{ "entry" = "templatePath"
{ "string" = "templates" } }
{ }
{ "entry" = "templateOverridePath"
{ "string" = "" } }
{ }
{ "entry" = "defaultListTemplate"
{ "string" = "listTemplate.htm" } }
{ }
{ "entry" = "defaultFileTemplate"
{ "string" = "articleTemplate.htm" } }
{ }
{ "entry" = "useJSP"
{ "const" = "false" } }
{ }
{ "entry" = "jspListTemplate"
{ "string" = "listTemplate.jsp" } }
{ }
{ "entry" = "jspFileTemplate"
{ "string" = "articleTemplate.jsp" } }
{ }
{ "entry" = "cachePackageTagsTrack"
{ "number" = "200" } }
{ }
{ "entry" = "cachePackageTagsStore"
{ "number" = "200" } }
{ }
{ "entry" = "cachePackageTagsRefresh"
{ "number" = "60" } }
{ }
{ "entry" = "cacheTemplatesTrack"
{ "number" = "100" } }
{ }
{ "entry" = "cacheTemplatesStore"
{ "number" = "50" } }
{ }
{ "entry" = "cacheTemplatesRefresh"
{ "number" = "15" } }
{ }
{ "entry" = "cachePagesTrack"
{ "number" = "200" } }
{ }
{ "entry" = "cachePagesStore"
{ "number" = "100" } }
{ }
{ "entry" = "cachePagesRefresh"
{ "number" = "10" } }
{ }
{ "entry" = "cachePagesDirtyRead"
{ "number" = "10" } }
{ }
{ "entry" = "searchEngineListTemplate"
{ "string" = "forSearchEnginesList.htm" } }
{ }
{ "entry" = "searchEngineFileTemplate"
{ "string" = "forSearchEngines.htm" } }
{ }
{ "entry" = "searchEngineRobotsDb"
{ "string" = "WEB-INF/robots.db" } }
{ }
{ "entry" = "useDataStore"
{ "const" = "true" } }
{ }
{ "entry" = "dataStoreClass"
{ "string" = "org.cofax.SqlDataStore" } }
{ }
{ "entry" = "redirectionClass"
{ "string" = "org.cofax.SqlRedirection" } }
{ }
{ "entry" = "dataStoreName"
{ "string" = "cofax" } }
{ }
{ "entry" = "dataStoreDriver"
{ "string" = "com.microsoft.jdbc.sqlserver.SQLServerDriver" } }
{ }
{ "entry" = "dataStoreUrl"
{ "string" = "jdbc:microsoft:sqlserver://LOCALHOST:1433;DatabaseName=goon" } }
{ }
{ "entry" = "dataStoreUser"
{ "string" = "sa" } }
{ }
{ "entry" = "dataStorePassword"
{ "string" = "dataStoreTestQuery" } }
{ }
{ "entry" = "dataStoreTestQuery"
{ "string" = "SET NOCOUNT ON;select test='test';" } }
{ }
{ "entry" = "dataStoreLogFile"
{ "string" = "/usr/local/tomcat/logs/datastore.log" } }
{ }
{ "entry" = "dataStoreInitConns"
{ "number" = "10" } }
{ }
{ "entry" = "dataStoreMaxConns"
{ "number" = "100" } }
{ }
{ "entry" = "dataStoreConnUsageLimit"
{ "number" = "100" } }
{ }
{ "entry" = "dataStoreLogLevel"
{ "string" = "debug" } }
{ }
{ "entry" = "maxUrlLength"
{ "number" = "500" } } } } }
{ }
{ "dict"
{ }
{ "entry" = "servlet-name"
{ "string" = "cofaxEmail" } }
{ }
{ "entry" = "servlet-class"
{ "string" = "org.cofax.cds.EmailServlet" } }
{ }
{ "entry" = "init-param"
{ "dict"
{ }
{ "entry" = "mailHost"
{ "string" = "mail1" } }
{ }
{ "entry" = "mailHostOverride"
{ "string" = "mail2" } } } } }
{ }
{ "dict"
{ }
{ "entry" = "servlet-name"
{ "string" = "cofaxAdmin" } }
{ }
{ "entry" = "servlet-class"
{ "string" = "org.cofax.cds.AdminServlet" } } }
{ }
{ }
{ "dict"
{ }
{ "entry" = "servlet-name"
{ "string" = "fileServlet" } }
{ }
{ "entry" = "servlet-class"
{ "string" = "org.cofax.cds.FileServlet" } } }
{ }
{ "dict"
{ }
{ "entry" = "servlet-name"
{ "string" = "cofaxTools" } }
{ }
{ "entry" = "servlet-class"
{ "string" = "org.cofax.cms.CofaxToolsServlet" } }
{ }
{ "entry" = "init-param"
{ "dict"
{ }
{ "entry" = "templatePath"
{ "string" = "toolstemplates/" } }
{ }
{ "entry" = "log"
{ "number" = "1" } }
{ }
{ "entry" = "logLocation"
{ "string" = "/usr/local/tomcat/logs/CofaxTools.log" } }
{ }
{ "entry" = "logMaxSize"
{ "string" = "" } }
{ }
{ "entry" = "dataLog"
{ "number" = "1" } }
{ }
{ "entry" = "dataLogLocation"
{ "string" = "/usr/local/tomcat/logs/dataLog.log" } }
{ }
{ "entry" = "dataLogMaxSize"
{ "string" = "" } }
{ }
{ "entry" = "removePageCache"
{ "string" = "/content/admin/remove?cache=pages&id=" } }
{ }
{ "entry" = "removeTemplateCache"
{ "string" = "/content/admin/remove?cache=templates&id=" } }
{ }
{ "entry" = "fileTransferFolder"
{ "string" = "/usr/local/tomcat/webapps/content/fileTransferFolder" } }
{ }
{ "entry" = "lookInContext"
{ "number" = "1" } }
{ }
{ "entry" = "adminGroupID"
{ "number" = "4" } }
{ }
{ "entry" = "betaServer"
{ "const" = "true" } } } } } } }
{ }
{ "entry" = "servlet-mapping"
{ "dict"
{ }
{ "entry" = "cofaxCDS"
{ "string" = "/" } }
{ }
{ "entry" = "cofaxEmail"
{ "string" = "/cofaxutil/aemail/*" } }
{ }
{ "entry" = "cofaxAdmin"
{ "string" = "/admin/*" } }
{ }
{ "entry" = "fileServlet"
{ "string" = "/static/*" } }
{ }
{ "entry" = "cofaxTools"
{ "string" = "/tools/*" } } } }
{ }
{ }
{ "entry" = "taglib"
{ "dict"
{ }
{ "entry" = "taglib-uri"
{ "string" = "cofax.tld" } }
{ }
{ "entry" = "taglib-location"
{ "string" = "/WEB-INF/tlds/cofax.tld" } } } } } } }
(* Comments *)
test lns get "// A comment
//
{\"menu\": 1 }
//
/*
This is a multiline comment
*/\n" =
{ "#comment" = "A comment" }
{ }
{ "dict"
{ "entry" = "menu"
{ "number" = "1" } }
{ }
{ }
{ "#mcomment"
{ "1" = "This is a multiline comment" } } }
let s_commented = "/* before */
{ // before all values
\"key\": // my key
\"value\" // my value
, // after value
\"key2\": [ // before array values
\"val21\",
\"val22\"
// after value 22
]
// after all values
}
"
test lns get s_commented =
{ "#mcomment" { "1" = "before" } }
{ "dict"
{ "#comment" = "before all values" }
{ "entry" = "key"
{ "#comment" = "my key" }
{ "string" = "value" { "#comment" = "my value" } } }
{ "#comment" = "after value" }
{ "entry" = "key2"
{ "array"
{ "#comment" = "before array values" }
{ "string" = "val21" }
{ }
{ "string" = "val22"
{ }
{ "#comment" = "after value 22" } }
{ }
{ "#comment" = "after all values" } } }
{ } }
(* Test lns
Allow escaped quotes, backslashes and tabs/newlines *)
test lns get "{ \"filesystem\": \"ext3\\\" \\\\ \t \r\n SEC_TYPE=\\\"ext2\" }\n" =
{ "dict"
{ "entry" = "filesystem"
{ "string" = "ext3\\\" \\\\ \t \r\n SEC_TYPE=\\\"ext2" } }
{ } }
test Json.str get "\"\\\"\"" = { "string" = "\\\"" }
test Json.str get "\"\\\"" = *
test Json.str get "\"\"\"" = *
test Json.str get "\"\\u1234\"" = { "string" = "\u1234" }
(* Allow spurious backslashes; Issue #557 *)
test Json.str get "\"\\/\"" = { "string" = "\\/" }
test lns get "{ \"download-dir\": \"\\/var\\/tmp\\/\" }" =
{ "dict"
{ "entry" = "download-dir"
{ "string" = "\/var\/tmp\/" } } }