common/tests/types.sh

	types.sh revision 34f9b3eef6fdadbda0a846aa4d68691ac40eace5
########################################################################
#                                                                      #
#               This software is part of the ast package               #
#          Copyright (c) 1982-2009 AT&T Intellectual Property          #
#                      and is licensed under the                       #
#                  Common Public License, Version 1.0                  #
#                    by AT&T Intellectual Property                     #
#                                                                      #
#                A copy of the License is available at                 #
#            http://www.opensource.org/licenses/cpl1.0.txt             #
#         (with md5 checksum 059e8cd6165cb4c31e351f2b69388fd9)         #
#                                                                      #
#              Information and Software Systems Research               #
#                            AT&T Research                             #
#                           Florham Park NJ                            #
#                                                                      #
#                  David Korn <dgk@research.att.com>                   #
#                                                                      #
########################################################################
function err_exit
{
    print -u2 -n "\t"
    print -u2 -r ${Command}[$1]: "${@:2}"
    (( Errors+=1 ))
}
alias err_exit='err_exit $LINENO'

Command=${0##*/}
integer Errors=0

tmp=$(mktemp -dt) || { err_exit mktemp -dt failed; exit 1; }
trap "cd /; rm -rf $tmp" EXIT

integer n=2

typeset -T Type_t=(
    typeset name=foobar
    typeset x=(hi=ok bar=yes)
    typeset y=(xa=xx xq=89)
    typeset -A aa=([one]=abc [two]=def)
    typeset -a ia=(abc def)
    typeset -i z=5
)
for ((i=0; i < 10; i++))
do
    Type_t r s
    [[ $r == "$s" ]] || err_exit 'r is not equal to s'
    typeset -C x=r.x
    y=(xa=bb xq=cc)
    y2=xyz
    z2=xyz
    typeset -C z=y
    [[ $y == "$z" ]] || err_exit 'y is not equal to z'
    typeset -C s.y=z
    [[ $y == "${s.y}" ]] || err_exit 'y is not equal to s.y'
    .sh.q=$y
    typeset -C www=.sh.q
    [[ $www == "$z" ]] || err_exit 'www is not equal to z'
    typeset -C s.x=r.x
    [[ ${s.x} == "${r.x}" ]] || err_exit 's.x is not equal to r.x'

    function foo
    {
        nameref x=$1 y=$2
        typeset z=$x
        y=$x
        [[ $x == "$y" ]] || err_exit "x is not equal to y with ${!x}"
    }
    foo r.y y
    [[ $y == "${r.y}" ]] || err_exit 'y is not equal to r.y'
    typeset -C y=z
    foo y r.y
    [[ $y == "${r.y}" ]] || err_exit 'y is not equal to r.y again'
    typeset -C y=z
    (
        q=${z}
        [[ $q == "$z" ]] || err_exit 'q is not equal to z'
        z=abc
    )
    [[ $z == "$y" ]] || err_exit 'value of z not preserved after subshell'
    unset z y r s x z2 y2 www .sh.q
done
typeset -T Frame_t=( typeset file lineno )
Frame_t frame
[[ $(typeset -p frame) == 'Frame_t frame=(typeset file;typeset lineno;)' ]] || err_exit 'empty fields in type not displayed'
x=( typeset -a arr=([2]=abc [4]=(x=1 y=def));zz=abc)
typeset -C y=x
[[ "$x" == "$y" ]] || print -u2 'y is not equal to x'
Type_t z=(y=(xa=bb xq=cc))
typeset -A arr=([foo]=one [bar]=2)
typeset -A brr=([foo]=one [bar]=2)
[[ "${arr[@]}" == "${brr[@]}" ]] || err_exit 'arr is not brr'
for ((i=0; i < 1; i++))
do  typeset -m zzz=x
    [[ $zzz == "$y" ]] || err_exit 'zzz is not equal to y'
    typeset -m x=zzz
    [[ $x == "$y" ]] || err_exit 'x is not equal to y'
    Type_t t=(y=(xa=bb xq=cc))
    typeset -m r=t
    [[ $r == "$z" ]] || err_exit 'r is not equal to z'
    typeset -m t=r
    [[ $t == "$z" ]] || err_exit 't is not equal to z'
    typeset -m crr=arr
    [[ "${crr[@]}" == "${brr[@]}" ]] || err_exit 'crr is not brr'
    typeset -m arr=crr
    [[ "${arr[@]}" == "${brr[@]}" ]] || err_exit 'brr is not arr'
done
typeset -m brr[foo]=brr[bar]
[[ ${brr[foo]} == 2 ]] || err_exit 'move an associative array element fails'
[[ ${brr[bar]} ]] && err_exit 'brr[bar] should be unset after move'
unset x y zzz
x=(a b c)
typeset -m x[1]=x[2]
[[ ${x[1]} == c ]] || err_exit 'move an indexed array element fails'
[[ ${x[2]} ]] && err_exit 'x[2] should be unset after move'
cat > $tmp/types <<- \+++
    typeset -T Pt_t=(float x=1. y=0.)
    Pt_t p=(y=2)
    print -r -- ${p.y}
+++
expected=2
got=$(. $tmp/types) 2>/dev/null
[[ "$got" == "$expected" ]] || err_exit "typedefs in dot script failed -- expected '$expected', got '$got'"
typeset -T X_t=(
    typeset x=foo y=bar
    typeset s=${_.x}
    create()
    {
        _.y=bam
    }
)
X_t x
[[ ${x.x} == foo ]] || err_exit 'x.x should be foo'
[[ ${x.y} == bam ]] || err_exit 'x.y should be bam'
[[ ${x.s} == ${x.x} ]] || err_exit 'x.s should be x.x'
typeset -T Y_t=( X_t r )
Y_t z
[[ ${z.r.x} == foo ]] || err_exit 'z.r.x should be foo'
[[ ${z.r.y} == bam ]] || err_exit 'z.r.y should be bam'
[[ ${z.r.s} == ${z.r.x} ]] || err_exit 'z.r.s should be z.r.x'

unset xx yy
typeset -T xx=(typeset yy=zz)
xx=yy
{ typeset -T xx=(typeset yy=zz) ;} 2>/dev/null && err_exit 'type redefinition should fail'
$SHELL 2> /dev/null <<- +++ || err_exit 'typedef with only f(){} fails'
    typeset -T X_t=(
        f()
        {
            print ok
        }
    )
+++
$SHELL 2> /dev/null <<- +++ || err_exit 'unable to redefine f discipline function'
    typeset -T X_t=(
        x=1
        f()
        {
            print ok
        }
    )
    X_t z=(
        function f
        {
            print override f
        }
    )
+++
$SHELL 2> /dev/null <<- +++ && err_exit 'invalid discipline name should be an error'
    typeset -T X_t=(
        x=1
        f()
        {
            print ok
        }
    )
    X_t z=(
        function g
        {
            print override f
        }
    )
+++
# compound variables containing type variables
Type_t r
var=(
    typeset x=foobar
    Type_t  r
    integer z=5
)
[[ ${var.r} == "$r" ]] || err_exit 'var.r != r'
(( var.z == 5)) || err_exit 'var.z !=5'
[[ "$var" == *x=foobar* ]] || err_exit '$var does not contain x=foobar'

typeset -T A_t=(
    typeset x=aha
    typeset b=${_.x}
)
unset x
A_t x
expected=aha
got=${x.b}
[[ "$got" == "$expected" ]] || err_exit "type '_' reference failed -- expected '$expected', got '$got'"

typeset -T Tst_t=(
     function f
     {
        A_t a
        print ${ _.g ${a.x}; }
     }
     function g
     {
        print foo
     }
)
Tst_t tst
expected=foo
got=${ tst.f;}
[[ "$got" == "$expected" ]] || err_exit "_.g where g is a function in type discipline method failed -- expected '$expected', got '$got'"

typeset -T B_t=(
    integer -a arr
    function f
    {
        (( _.arr[0] = 0 ))
        (( _.arr[1] = 1 ))
        print ${_.arr[*]}
    }
)
unset x
B_t x
expected='0 1'
got=${ x.f;}
[[ "$got" == "$expected" ]] || err_exit "array assignment of subscripts in type discipline arithmetic failed -- expected '$expected', got '$got'"

typeset -T Fileinfo_t=(
    size=-1
    typeset -a text=()
    integer mtime=-1
)
Fileinfo_t -A _Dbg_filenames
Fileinfo_t finfo
function bar
{
    finfo.text=(line1 line2 line3)
    finfo.size=${#finfo.text[@]}
    _Dbg_filenames[foo]=finfo
}
bar

expected='Fileinfo_t -A _Dbg_filenames=([foo]=(size=2;typeset -C -a text=([0]=line1 [1]=line2 [2]=line3);typeset -l -i mtime=-1;))'
got=$(typeset -p _Dbg_filenames)
[[ "$got" == "$expected" ]] || {
    got=$(printf %q "$got")
    err_exit "copy to associative array of types in function failed -- expected '$expected', got '$got'"
}

$SHELL > /dev/null  <<- '+++++' || err_exit 'passing _ as nameref arg not working'
    function f1
    {
        typeset -n v=$1
        print -r -- "$v"
    }
    typeset -T A_t=(
        typeset blah=xxx
        function f { f1 _ ;}
    )
    A_t a
    [[ ${ a.f ./t1;} == "$a" ]]
+++++
expected='A_t b.a=(name=one;)'
[[ $( $SHELL << \+++
    typeset -T A_t=(
         typeset name=aha
    )
    typeset -T B_t=(
        typeset     arr
        A_t         a
        f()
        {
            _.a=(name=one)
            typeset -p _.a
        }
    )
    B_t b
    b.f
+++
) ==  "$expected" ]] 2> /dev/null || err_exit  '_.a=(name=one) not expanding correctly'
expected='A_t x=(name=xxx;)'
[[ $( $SHELL << \+++
    typeset -T A_t=(
        typeset name
    )
    A_t x=(name="xxx")
    typeset -p x
+++
) ==  "$expected" ]] || err_exit  'empty field in definition does not expand correctly'

typeset -T Foo_t=(
    integer x=3
    integer y=4
    len() { print -r -- $(( sqrt(_.x**2 + _.y**2))) ;}
)
Foo_t foo
[[ ${foo.len} == 5 ]] || err_exit "discipline function len not working"

typeset -T benchmark_t=(
    integer num_iterations
)
function do_benchmarks
{
    nameref tst=b
    integer num_iterations
    (( num_iterations= int(tst.num_iterations * 1.0) ))
    printf "%d\n" num_iterations
}
benchmark_t b=(num_iterations=5)
[[  $(do_benchmarks) == 5 ]] || err_exit 'scoping of nameref of type variables in arithmetic expressions not working'

function cat_content
{
    cat <<- EOF
    (
        foo_t -a foolist=(
            ( val=3 )
            ( val=4 )
            ( val=5 )
        )
    )
    EOF
    return 0
}
typeset -T foo_t=(
    integer val=-1
    function print
    {
        print -- ${_.val}
    }
)
function do_something
{
    nameref li=$1 # "li" may be an index or associative array
    li[2].print
}
cat_content | read -C x
[[ $(do_something x.foolist) == 5  ]] || err_exit 'subscripts not honored for arrays of type with disciplines'

typeset -T benchcmd_t=(
    float x=1
    float y=2
)
unset x
compound x=(
    float o
    benchcmd_t -a m
    integer h
)
expected=$'(\n\ttypeset -l -i h=0\n\tbenchcmd_t -a m\n\ttypeset -l -E o=0\n)'
[[ $x == "$expected" ]] || err_exit 'compound variable with array of types with no elements not working'

expected=$'Std_file_t db.file[/etc/profile]=(action=preserve;typeset -A sum=([8242e663d6f7bb4c5427a0e58e2925f3]=1);)'
{
  got=$($SHELL <<- \EOF
    MAGIC='stdinstall (at&t research) 2009-08-25'
    typeset -T Std_file_t=(
        typeset action
        typeset -A sum
    )
    typeset -T Std_t=(
        typeset magic=$MAGIC
        Std_file_t -A file
    )
    Std_t db=(magic='stdinstall (at&t research) 2009-08-25';Std_file_t -A file=( [/./home/gsf/.env.sh]=(action=preserve;typeset -A sum=([9b67ab407d01a52b3e73e3945b9a3ee0]=1);)[/etc/profile]=(action=preserve;typeset -A sum=([8242e663d6f7bb4c5427a0e58e2925f3]=1);)[/home/gsf/.profile]=(action=preserve;typeset -A sum=([3ce23137335219672bf2865d003a098e]=1);));)
    typeset -p db.file[/etc/profile]
    EOF)
} 2> /dev/null
[[ $got == "$expected" ]] ||  err_exit 'types with arrays of types as members fails'

exit $Errors