temper.std.testing.TestingGlobal.map Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of temper-std Show documentation
Show all versions of temper-std Show documentation
Optional support library provided with Temper
{ "version": 3, "file": "java/std/src/main/java/temper/std/testing/TestingGlobal.java", "sources": [ "std/testing.temper.md" ], "sourcesContent": [ "# Temper test framework\n\n## Test instance\n\nWe currently convert assert and check macro calls into method calls on a `Test`\ninstance.\n\n export class Test {\n\nRecommended default Temper assert is soft, meaning that it records failures for\nreporting but doesn't immediately end test execution on a false value. This lets\nyou check multiple conditions more easily.\n\n @connected(\u0022Test::assert\u0022)\n public assert(success: Boolean, message: fn (): String): Void {\n if (!success) {\n _passing = false;\n _messages.add(message());\n }\n }\n\nTypical hard asserts that end the test on false condition also are available.\n\n @connected(\u0022Test::assertHard\u0022)\n public assertHard(\n success: Boolean,\n message: fn (): String,\n ): Void | Bubble {\n assert(success, message);\n if (!success) {\n // Attempt to distinguish assert fails from others.\n // Sadly, they can still orelse an assert failure, so this isn't\n // flawless.\n _failedOnAssert = true;\n bail();\n }\n }\n\nHarden and end current test on any pending failure if not previously hardened.\nBackends typically insert calls to this if needed, but you can also call it\nmanually at any desired point in your test.\n\n public softFailToHard(): Void | Bubble {\n if (hasUnhandledFail) {\n _failedOnAssert = true;\n bail();\n }\n }\n\nProvide a bailing `Bubble` method here that enables backends to customize\nmessage delivery on failure.\n\n @connected(\u0022Test::bail\u0022)\n bail(): Bubble {\n bubble()\n }\n\nYou can check the current passing state of the test at any time. A test is\ncurrently passing if all soft checks and hard asserts have been succesful.\n\nTODO Does this need to be function call syntax for macro purposes?\n\n @connected(\u0022Test::passing\u0022)\n public get passing(): Boolean { _passing }\n\nMessages access is presented as a function because it likely allocates. Also,\nmessages might be automatically constructed in some cases, so it's possibly\nunwise to depend on their exact formatting.\n\n @connected(\u0022Test::messages\u0022)\n public messages(): List\u003cString\u003e { _messages.toList() }\n\n### Backend helper methods\n\nAvoid using backend helper methods in user code. Their behavior might be\nunreliable on some backends and/or have high risk of changing in future releases\nof Temper.\n\n @connected(\u0022Test::failedOnAssert\u0022)\n public get failedOnAssert(): Boolean { _failedOnAssert }\n\nAdditional helper methods to simplify backend code generation in some contexts.\n\n public get hasUnhandledFail(): Boolean { !(_failedOnAssert || _passing) }\n\nSimple helper to get multiple messages combined for now. We probably want to do\nfancier things in the future, but this can simplify backends for now.\n\n public messagesCombined(): String | Null {\n if (_messages.isEmpty) {\n // Unexpected, but most backends can do something with null.\n null\n } else {\n _messages.join(\u0022, \u0022) { (it);; it }\n }\n }\n\n private var _failedOnAssert: Boolean = false;\n private var _passing: Boolean = true;\n private _messages: ListBuilder\u003cString\u003e = new ListBuilder\u003cString\u003e();\n }\n\n## Interpreter testing support\n\nNOTICE: Don't directly anything in this section. It just exists for the\nimplementation of testing within the interpreter.\n\n export let TestCase = Pair\u003cTestName, TestFun\u003e;\n export let TestFailureMessage = String;\n export let TestFun = fn (Test): Void | Bubble;\n export let TestName = String;\n export let TestResult = Pair\u003cTestName, List\u003cTestFailureMessage\u003e\u003e;\n\n @connected(\u0022::processTestCases\u0022)\n export let processTestCases(testCases: List\u003cTestCase\u003e): List\u003cTestResult\u003e {\n testCases.map { (testCase): TestResult;;\n let { key, value as fun } = testCase;\n let test = new Test();\n // Actually call the test.\n let hadBubble = do {\n fun(test);\n false\n } orelse true;\n // Now get the messages.\n let messages = test.messages();\n let failures: List\u003cTestFailureMessage\u003e = if (test.passing) {\n []\n } else if (hadBubble \u0026\u0026 !test.failedOnAssert) {\n // Despite having 1+ failure messages, we seem to have failed on some\n // Bubble separate from asserts, so add that on.\n let allMessages = messages.toListBuilder();\n allMessages.add(\u0022Bubble\u0022);\n allMessages.toList()\n } else {\n messages\n };\n // Package up with test name.\n new Pair(key, failures)\n }\n }\n\n @connected(\u0022::reportTestResults\u0022)\n export let reportTestResults(testResults: List\u003cTestResult\u003e): Void {\n // TODO Write as junit xml (or tap if we switch to that).\n for (var i = 0; i \u003c testResults.length; i += 1) {\n let testResult = testResults[i];\n let failureMessages = testResult.value;\n if (failureMessages.isEmpty) {\n console.log(\u0022\u0024{testResult.key}: Passed\u0022);\n } else {\n let message = failureMessages.join(\u0022, \u0022) { (it);; it };\n console.log(\u0022\u0024{testResult.key}: Failed \u0024{message}\u0022);\n }\n }\n }\n\n @connected(\u0022::runTestCases\u0022)\n export let runTestCases(testCases: List\u003cTestCase\u003e): Void {\n reportTestResults(processTestCases(testCases));\n }\n\nTODO Is this a better idea than inlining each case? We'd need to generate\n`fun testFunction() { runTest(originalFunctionAsCallback) }` or some such.\n\n export let runTest(testFun: TestFun): Void | Bubble {\n let test = new Test();\n testFun(test);\n test.softFailToHard();\n }\n" ], "names": [ "vGlobalConsole__47#1252", "TestName", "TestFun", "TestCase", "TestFailureMessage", "TestResult", "processTestCases", "Test", "testCases", "fn", "testCase", "t#265", "t#267", "t#166", "key", "fun", "test", "hadBubble", "hadBubble#1244", "messages", "failures", "allMessages", "reportTestResults", "testResults", "t#252", "t#152", "i", "s__1248#1249", "testResult", "failureMessages", "it", "message", "runTestCases", "runTest", "testFun" ], "mappings": "AAOI,cAiKC,CAAA,AAjKD,GAiKC,CAAA,AAjKD,OAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,IAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,GAiKC,CAAA,AAjKD,KAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,QAiKC,CAAA,AAjKD,QAiKC,CAAA;AAjKD,aAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,IAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,QAiKC,CAAA,AAjKD,QAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,OAiKC,CAAA,AAjKD,MAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,SAiKC,CAAA;AAjKD,aAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,aAiKC,CAAA;AAjKD,WAiKC,CAAA,AAjKD,IAiKC,CAAA,AAjKD,WAiKC,CAAA,AAjKD,oBAiKC,CAAA;AAjKD,YAiKC,MAAA,AAjKD,cAiKC,EAAA;AAjKD,WAiKC,AAjKD,cAiKC,EAAA,AAjKD;AAAA,KAiKC;AApBK,gBAAO,AAAP,cAAO,AAAP,CAAAA,kBAAO,CAAA;AAtCN,uBAAqB,AAAjB,MAAQ,AAAZ,CAAAC,QAAqB,CAAA;AADrB,uBAAsC,AAAlC,MAAO,AAAX,CAAAC,OAAsC,CAAA;AAFtC,uBAAsC,AAAlC,MAAQ,AAAZ,CAAAC,QAAsC;AACtC,uBAA+B,AAA3B,MAAkB,AAAtB,CAAAC,kBAA+B;AAG/B,uBAAyD,AAArD,MAAU,AAAd,CAAAC,UAAyD;AAGzD,iBAyBN,AAzBuD,KAAgB,AAAhB,MAAgB,AAAhB,OAAgB,CAAA,AAAhB,KAAgB,AAAhB,OAAgB,GAAA,AAA7D,CAAAC,gBAAgB,CAA0B,AAAd,IAAc,AAAd,MAAc,AAAd,OAAc,CAAA,AAAd,SAAc,AAAd,CAAAC,IAAc,GAAA,AAAzB,CAAAC,aAAyB,CAAoB;AACzD,wCAAAD,IAAA,iCAAAE,OAAA,EAAG,CAAAC,YAAQ,AAAX,GACZ,EAW4C;AAAnB,mBAAmB,AAAnB,CAAAC,KAAmB,CAKtB;AAApB,gBAAoB,AAApB,OAAoB,CAAA,AAApB,CAAAC,KAAoB,CAAA;AALE,mBAAoB,AAApB,CAAAC,KAAoB,CAAA;AAXtC,kBAAG,AAAH,CAAAC,OAAG,EAAA,AAAL,CAAAJ,YAAqB,CAAA,AAAhB,SAAO;AAAL,oBAAK,AAAL,CAAAH,IAAK,CAAI,CAAAQ,OAAG,EAAA,AAAnB,CAAAL,YAAqB,CAAA,AAAT,WACK;AAArB,YAAAH,IAAqB,AAAjB,CAAAS,QAAI,EAAG,IAAI,CAAAT,IAAI,EAAE,CAKR;AAHb,mBAGa,AAHT,CAAAU,aAAS,CAGA;AAHG,oBAAAC,cAAA;AACd,eAAA,AADc;AACd,gBAAAH,OAAG,CAAA,AAAH,MAAS,CAAA,AAALC,QAAI,CAAC,CAAA;AADK,gBAAAE,cAAA,EAGf,AAHe,MAGf;AAAA,aAAY,AAAJ,QAAI,AAAJ,gBAAI,AAAJ,UAAI,CAAA,AAAJ;AAAA,gBAAAA,cAAA,EAAI,AAAJ,KAAI;AAAA,aAAA;AAFF,YAAAD,aAAA,GAAAC,cAAA,CAImB;AAA9B,gBAA8B,AAA9B,OAA8B,CAAA,AAA1B,CAAAC,YAAQ,EAAG,CAAAH,QAAI,CAAC,QAAQ,EAAE,CAW7B;AAVD,gBAUC,AAVD,OAUC,CAAA,AAVG,CAAAI,YAAQ,CAUX;AAVwC,gBAAIJ,QAAI,CAAQ,YACvD;AAAA,gBAAAI,YAAA,EAAE,AAAF,KAAE,CAAA,AAAF,EAAE;AAAA,kBAAA,AADqC;AAAgB,oBAE9CH,aAAS,CAAI;AAAC,oBAAAN,KAAA,EAAmB,AAAnB,CAAAK,QAAI,CAAe,mBAAA;AAApB,oBAAAH,KAAA,EAAoB,AAApB,EAAoB,AAAnBF,KAAmB;AAAA;AAAA,oBAAAE,KAAA;AAAA,iBAAA;AAFH,oBAE9BA,KAAA,CAAA,AAF8B,EAKG;AAA1C,wBAA0C,AAA1C,OAA0C,CAAA,AAAtC,CAAAQ,eAAW,EAAG,cAAwB,AAAxB,EAAwB,CAAA,AAAxBF,YAAQ,CAAgB,CAAA;AALH;AAMvC,4BAAyB,CAAA,AAAzB,OAAyB,CAAA,AAAzBE,eAAW,CAAK,SAAQ,CAAC;AACzB,wBAAAT,KAAA,EAAoB,AAApB,KAAoB,CAAA,AAApB,MAAoB,CAAA,AAApBS,eAAW,CAAS,CAAA;AALwB,wBAAAD,YAAA,EAM7C,AADC,CAAAR,KACD;AAAA;AAEA,iBAEsB,KAAA,AAHrB;AAAA,oBAAAQ,YAAA,EAAQ,AAAR,CAAAD,YAAQ;AAAA;AAGa,aAAA;AAAvB,2CAAuB,AAAvB,EAAuB,CAAA,AAAdL,OAAG,CAAE,CAAAM,YAAQ,CAAC;AAAA,SAAA,AAtBX,CAAA;AAAd,mBAuBC,CAAA,AAvBD,eAuBC,CAAA,AAvBDZ,aAAS,CAAK,CAAAC,OAuBb;AAAA;AAII,iBAYN,AAZ4D,KAAI,AAAtD,CAAAa,iBAAiB,CAA8B,AAAhB,IAAgB,AAAhB,MAAgB,AAAhB,OAAgB,CAAA,AAAhB,KAAgB,AAAhB,OAAgB,GAAA,AAA7B,CAAAC,eAA6B,CAAQ,EAE1B;AAAlB,WAAkB,AAAlB,CAAAC,KAAkB,CACL;AAAd,aAAc,AAAd,OAAc,CAAA,AAAd,KAAc,AAAd,OAAc,EAAA,AAAd,CAAAC,KAAc,CAAA;AADzB,WAAM,AAAL,CAAAC,KAAC,EAAG,EAAC;AASb,QAAAC,YACF,CAAA,AADE;AAAA,0BAAA;AATmB,gBAAAH,KAAA,EAAkB,AAAlB,CAAAD,eAAW,CAAA,AAAX,IAAkB,GAAA;AAAtC,oBAAgBG,KAAC,AAAD,EAAsB,AAAlB,CAAAF,KAAkB,CAAA,AAAtC;AACmB;AAAA,wBAAAC,KAAA,EAAc,AAAd,KAAc,CAAA,AAAd,OAAc,CAAA,AAAdF,eAAW,CAAC,CAAAG,KAAC,CAAC;AAAA,qBASlC;AAAA;AAAA,qBAAA;AATG,yBAA+B,AAA/B,OAA+B,CAAA,AAA/B,KAA+B,AAA/B,OAA+B,EAAA,AAA3B,CAAAE,cAAU,EAAG,CAAAH,KAAc,CACO;AAAtC,wBAAsC,AAAtC,OAAsC,CAAA,AAAlC,CAAAI,mBAAe,EAAG,CAAAD,cAAU,CAAM;AAClC,wBAAAC,mBAAe,CAAA,AAAf,OAAuB,GAAA,AAAvB;AACF,wBAAA7B,kBAAO,CAAC,GAAG,CAAmB,AAAf4B,cAAU,CAAI,QAAC,EAAQ,AAAR,WAAS,CAAC;AAAA,qBAIzC,KAAA,AAHM;AACoC,iDAAAnB,OAAA,EAAG,CAAAqB,MAAE,AAAL,GAAS;AAAA,mCAAAA,MAAE;AAAA,yBAAA,AAAX,CAAA;AAAzC,8BAAsD,AAAlD,CAAAC,WAAO,EAAG,KAAwC,CAAA,AAAxC,WAAwC,CAAA,AAAxCF,mBAAe,CAAM,KAAI,CAAE,CAAApB,OAAa;AACtD,wBAAAT,kBAAO,CAAC,GAAG,CAA8B,AAA1B4B,cAAU,CAAI,QAAC,EAAS,AAAT,YAAW,EAAO,AAAP,CAAAG,WAAS,CAAC;AAAA,qBACpD;AARqC,oBAAAL,KAAC,AAAD,EAAM,AAAN,CAAAA,KAAC,EAAK,AAAD,EAAC;AAAA,iBAS7C;AAAA,0BAAAC,YAAA;AAAA;AAAA;AACF;AAAA;AAAA;AAGM,iBAEN,AAFmD,KAAI,AAA7C,CAAAK,YAAY,CAA0B,AAAd,IAAc,AAAd,MAAc,AAAd,OAAc,CAAA,AAAd,SAAc,AAAd,CAAAzB,IAAc,GAAA,AAAzB,CAAAC,aAAyB,CAAQ;AACvD,cAA8C,CAAA,AAA9C,GAA8C,CAAA,AAA9C,OAA8C,CAAA,AAA9C,aAA8C,CAAA,AAA9Cc,iBAAiB,CAAC,MAA2B,CAAA,AAA3B,GAA2B,CAAA,AAA3B,OAA2B,CAAA,AAA3B,aAA2B,CAAA,AAA3BhB,gBAAgB,CAACE,aAAS,CAAC,CAAC;AAAA;AAMzC,iBAIN,AAJqC,KAAa,AAAxC,CAAAyB,OAAO,CAAiB,AAAP,QAAO,AAAP,CAAA1B,IAAO,CAAA,AAAhB,CAAA2B,WAAgB,CAAiB,EAC7B;AAArB,QAAA3B,IAAqB,AAAjB,CAAAS,QAAI,EAAG,IAAI,CAAAT,IAAI,EAAE;AACrB;AAAA,YAAA2B,WAAO,CAAA,AAAP,MAAa,CAAA,AAALlB,QAAI,CAAC;AACb,YAAAA,QAAI,CAAC,cAAc,EAAE;AAAA;AACtB,KAAA;AAjKD;AA6IM,QAAAhB,kBAAO,AAAP,EAAO,AAAP,KAAO,CAAA,AAAP,OAAO,CAAA,AAAP,MAAO,CAAA,AAAP,SAAO,CAAA,AAAP,oBAAO,GAAA;AAtCN,QAAAC,QAAqB,AAArB,EAAqB,AAAN,OAAM,OAAA;AADrB,QAAAC,OAAsC,AAAtC,EAAsC,AAAxB,SAAwB,OAAA;AAFtC,QAAAC,QAAsC,AAAtC,EAAsC,AAAvB,MAAuB;AACtC,QAAAC,kBAA+B,AAA/B,EAA+B,AAAN,OAAM;AAG/B,QAAAC,UAAyD,AAAzD,EAAyD,AAAxC,MAAwC;AAAA;AAyD/D" }© 2015 - 2025 Weber Informatics LLC | Privacy Policy