Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2019-10-21 14:07:27 -0400
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2019-10-24 10:29:33 -0400
commite2edbfc7b22fe8d04806b64ed049317f1a9014c4 (patch)
tree16ce3aded4b6357eb8e588b7ff96a237e646a822 /test
parent7583cc1a7115bb6476513abea7b2cfc4a39b5194 (diff)
downloadliza-e2edbfc7b22fe8d04806b64ed049317f1a9014c4.tar.gz
liza-e2edbfc7b22fe8d04806b64ed049317f1a9014c4.tar.bz2
liza-e2edbfc7b22fe8d04806b64ed049317f1a9014c4.zip
src/numeric: New module
This beings to introduce compile-time safety for numeric values under the assumption that they are enforced by the runtime. See docblock for more information.
Diffstat (limited to 'test')
-rw-r--r--test/numeric-test.ts59
1 files changed, 59 insertions, 0 deletions
diff --git a/test/numeric-test.ts b/test/numeric-test.ts
new file mode 100644
index 0000000..8f07bb6
--- /dev/null
+++ b/test/numeric-test.ts
@@ -0,0 +1,59 @@
+/**
+ * Test numeric types
+ *
+ * Copyright (C) 2010-2019 R-T Specialty, LLC.
+ *
+ * This file is part of the Liza Data Collection Framework.
+ *
+ * liza is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Affero General Public License as
+ * published by the Free Software Foundation, either version 3 of the
+ * License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Affero General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+import { expect } from 'chai';
+import { PositiveInteger, isPositiveInteger } from "../src/numeric";
+
+
+describe( 'isPositiveInteger', () =>
+{
+ [
+ 0,
+ 5,
+ ].forEach( value => it( `accepts positive integers (${value})`, () =>
+ {
+ expect( isPositiveInteger( value ) ).to.be.true;
+ } ) );
+
+
+ [
+ -1,
+ -5,
+ ].forEach( value => it( `rejects negative integers (${value})`, () =>
+ {
+ expect( isPositiveInteger( value ) ).to.be.false;
+ } ) );
+
+
+ it( "asserts type PositiveInteger", () =>
+ {
+ const n = 5;
+
+ if ( isPositiveInteger( n ) )
+ {
+ // TS should recognize as PositiveInteger within this block
+ checkPositiveInteger( n );
+ }
+ } );
+} );
+
+
+const checkPositiveInteger = ( _n: PositiveInteger ): void => {};