Add isa.sh, a Shellfu/sh containing few simple validation helpers

packaging/debian/control

@@ -174,6 +174,23 @@ Description: Shellfu/sh module for standard exit statuses
  This sub-package contains 'exit', Shellfu module containing functions
  and variables for standard exit statuses.
 
+Package: shellfu-sh-isa
+Architecture: all
+Depends: shellfu-sh
+Description: Shellfu/sh module with validation helpers
+ Shellfu is an attempt to add modularity to your shell scripts.
+ .
+ With Shellfu you can develop your shell modules separately from your
+ scripts, and test, use, explore or study them without need to be aware
+ of details such as where the actual files are placed.
+ .
+ Shellfu is mostly intended for cases when there's need for non-trivial
+ amount of reliable body of shell scripts, and access to advanced modular
+ languages such as Python or Perl is limited.
+ .
+ This sub-package contains 'isa', Shellfu module containing few
+ value validation helpers.
+
 Package: shellfu-sh-mdfmt
 Architecture: all
 Depends: shellfu-sh

packaging/debian/shellfu-sh-isa.install

@@ -0,0 +1 @@
+/usr/share/shellfu/include-sh/isa.sh

packaging/template.spec

@@ -96,6 +96,13 @@ Obsoletes: shellfu-bash-core < 0.10
 This sub-package contains 'exit', Shellfu module containing functions
 and variables for standard exit statuses.
 
+%package sh-isa
+Summary: Shellfu/sh module with validation helpers
+Requires: shellfu-sh
+%description sh-isa
+This sub-package contains 'isa', Shellfu module containing few
+value validation helpers.
+
 %package sh-mdfmt
 Summary: Markdown formatting helper
 Requires: shellfu-sh
@@ -165,6 +172,9 @@ make test \
 %files sh-exit
 %{_datadir}/%{name}/include-sh/exit.sh
 
+%files sh-isa
+%{_datadir}/%{name}/include-sh/isa.sh
+
 %files sh-mdfmt
 %{_datadir}/%{name}/include-sh/mdfmt.sh
 

src/include-sh/isa.sh

@@ -0,0 +1,67 @@
+#!/bin/sh
+
+#
+# Validation helpers
+#
+# This module provides several basic validation functions
+# to help make code more readable and avoid having to implement
+# them (some may be more tricky than they look like).
+#
+
+isa__bool() {
+    #
+    # True if $1 is a boolean
+    #
+    case $1 in
+        true)   return 0 ;;
+        false)  return 0 ;;
+        *)      return 1 ;;
+    esac
+}
+
+isa__false() {
+    #
+    # True if $1 is a False boolean
+    #
+    test "$1" == false
+}
+
+isa__int() {
+    #
+    # True if $1 is an integer
+    #
+    # Note that $1 does not have to be decimal; in POSIX shells,
+    # eg. 0xf1 is a valid hexadecimal integer and 0755 is a valid
+    # octal integer.
+    #
+    {
+        test -z "$1"    && return 1
+        test "$1" -ge 0 && return 0
+        return 1
+    } 2>/dev/null
+}
+
+isa__name() {
+    #
+    # True if $1 is a name in most languages
+    #
+    echo "$1" | grep -qx '[[:alpha:]_][[:alnum:]_]*'
+}
+
+isa__posint() {
+    #
+    # True if $1 is a positive integer
+    #
+    {
+        test -z "$1"    && return 1
+        test "$1" -ge 0 && return 0
+        return 1
+    } 2>/dev/null
+}
+
+isa__true() {
+    #
+    # True if $1 is a True boolean
+    #
+    test "$1" == true
+}

tests/isa/TF_RUN

@@ -0,0 +1,109 @@
+#!/bin/bash
+#shellcheck disable=SC1090
+
+. "$TF_DIR/include/subtest.sh"
+. "$TF_DIR/include/tools.sh"
+
+. "$(sfpath)" || tf_exit_error "failed to init shellfu"
+export PRETTY=plain
+shellfu import isa    || tf_exit_error "failed to import isa"
+
+
+tf_enum_subtests() {
+    local sut
+    local ttype
+    #
+    # isa_
+    #
+    for sut in isa__bool isa__false isa__int isa__name isa__posint isa__true; do
+        for ttype in ok empty none pfx sfx nota; do
+            echo "${sut},$ttype"
+        done
+    done
+}
+
+mkfact() {
+    #
+    # Make artifact or oracle $what for $TestName
+    #
+    local what=$1
+    case $TestName:$what in
+
+        isa__bool,ok:arg)       echo true ;;
+        isa__bool,pfx:arg)      echo xtrue ;;
+        isa__bool,sfx:arg)      echo truex ;;
+        isa__bool,nota:arg)     echo hello ;;
+        isa__bool,tricky:arg)   echo True ;;
+        isa__bool,ok:o_es)      echo 0 ;;
+        isa__bool,*:o_es)       echo 1 ;;
+
+        isa__false,ok:arg)      echo false ;;
+        isa__false,pfx:arg)     echo xfalse ;;
+        isa__false,sfx:arg)     echo falsex ;;
+        isa__false,nota:arg)    echo true ;;
+        isa__false,tricky:arg)  echo False ;;
+        isa__false,ok:o_es)     echo 0 ;;
+        isa__false,*:o_es)      echo 1 ;;
+
+        isa__true,ok:arg)       echo true ;;
+        isa__true,pfx:arg)      echo xtrue ;;
+        isa__true,sfx:arg)      echo truex ;;
+        isa__true,nota:arg)     echo True ;;
+        isa__true,tricky:arg)   echo 0 ;;
+        isa__true,ok:o_es)      echo 0 ;;
+        isa__true,*:o_es)       echo 1 ;;
+
+        isa__int,ok:arg)        echo 42 ;;
+        isa__int,pfx:arg)       echo x42 ;;
+        isa__int,sfx:arg)       echo 42x ;;
+        isa__int,nota:arg)      echo 22.2 ;;
+        isa__int,tricky:arg)    echo \ 42 ;;
+        isa__int,ok:o_es)       echo 0 ;;
+        isa__int,*:o_es)        echo 1 ;;
+
+        isa__posint,ok:arg)     echo 42 ;;
+        isa__posint,pfx:arg)    echo x42 ;;
+        isa__posint,sfx:arg)    echo 42x ;;
+        isa__posint,nota:arg)   echo -42 ;;
+        isa__posint,tricky:arg) echo 42 + 55 ;;
+        isa__posint,ok:o_es)    echo 0 ;;
+        isa__posint,*:o_es)     echo 1 ;;
+
+        isa__name,ok:arg)       echo foo5az ;;
+        isa__name,pfx:arg)      echo .foo5az ;;
+        isa__name,sfx:arg)      echo foo5az/ ;;
+        isa__name,nota:arg)     echo 55zoos ;;
+        isa__name,tricky:arg)   echo foo bar ;;
+        isa__name,ok:o_es)      echo 0 ;;
+        isa__name,*:o_es)       echo 1 ;;
+
+    esac
+}
+
+mkresult() {
+    local sut
+    local ttype
+    local args=()
+    ttype=${TestName##*,}
+    sut=${TestName%,$ttype}
+    type -t "$sut" >/dev/null || {
+        tf_exit_error "no such function: $sut"
+    }
+    #shellcheck disable=SC2046
+    case $ttype in
+        none)   : ;;
+        empty)  args=("") ;;
+        more)   args=(foo bar) ;;
+        *)      readarray -t args <<<"$(mkfact arg)" ;;
+    esac
+    "$sut" "${args[@]}"
+}
+
+tf_do_subtest() {
+    local TestName=$1
+    local o_es
+    o_es=$(mkfact o_es)
+    tf_testflt -n "$TestName" -S "$o_es" "mkresult"
+}
+
+tf_do_subtests