sl@0: # Functionality covered: this file contains a collection of tests for the
sl@0: # procedures in tclObj.c that implement Tcl's basic type support and the
sl@0: # type managers for the types boolean, double, and integer.
sl@0: #
sl@0: # Sourcing this file into Tcl runs the tests and generates output for
sl@0: # errors. No output means no errors were found.
sl@0: #
sl@0: # Copyright (c) 1995-1996 Sun Microsystems, Inc.
sl@0: # Copyright (c) 1998-1999 by Scriptics Corporation.
sl@0: #
sl@0: # See the file "license.terms" for information on usage and redistribution
sl@0: # of this file, and for a DISCLAIMER OF ALL WARRANTIES.
sl@0: #
sl@0: # RCS: @(#) $Id: obj.test,v 1.7.2.1 2004/09/10 21:52:37 dkf Exp $
sl@0: 
sl@0: if {[lsearch [namespace children] ::tcltest] == -1} {
sl@0:     package require tcltest
sl@0:     namespace import -force ::tcltest::*
sl@0: }
sl@0: 
sl@0: if {[info commands testobj] == {}} {
sl@0:     puts "This application hasn't been compiled with the \"testobj\""
sl@0:     puts "command, so I can't test the Tcl type and object support."
sl@0:     ::tcltest::cleanupTests
sl@0:     return
sl@0: }
sl@0: 
sl@0: # Procedure to determine the integer range of the machine
sl@0: 
sl@0: proc int_range {} {
sl@0:     for { set MIN_INT 1 } { $MIN_INT > 0 } {} {
sl@0: 	set MIN_INT [expr { $MIN_INT << 1 }]
sl@0:     }
sl@0:     set MAX_INT [expr { ~ $MIN_INT }]
sl@0:     return [list $MIN_INT $MAX_INT]
sl@0: }
sl@0: 
sl@0: # Procedure to determine the range of wide integers on the machine.
sl@0: 
sl@0: proc wide_range {} {
sl@0:     for { set MIN_WIDE [expr { wide(1) }] } { $MIN_WIDE > wide(0) } {} {
sl@0: 	set MIN_WIDE [expr { $MIN_WIDE << 1 }]
sl@0:     }
sl@0:     set MAX_WIDE [expr { ~ $MIN_WIDE }]
sl@0:     return [list $MIN_WIDE $MAX_WIDE]
sl@0: }
sl@0: 
sl@0: foreach { MIN_INT MAX_INT } [int_range] break
sl@0: foreach { MIN_WIDE MAX_WIDE } [wide_range] break
sl@0: ::tcltest::testConstraint 32bit \
sl@0:     [expr { $MAX_INT == 0x7fffffff }]
sl@0: ::tcltest::testConstraint wideBiggerThanInt \
sl@0:     [expr { $MAX_WIDE > wide($MAX_INT) }]
sl@0: 
sl@0: test obj-1.1 {Tcl_AppendAllObjTypes, and InitTypeTable, Tcl_RegisterObjType} {
sl@0:     set r 1
sl@0:     foreach {t} {
sl@0: 	{array search} 
sl@0: 	boolean
sl@0: 	bytearray
sl@0: 	bytecode
sl@0: 	double
sl@0: 	end-offset
sl@0: 	index
sl@0: 	int
sl@0: 	list
sl@0: 	nsName
sl@0: 	procbody
sl@0: 	string
sl@0:     } {
sl@0:         set first [string first $t [testobj types]]
sl@0:         set r [expr {$r && ($first != -1)}]
sl@0:     }
sl@0:     set result $r
sl@0: } {1}
sl@0: 
sl@0: test obj-2.1 {Tcl_GetObjType error} {
sl@0:     list [testintobj set 1 0] [catch {testobj convert 1 foo} msg] $msg
sl@0: } {0 1 {no type foo found}}
sl@0: test obj-2.2 {Tcl_GetObjType and Tcl_ConvertToType} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 12]
sl@0:     lappend result [testobj convert 1 double]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 12 12 double 3}
sl@0: 
sl@0: test obj-3.1 {Tcl_ConvertToType error} {
sl@0:     list [testdoubleobj set 1 12.34] [catch {testobj convert 1 int} msg] $msg
sl@0: } {12.34 1 {expected integer but got "12.34"}}
sl@0: test obj-3.2 {Tcl_ConvertToType error, "empty string" object} {
sl@0:     list [testobj newobj 1] [catch {testobj convert 1 int} msg] $msg
sl@0: } {{} 1 {expected integer but got ""}}
sl@0: 
sl@0: test obj-4.1 {Tcl_NewObj and AllocateFreeObjects} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} {} string 2}
sl@0: 
sl@0: test obj-5.1 {Tcl_FreeObj} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 12345]
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [catch {testintobj get 1} msg]
sl@0:     lappend result $msg
sl@0: } {12345 {} 1 {variable 1 is unset (NULL)}}
sl@0: 
sl@0: test obj-6.1 {Tcl_DuplicateObj, object has internal rep} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 47]
sl@0:     lappend result [testobj duplicate 1 2]    
sl@0:     lappend result [testintobj get 2]
sl@0:     lappend result [testobj refcount 1]
sl@0:     lappend result [testobj refcount 2]
sl@0: } {{} 47 47 47 2 3}
sl@0: test obj-6.2 {Tcl_DuplicateObj, "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testobj duplicate 1 2]    
sl@0:     lappend result [testintobj get 2]
sl@0:     lappend result [testobj refcount 1]
sl@0:     lappend result [testobj refcount 2]
sl@0: } {{} {} {} {} 2 3}
sl@0: 
sl@0: test obj-7.1 {Tcl_GetString, return existing string rep} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 47]
sl@0:     lappend result [testintobj get2 1]
sl@0: } {47 47}
sl@0: test obj-7.2 {Tcl_GetString, "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [teststringobj append 1 abc -1]
sl@0:     lappend result [teststringobj get2 1]
sl@0: } {{} abc abc}
sl@0: test obj-7.3 {Tcl_GetString, returns string internal rep (DString)} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 xyz]
sl@0:     lappend result [teststringobj append 1 abc -1]
sl@0:     lappend result [teststringobj get2 1]
sl@0: } {xyz xyzabc xyzabc}
sl@0: test obj-7.4 {Tcl_GetString, recompute string rep from internal rep} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 77]
sl@0:     lappend result [testintobj mult10 1]
sl@0:     lappend result [teststringobj get2 1]
sl@0: } {77 770 770}
sl@0: 
sl@0: test obj-8.1 {Tcl_GetStringFromObj, return existing string rep} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 47]
sl@0:     lappend result [testintobj get 1]
sl@0: } {47 47}
sl@0: test obj-8.2 {Tcl_GetStringFromObj, "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [teststringobj append 1 abc -1]
sl@0:     lappend result [teststringobj get 1]
sl@0: } {{} abc abc}
sl@0: test obj-8.3 {Tcl_GetStringFromObj, returns string internal rep (DString)} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 xyz]
sl@0:     lappend result [teststringobj append 1 abc -1]
sl@0:     lappend result [teststringobj get 1]
sl@0: } {xyz xyzabc xyzabc}
sl@0: test obj-8.4 {Tcl_GetStringFromObj, recompute string rep from internal rep} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 77]
sl@0:     lappend result [testintobj mult10 1]
sl@0:     lappend result [teststringobj get 1]
sl@0: } {77 770 770}
sl@0: 
sl@0: test obj-9.1 {Tcl_NewBooleanObj} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testbooleanobj set 1 0]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 0 boolean 2}
sl@0: 
sl@0: test obj-10.1 {Tcl_SetBooleanObj, existing "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testbooleanobj set 1 0]  ;# makes existing obj boolean
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} {} 0 boolean 2}
sl@0: test obj-10.2 {Tcl_SetBooleanObj, existing non-"empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 98765]
sl@0:     lappend result [testbooleanobj set 1 1]  ;# makes existing obj boolean
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 98765 1 boolean 2}
sl@0: 
sl@0: test obj-11.1 {Tcl_GetBooleanFromObj, existing boolean object} {
sl@0:     set result ""
sl@0:     lappend result [testbooleanobj set 1 1]
sl@0:     lappend result [testbooleanobj not 1]    ;# gets existing boolean rep
sl@0: } {1 0}
sl@0: test obj-11.2 {Tcl_GetBooleanFromObj, convert to boolean} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 47]
sl@0:     lappend result [testbooleanobj not 1]    ;# must convert to bool
sl@0:     lappend result [testobj type 1]
sl@0: } {47 0 boolean}
sl@0: test obj-11.3 {Tcl_GetBooleanFromObj, error converting to boolean} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected boolean value but got "abc"}}
sl@0: test obj-11.4 {Tcl_GetBooleanFromObj, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected boolean value but got ""}}
sl@0: test obj-11.5 {Tcl_GetBooleanFromObj, convert hex to boolean} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 0xac]
sl@0:     lappend result [testbooleanobj not 1]
sl@0:     lappend result [testobj type 1]
sl@0: } {0xac 0 boolean}
sl@0: test obj-11.6 {Tcl_GetBooleanFromObj, convert float to boolean} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 5.42]
sl@0:     lappend result [testbooleanobj not 1]
sl@0:     lappend result [testobj type 1]
sl@0: } {5.42 0 boolean}
sl@0: 
sl@0: test obj-12.1 {DupBooleanInternalRep} {
sl@0:     set result ""
sl@0:     lappend result [testbooleanobj set 1 1]
sl@0:     lappend result [testobj duplicate 1 2]   ;# uses DupBooleanInternalRep
sl@0:     lappend result [testbooleanobj get 2]
sl@0: } {1 1 1}
sl@0: 
sl@0: test obj-13.1 {SetBooleanFromAny, int to boolean special case} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 1234]
sl@0:     lappend result [testbooleanobj not 1]    ;# converts with SetBooleanFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {1234 0 boolean}
sl@0: test obj-13.2 {SetBooleanFromAny, double to boolean special case} {
sl@0:     set result ""
sl@0:     lappend result [testdoubleobj set 1 3.14159]
sl@0:     lappend result [testbooleanobj not 1]    ;# converts with SetBooleanFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {3.14159 0 boolean}
sl@0: test obj-13.3 {SetBooleanFromAny, special case strings representing booleans} {
sl@0:     set result ""
sl@0:     foreach s {yes no true false on off} {
sl@0:         teststringobj set 1 $s
sl@0:         lappend result [testbooleanobj not 1]
sl@0:     }
sl@0:     lappend result [testobj type 1]
sl@0: } {0 1 0 1 0 1 boolean}
sl@0: test obj-13.4 {SetBooleanFromAny, recompute string rep then parse it} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 456]
sl@0:     lappend result [testintobj div10 1]
sl@0:     lappend result [testbooleanobj not 1]    ;# converts with SetBooleanFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {456 45 0 boolean}
sl@0: test obj-13.5 {SetBooleanFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected boolean value but got "abc"}}
sl@0: test obj-13.6 {SetBooleanFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 x1.0]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } {x1.0 1 {expected boolean value but got "x1.0"}}
sl@0: test obj-13.7 {SetBooleanFromAny, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected boolean value but got ""}}
sl@0: test obj-13.8 {SetBooleanFromAny, unicode strings} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 1\u7777]
sl@0:     lappend result [catch {testbooleanobj not 1} msg]
sl@0:     lappend result $msg
sl@0: } "1\u7777 1 {expected boolean value but got \"1\u7777\"}"
sl@0: 
sl@0: test obj-14.1 {UpdateStringOfBoolean} {
sl@0:     set result ""
sl@0:     lappend result [testbooleanobj set 1 0]
sl@0:     lappend result [testbooleanobj not 1]
sl@0:     lappend result [testbooleanobj get 1]    ;# must update string rep
sl@0: } {0 1 1}
sl@0: 
sl@0: test obj-15.1 {Tcl_NewDoubleObj} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testdoubleobj set 1 3.1459]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 3.1459 double 2}
sl@0: 
sl@0: test obj-16.1 {Tcl_SetDoubleObj, existing "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testdoubleobj set 1 0.123]  ;# makes existing obj boolean
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} {} 0.123 double 2}
sl@0: test obj-16.2 {Tcl_SetDoubleObj, existing non-"empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 98765]
sl@0:     lappend result [testdoubleobj set 1 27.56]  ;# makes existing obj double
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 98765 27.56 double 2}
sl@0: 
sl@0: test obj-17.1 {Tcl_GetDoubleFromObj, existing double object} {
sl@0:     set result ""
sl@0:     lappend result [testdoubleobj set 1 16.1]
sl@0:     lappend result [testdoubleobj mult10 1]   ;# gets existing double rep
sl@0: } {16.1 161.0}
sl@0: test obj-17.2 {Tcl_GetDoubleFromObj, convert to double} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 477]
sl@0:     lappend result [testdoubleobj div10 1]    ;# must convert to bool
sl@0:     lappend result [testobj type 1]
sl@0: } {477 47.7 double}
sl@0: test obj-17.3 {Tcl_GetDoubleFromObj, error converting to double} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testdoubleobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected floating-point number but got "abc"}}
sl@0: test obj-17.4 {Tcl_GetDoubleFromObj, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testdoubleobj div10 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected floating-point number but got ""}}
sl@0: 
sl@0: test obj-18.1 {DupDoubleInternalRep} {
sl@0:     set result ""
sl@0:     lappend result [testdoubleobj set 1 17.1]
sl@0:     lappend result [testobj duplicate 1 2]      ;# uses DupDoubleInternalRep
sl@0:     lappend result [testdoubleobj get 2]
sl@0: } {17.1 17.1 17.1}
sl@0: 
sl@0: test obj-19.1 {SetDoubleFromAny, int to double special case} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 1234]
sl@0:     lappend result [testdoubleobj mult10 1] ;# converts with SetDoubleFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {1234 12340.0 double}
sl@0: test obj-19.2 {SetDoubleFromAny, boolean to double special case} {
sl@0:     set result ""
sl@0:     lappend result [testbooleanobj set 1 1]
sl@0:     lappend result [testdoubleobj mult10 1] ;# converts with SetDoubleFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {1 10.0 double}
sl@0: test obj-19.3 {SetDoubleFromAny, recompute string rep then parse it} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 456]
sl@0:     lappend result [testintobj div10 1]
sl@0:     lappend result [testdoubleobj mult10 1] ;# converts with SetDoubleFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {456 45 450.0 double}
sl@0: test obj-19.4 {SetDoubleFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testdoubleobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected floating-point number but got "abc"}}
sl@0: test obj-19.5 {SetDoubleFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 x1.0]
sl@0:     lappend result [catch {testdoubleobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {x1.0 1 {expected floating-point number but got "x1.0"}}
sl@0: test obj-19.6 {SetDoubleFromAny, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testdoubleobj div10 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected floating-point number but got ""}}
sl@0: 
sl@0: test obj-20.1 {UpdateStringOfDouble} {
sl@0:     set result ""
sl@0:     lappend result [testdoubleobj set 1 3.14159]
sl@0:     lappend result [testdoubleobj mult10 1]
sl@0:     lappend result [testdoubleobj get 1]   ;# must update string rep
sl@0: } {3.14159 31.4159 31.4159}
sl@0: 
sl@0: test obj-21.1 {Tcl_NewIntObj} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 55]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 55 int 2}
sl@0: 
sl@0: test obj-22.1 {Tcl_SetIntObj, existing "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testintobj set 1 77]  ;# makes existing obj int
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} {} 77 int 2}
sl@0: test obj-22.2 {Tcl_SetIntObj, existing non-"empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testdoubleobj set 1 12.34]
sl@0:     lappend result [testintobj set 1 77]  ;# makes existing obj int
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 12.34 77 int 2}
sl@0: 
sl@0: test obj-23.1 {Tcl_GetIntFromObj, existing int object} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 22]
sl@0:     lappend result [testintobj mult10 1]   ;# gets existing int rep
sl@0: } {22 220}
sl@0: test obj-23.2 {Tcl_GetIntFromObj, convert to int} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 477]
sl@0:     lappend result [testintobj div10 1]    ;# must convert to bool
sl@0:     lappend result [testobj type 1]
sl@0: } {477 47 int}
sl@0: test obj-23.3 {Tcl_GetIntFromObj, error converting to int} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testintobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected integer but got "abc"}}
sl@0: test obj-23.4 {Tcl_GetIntFromObj, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testintobj div10 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected integer but got ""}}
sl@0: test obj-23.5 {Tcl_GetIntFromObj, integer too large to represent as non-long error} {nonPortable} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testintobj inttoobigtest 1]
sl@0: } {{} 1}
sl@0: 
sl@0: test obj-24.1 {DupIntInternalRep} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 23]
sl@0:     lappend result [testobj duplicate 1 2]    ;# uses DupIntInternalRep
sl@0:     lappend result [testintobj get 2]
sl@0: } {23 23 23}
sl@0: 
sl@0: test obj-25.1 {SetIntFromAny, int to int special case} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 1234]
sl@0:     lappend result [testintobj mult10 1]  ;# converts with SetIntFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {1234 12340 int}
sl@0: test obj-25.2 {SetIntFromAny, boolean to int special case} {
sl@0:     set result ""
sl@0:     lappend result [testbooleanobj set 1 1]
sl@0:     lappend result [testintobj mult10 1]  ;# converts with SetIntFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {1 10 int}
sl@0: test obj-25.3 {SetIntFromAny, recompute string rep then parse it} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 456]
sl@0:     lappend result [testintobj div10 1]
sl@0:     lappend result [testintobj mult10 1]  ;# converts with SetIntFromAny
sl@0:     lappend result [testobj type 1]
sl@0: } {456 45 450 int}
sl@0: test obj-25.4 {SetIntFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testintobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected integer but got "abc"}}
sl@0: test obj-25.5 {SetIntFromAny, error parsing string} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 x17]
sl@0:     lappend result [catch {testintobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {x17 1 {expected integer but got "x17"}}
sl@0: test obj-25.6 {SetIntFromAny, integer too large} {nonPortable} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 123456789012345678901]
sl@0:     lappend result [catch {testintobj mult10 1} msg]
sl@0:     lappend result $msg
sl@0: } {123456789012345678901 1 {integer value too large to represent}}
sl@0: test obj-25.7 {SetIntFromAny, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testintobj div10 1} msg]
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected integer but got ""}}
sl@0: 
sl@0: test obj-26.1 {UpdateStringOfInt} {
sl@0:     set result ""
sl@0:     lappend result [testintobj set 1 512]
sl@0:     lappend result [testintobj mult10 1]
sl@0:     lappend result [testintobj get 1]       ;# must update string rep
sl@0: } {512 5120 5120}
sl@0: 
sl@0: test obj-27.1 {Tcl_NewLongObj} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     testintobj setmaxlong 1
sl@0:     lappend result [testintobj ismaxlong 1]
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 1 int 1}
sl@0: 
sl@0: test obj-28.1 {Tcl_SetLongObj, existing "empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [testintobj setlong 1 77]  ;# makes existing obj long int
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} {} 77 int 2}
sl@0: test obj-28.2 {Tcl_SetLongObj, existing non-"empty string" object} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testdoubleobj set 1 12.34]
sl@0:     lappend result [testintobj setlong 1 77]  ;# makes existing obj long int
sl@0:     lappend result [testobj type 1]
sl@0:     lappend result [testobj refcount 1]
sl@0: } {{} 12.34 77 int 2}
sl@0: 
sl@0: test obj-29.1 {Tcl_GetLongFromObj, existing long integer object} {
sl@0:     set result ""
sl@0:     lappend result [testintobj setlong 1 22]
sl@0:     lappend result [testintobj mult10 1]   ;# gets existing long int rep
sl@0: } {22 220}
sl@0: test obj-29.2 {Tcl_GetLongFromObj, convert to long} {
sl@0:     set result ""
sl@0:     lappend result [testintobj setlong 1 477]
sl@0:     lappend result [testintobj div10 1]    ;# must convert to bool
sl@0:     lappend result [testobj type 1]
sl@0: } {477 47 int}
sl@0: test obj-29.3 {Tcl_GetLongFromObj, error converting to long integer} {
sl@0:     set result ""
sl@0:     lappend result [teststringobj set 1 abc]
sl@0:     lappend result [catch {testintobj ismaxlong 1} msg] ;# cvts to long int
sl@0:     lappend result $msg
sl@0: } {abc 1 {expected integer but got "abc"}}
sl@0: test obj-29.4 {Tcl_GetLongFromObj, error converting from "empty string"} {
sl@0:     set result ""
sl@0:     lappend result [testobj newobj 1]
sl@0:     lappend result [catch {testintobj ismaxlong 1} msg] ;# cvts to long int
sl@0:     lappend result $msg
sl@0: } {{} 1 {expected integer but got ""}}
sl@0: 
sl@0: test obj-30.1 {Ref counting and object deletion, simple types} {
sl@0:     set result ""
sl@0:     lappend result [testobj freeallvars]
sl@0:     lappend result [testintobj set 1 1024]
sl@0:     lappend result [testobj assign 1 2]     ;# vars 1 and 2 share the int obj
sl@0:     lappend result [testobj type 2]
sl@0:     lappend result [testobj refcount 1]
sl@0:     lappend result [testobj refcount 2]
sl@0:     lappend result [testbooleanobj set 2 0] ;# must copy on write, now 2 objs
sl@0:     lappend result [testobj type 2]
sl@0:     lappend result [testobj refcount 1]
sl@0:     lappend result [testobj refcount 2]
sl@0: } {{} 1024 1024 int 4 4 0 boolean 3 2}
sl@0: 
sl@0: 
sl@0: test obj-31.1 {regenerate string rep of "end"} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end
sl@0: 
sl@0: test obj-31.2 {regenerate string rep of "end-1"} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end-0x1
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end-1
sl@0: 
sl@0: test obj-31.3 {regenerate string rep of "end--1"} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end--0x1
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end--1
sl@0: 
sl@0: test obj-31.4 {regenerate string rep of "end-bigInteger"} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end-0x7fffffff
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end-2147483647
sl@0: 
sl@0: test obj-31.5 {regenerate string rep of "end--bigInteger"} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end--0x7fffffff
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end--2147483647
sl@0:     
sl@0: 
sl@0: test obj-31.6 {regenerate string rep of "end--bigInteger"} {nonPortable} {
sl@0:     testobj freeallvars
sl@0:     teststringobj set 1 end--0x80000000
sl@0:     testobj convert 1 end-offset
sl@0:     testobj invalidateStringRep 1
sl@0: } end--2147483648
sl@0: 
sl@0: test obj-32.1 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x 0x8000; append x 0000
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {1 2147483648}
sl@0: 
sl@0: test obj-32.2 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x 0xffff; append x ffff
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {1 4294967295}
sl@0: 
sl@0: test obj-32.3 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x 0x10000; append x 0000
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {0 4294967296}
sl@0: 
sl@0: test obj-32.4 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x -0x8000; append x 0000
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {1 -2147483648}
sl@0: 
sl@0: test obj-32.5 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x -0x8000; append x 0001
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {1 -2147483649}
sl@0: 
sl@0: test obj-32.6 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x -0xffff; append x ffff
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {1 -4294967295}
sl@0: 
sl@0: test obj-32.7 {integer overflow on input} {32bit wideBiggerThanInt} {
sl@0:     set x -0x10000; append x 0000
sl@0:     list [string is integer $x] [expr { wide($x) }]
sl@0: } {0 -4294967296}
sl@0: 
sl@0: testobj freeallvars
sl@0: 
sl@0: # cleanup
sl@0: ::tcltest::cleanupTests
sl@0: return
sl@0: 
sl@0: # Local Variables:
sl@0: # mode: tcl
sl@0: # End: