0000: 4c 69 67 68 74 77 65 69 67 68 74 20 4e 61 6d 65 Lightweight Name
0010: 73 70 61 63 65 73 20 66 6f 72 20 4a 69 6d 20 54 spaces for Jim T
0020: 63 6c 0a 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d cl.=============
0030: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================
0040: 3d 3d 3d 3d 3d 0a 0a 54 68 65 72 65 20 61 72 65 =====..There are
0050: 20 74 77 6f 20 62 72 6f 61 64 20 72 65 71 75 69 two broad requi
0060: 72 65 6d 65 6e 74 73 20 66 6f 72 20 6e 61 6d 65 rements for name
0070: 73 70 61 63 65 20 73 75 70 70 6f 72 74 20 69 6e space support in
0080: 20 4a 69 6d 20 54 63 6c 2e 0a 0a 31 2e 20 54 6f Jim Tcl...1. To
0090: 20 61 6c 6c 6f 77 20 63 6f 64 65 20 66 72 6f 6d allow code from
00a0: 20 6d 75 6c 74 69 70 6c 65 20 73 6f 75 72 63 65 multiple source
00b0: 73 20 77 68 69 6c 65 20 72 65 64 75 63 69 6e 67 s while reducing
00c0: 20 74 68 65 20 63 68 61 6e 63 65 20 6f 66 20 6e the chance of n
00d0: 61 6d 65 20 63 6c 61 73 68 65 73 0a 32 2e 20 54 ame clashes.2. T
00e0: 6f 20 73 69 6d 70 6c 69 66 79 20 70 6f 72 74 69 o simplify porti
00f0: 6e 67 20 65 78 69 73 74 69 6e 67 20 54 63 6c 20 ng existing Tcl
0100: 63 6f 64 65 20 77 68 69 63 68 20 75 73 65 73 20 code which uses
0110: 6e 61 6d 65 73 70 61 63 65 73 0a 0a 54 68 69 73 namespaces..This
0120: 20 70 72 6f 70 6f 73 61 6c 20 61 64 64 72 65 73 proposal addres
0130: 73 65 73 20 62 6f 74 68 20 6f 66 20 74 68 65 73 ses both of thes
0140: 65 20 72 65 71 75 69 72 65 6d 65 6e 74 73 2c 20 e requirements,
0150: 77 69 74 68 20 74 68 65 20 66 6f 6c 6c 6f 77 69 with the followi
0160: 6e 67 0a 61 64 64 69 74 69 6f 6e 61 6c 20 72 65 ng.additional re
0170: 71 75 69 72 65 6d 65 6e 74 73 20 69 6d 70 6f 73 quirements impos
0180: 65 64 20 62 79 20 4a 69 6d 20 54 63 6c 2e 0a 0a ed by Jim Tcl...
0190: 33 2e 20 53 75 70 70 6f 72 74 20 66 6f 72 20 6e 3. Support for n
01a0: 61 6d 65 73 70 61 63 65 73 20 73 68 6f 75 6c 64 amespaces should
01b0: 20 62 65 20 6f 70 74 69 6f 6e 61 6c 2c 20 77 69 be optional, wi
01c0: 74 68 20 74 68 65 20 73 70 61 63 65 20 61 6e 64 th the space and
01d0: 20 74 69 6d 65 20 6f 76 65 72 68 65 61 64 0a 20 time overhead.
01e0: 20 20 77 68 65 6e 20 6e 61 6d 65 73 70 61 63 65 when namespace
01f0: 73 20 61 72 65 20 64 69 73 61 62 6c 65 64 20 61 s are disabled a
0200: 73 20 63 6c 6f 73 65 20 74 6f 20 7a 65 72 6f 20 s close to zero
0210: 61 73 20 70 6f 73 73 69 62 6c 65 2e 0a 34 2e 20 as possible..4.
0220: 54 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 The implementati
0230: 6f 6e 20 73 68 6f 75 6c 64 20 62 65 20 73 6d 61 on should be sma
0240: 6c 6c 20 61 6e 64 20 72 65 61 73 6f 6e 61 62 6c ll and reasonabl
0250: 79 20 65 66 66 69 63 69 65 6e 74 2e 0a 0a 54 6f y efficient...To
0260: 20 66 75 72 74 68 65 72 20 65 78 70 61 6e 64 20 further expand
0270: 6f 6e 20 72 65 71 75 69 72 65 6d 65 6e 74 20 28 on requirement (
0280: 32 29 2c 20 74 68 65 20 67 6f 61 6c 20 69 73 20 2), the goal is
0290: 6e 6f 74 20 74 6f 20 62 65 20 61 62 6c 65 20 74 not to be able t
02a0: 6f 20 72 75 6e 0a 61 6e 79 20 54 63 6c 20 73 63 o run.any Tcl sc
02b0: 72 69 70 74 73 20 75 73 69 6e 67 20 6e 61 6d 65 ripts using name
02c0: 73 70 61 63 65 73 20 77 69 74 68 20 6e 6f 20 63 spaces with no c
02d0: 68 61 6e 67 65 73 2e 20 52 61 74 68 65 72 2c 20 hanges. Rather,
02e0: 73 63 72 69 70 74 73 0a 77 68 69 63 68 20 75 73 scripts.which us
02f0: 65 20 6e 61 6d 65 73 70 61 63 65 73 20 69 6e 20 e namespaces in
0300: 61 20 73 74 72 61 69 67 68 74 66 6f 72 77 61 72 a straightforwar
0310: 64 20 6d 61 6e 6e 65 72 2c 20 73 68 6f 75 6c 64 d manner, should
0320: 20 62 65 20 65 61 73 69 6c 79 0a 70 6f 72 74 65 be easily.porte
0330: 64 20 77 69 74 68 20 63 68 61 6e 67 65 73 20 77 d with changes w
0340: 68 69 63 68 20 61 72 65 20 63 6f 6d 70 61 74 69 hich are compati
0350: 62 6c 65 20 77 69 74 68 20 54 63 6c 2e 0a 0a 49 ble with Tcl...I
0360: 6d 70 6c 69 63 69 74 20 6e 61 6d 65 73 70 61 63 mplicit namespac
0370: 65 73 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d es.-------------
0380: 2d 2d 2d 2d 2d 2d 0a 52 61 74 68 65 72 20 74 68 ------.Rather th
0390: 61 6e 20 73 75 70 70 6f 72 74 69 6e 67 20 65 78 an supporting ex
03a0: 70 6c 69 63 69 74 20 6e 61 6d 65 73 70 61 63 65 plicit namespace
03b0: 73 20 61 73 20 54 63 6c 20 64 6f 65 73 2c 20 4a s as Tcl does, J
03c0: 69 6d 20 54 63 6c 0a 73 75 70 70 6f 72 74 73 20 im Tcl.supports
03d0: 69 6d 70 6c 69 63 69 74 20 6e 61 6d 65 73 70 61 implicit namespa
03e0: 63 65 73 2e 20 41 6e 79 20 70 72 6f 63 65 64 75 ces. Any procedu
03f0: 72 65 20 6f 72 20 76 61 72 69 61 62 6c 65 20 77 re or variable w
0400: 68 69 63 68 0a 69 73 20 64 65 66 69 6e 65 64 20 hich.is defined
0410: 77 69 74 68 20 61 20 6e 61 6d 65 20 63 6f 6e 74 with a name cont
0420: 61 69 6e 69 6e 67 20 3a 3a 2c 20 69 73 20 69 6d aining ::, is im
0430: 70 6c 69 63 69 74 6c 79 20 73 63 6f 70 65 64 20 plicitly scoped
0440: 77 69 74 68 69 6e 0a 61 20 6e 61 6d 65 73 70 61 within.a namespa
0450: 63 65 2e 0a 0a 46 6f 72 20 65 78 61 6d 70 6c 65 ce...For example
0460: 2c 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 , the following
0470: 70 72 6f 63 65 64 75 72 65 20 61 6e 64 20 76 61 procedure and va
0480: 72 69 61 62 6c 65 20 61 72 65 20 63 72 65 61 74 riable are creat
0490: 65 64 0a 69 6e 20 74 68 65 20 6e 61 6d 65 73 70 ed.in the namesp
04a0: 61 63 65 20 27 74 65 73 74 27 0a 0a 70 72 6f 63 ace 'test'..proc
04b0: 20 3a 3a 74 65 73 74 3a 3a 6d 79 70 72 6f 63 20 ::test::myproc
04c0: 7b 7d 20 7b 0a 20 20 70 75 74 73 20 22 49 20 61 {} {. puts "I a
04d0: 6d 20 69 6e 20 6e 61 6d 65 73 70 61 63 65 20 5b m in namespace [
04e0: 6e 61 6d 65 73 70 61 63 65 20 63 75 72 72 65 6e namespace curren
04f0: 74 5d 22 0a 7d 0a 73 65 74 20 3a 3a 74 65 73 74 t]".}.set ::test
0500: 3a 3a 6d 79 76 61 72 20 33 0a 0a 54 68 69 73 20 ::myvar 3..This
0510: 61 70 70 72 6f 61 63 68 20 61 6c 6c 6f 77 73 20 approach allows
0520: 6d 75 63 68 20 6f 66 20 74 68 65 20 65 78 69 73 much of the exis
0530: 74 69 6e 67 20 76 61 72 69 61 62 6c 65 20 61 6e ting variable an
0540: 64 20 63 6f 6d 6d 61 6e 64 0a 72 65 73 6f 6c 75 d command.resolu
0550: 74 69 6f 6e 20 6d 61 63 68 69 6e 65 72 79 20 74 tion machinery t
0560: 6f 20 62 65 20 75 73 65 64 20 77 69 74 68 20 6c o be used with l
0570: 69 74 74 6c 65 20 63 68 61 6e 67 65 2e 20 49 74 ittle change. It
0580: 20 61 6c 73 6f 20 6d 65 61 6e 73 0a 74 68 61 74 also means.that
0590: 20 69 74 20 69 73 20 70 6f 73 73 69 62 6c 65 20 it is possible
05a0: 74 6f 20 73 69 6d 70 6c 79 20 64 65 66 69 6e 65 to simply define
05b0: 20 61 20 6e 61 6d 65 73 70 61 63 65 2d 73 63 6f a namespace-sco
05c0: 70 65 64 20 76 61 72 69 61 62 6c 65 0a 6f 72 20 ped variable.or
05d0: 70 72 6f 63 65 64 75 72 65 20 77 69 74 68 6f 75 procedure withou
05e0: 74 20 66 69 72 73 74 20 63 72 65 61 74 69 6e 67 t first creating
05f0: 20 74 68 65 20 6e 61 6d 65 73 70 61 63 65 2c 20 the namespace,
0600: 61 6e 64 20 73 69 6d 69 6c 61 72 6c 79 2c 0a 6e and similarly,.n
0610: 61 6d 65 73 70 61 63 65 73 20 22 64 69 73 61 70 amespaces "disap
0620: 70 65 61 72 22 20 77 68 65 6e 20 61 6c 6c 20 76 pear" when all v
0630: 61 72 69 61 62 6c 65 73 20 61 6e 64 20 70 72 6f ariables and pro
0640: 63 65 64 75 72 65 73 20 64 65 66 69 6e 65 64 0a cedures defined.
0650: 77 69 74 68 20 74 68 65 20 6e 61 6d 65 73 70 61 with the namespa
0660: 63 65 20 73 63 6f 70 65 20 61 72 65 20 64 65 6c ce scope are del
0670: 65 74 65 64 2e 0a 0a 4e 61 6d 65 73 70 61 63 65 eted...Namespace
0680: 73 2c 20 70 72 6f 63 65 64 75 72 65 73 20 61 6e s, procedures an
0690: 64 20 63 61 6c 6c 20 66 72 61 6d 65 73 0a 2d 2d d call frames.--
06a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
06b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
06c0: 2d 2d 2d 2d 0a 57 68 65 6e 20 6e 61 6d 65 73 70 ----.When namesp
06d0: 61 63 65 20 73 75 70 70 6f 72 74 20 69 73 20 65 ace support is e
06e0: 6e 61 62 6c 65 64 20 28 61 74 20 62 75 69 6c 64 nabled (at build
06f0: 20 74 69 6d 65 29 2c 20 65 61 63 68 20 70 72 6f time), each pro
0700: 63 65 64 75 72 65 20 68 61 73 20 61 6e 20 61 73 cedure has an as
0710: 73 6f 63 69 61 74 65 64 0a 6e 61 6d 65 73 70 61 sociated.namespa
0720: 63 65 20 28 62 61 73 65 64 20 6f 6e 20 74 68 65 ce (based on the
0730: 20 70 72 6f 63 65 64 75 72 65 20 6e 61 6d 65 29 procedure name)
0740: 2e 20 57 68 65 6e 20 74 68 65 20 70 72 6f 63 65 . When the proce
0750: 64 75 72 65 20 69 73 20 65 76 61 6c 75 61 74 65 dure is evaluate
0760: 64 2c 0a 74 68 65 20 6e 61 6d 65 73 70 61 63 65 d,.the namespace
0770: 20 66 6f 72 20 74 68 65 20 63 72 65 61 74 65 64 for the created
0780: 20 63 61 6c 6c 20 66 72 61 6d 65 20 69 73 20 73 call frame is s
0790: 65 74 20 74 6f 20 74 68 65 20 6e 61 6d 65 73 70 et to the namesp
07a0: 61 63 65 20 61 73 73 6f 63 69 61 74 65 64 0a 77 ace associated.w
07b0: 69 74 68 20 74 68 65 20 70 72 6f 63 65 64 75 72 ith the procedur
07c0: 65 2e 0a 0a 43 6f 6d 6d 61 6e 64 20 72 65 73 6f e...Command reso
07d0: 6c 75 74 69 6f 6e 20 69 73 20 62 61 73 65 64 20 lution is based
07e0: 6f 6e 20 74 68 65 20 6e 61 6d 65 73 70 61 63 65 on the namespace
07f0: 20 6f 66 20 74 68 65 20 63 75 72 72 65 6e 74 20 of the current
0800: 63 61 6c 6c 20 66 72 61 6d 65 2e 0a 41 6e 20 75 call frame..An u
0810: 6e 73 63 6f 70 65 64 20 63 6f 6d 6d 61 6e 64 20 nscoped command
0820: 6e 61 6d 65 20 77 69 6c 6c 20 66 69 72 73 74 20 name will first
0830: 62 65 20 6c 6f 6f 6b 65 64 20 75 70 20 69 6e 20 be looked up in
0840: 74 68 65 20 63 75 72 72 65 6e 74 20 6e 61 6d 65 the current name
0850: 73 70 61 63 65 2c 0a 61 6e 64 20 74 68 65 6e 20 space,.and then
0860: 69 6e 20 74 68 65 20 67 6c 6f 62 61 6c 20 6e 61 in the global na
0870: 6d 65 73 70 61 63 65 2e 0a 0a 54 68 69 73 20 61 mespace...This a
0880: 6c 73 6f 20 6d 65 61 6e 73 20 74 68 61 74 20 63 lso means that c
0890: 6f 6d 6d 61 6e 64 73 20 77 68 69 63 68 20 64 6f ommands which do
08a0: 20 6e 6f 74 20 63 72 65 61 74 65 20 61 20 63 61 not create a ca
08b0: 6c 6c 20 66 72 61 6d 65 20 28 73 75 63 68 20 61 ll frame (such a
08c0: 73 20 63 6f 6d 6d 61 6e 64 73 0a 69 6d 70 6c 65 s commands.imple
08d0: 6d 65 6e 74 65 64 20 69 6e 20 43 29 20 64 6f 20 mented in C) do
08e0: 6e 6f 74 20 68 61 76 65 20 61 6e 20 61 73 73 6f not have an asso
08f0: 63 69 61 74 65 64 20 6e 61 6d 65 73 70 61 63 65 ciated namespace
0900: 2e 0a 0a 53 69 6d 69 6c 61 72 6c 79 20 74 6f 20 ...Similarly to
0910: 54 63 6c 2c 20 6e 61 6d 65 73 70 61 63 65 20 65 Tcl, namespace e
0920: 76 61 6c 20 69 6e 74 72 6f 64 75 63 65 73 20 61 val introduces a
0930: 20 74 65 6d 70 6f 72 61 72 79 2c 20 61 6e 6f 6e temporary, anon
0940: 79 6d 6f 75 73 0a 63 61 6c 6c 20 66 72 61 6d 65 ymous.call frame
0950: 20 77 69 74 68 20 74 68 65 20 61 73 73 6f 63 69 with the associ
0960: 61 74 65 64 20 6e 61 6d 65 73 70 61 63 65 2e 20 ated namespace.
0970: 46 6f 72 20 65 78 61 6d 70 6c 65 2c 20 74 68 65 For example, the
0980: 20 66 6f 6c 6c 6f 77 69 6e 67 0a 77 69 6c 6c 20 following.will
0990: 72 65 74 75 72 6e 20 22 3a 3a 74 65 73 74 2c 31 return "::test,1
09a0: 22 2e 0a 0a 6e 61 6d 65 73 70 61 63 65 20 65 76 "...namespace ev
09b0: 61 6c 20 74 65 73 74 20 7b 0a 09 70 75 74 73 20 al test {..puts
09c0: 5b 6e 61 6d 65 73 70 61 63 65 20 63 75 72 72 65 [namespace curre
09d0: 6e 74 5d 2c 5b 69 6e 66 6f 20 6c 65 76 65 6c 5d nt],[info level]
09e0: 0a 7d 0a 0a 56 61 72 69 61 62 6c 65 20 72 65 73 .}..Variable res
09f0: 6f 6c 75 74 69 6f 6e 0a 2d 2d 2d 2d 2d 2d 2d 2d olution.--------
0a00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 54 68 65 20 -----------.The
0a10: 76 61 72 69 61 62 6c 65 20 63 6f 6d 6d 61 6e 64 variable command
0a20: 20 69 6e 20 4a 69 6d 20 54 63 6c 20 68 61 73 20 in Jim Tcl has
0a30: 74 68 65 20 73 61 6d 65 20 73 79 6e 74 61 78 20 the same syntax
0a40: 61 73 20 54 63 6c 2c 20 62 75 74 20 69 73 20 63 as Tcl, but is c
0a50: 6c 6f 73 65 72 20 69 6e 20 62 65 68 61 76 69 6f loser in behavio
0a60: 75 72 20 74 6f 20 74 68 65 20 67 6c 6f 62 61 6c ur to the global
0a70: 20 63 6f 6d 6d 61 6e 64 2e 0a 54 68 65 20 76 61 command..The va
0a80: 72 69 61 62 6c 65 20 63 6f 6d 6d 61 6e 64 20 63 riable command c
0a90: 72 65 61 74 65 73 20 61 20 6c 69 6e 6b 20 66 72 reates a link fr
0aa0: 6f 6d 20 61 20 6c 6f 63 61 6c 20 76 61 72 69 61 om a local varia
0ab0: 62 6c 65 20 74 6f 20 61 20 6e 61 6d 65 73 70 61 ble to a namespa
0ac0: 63 65 20 76 61 72 69 61 62 6c 65 2c 20 70 6f 73 ce variable, pos
0ad0: 73 69 62 6c 79 20 69 6e 69 74 69 61 6c 69 73 69 sibly initialisi
0ae0: 6e 67 20 69 74 2e 0a 0a 46 6f 72 20 65 78 61 6d ng it...For exam
0af0: 70 6c 65 2c 20 74 68 65 20 66 6f 6c 6c 6f 77 69 ple, the followi
0b00: 6e 67 20 70 72 6f 63 65 64 75 72 65 20 75 73 65 ng procedure use
0b10: 73 20 27 76 61 72 69 61 62 6c 65 27 20 74 6f 20 s 'variable' to
0b20: 69 6e 69 74 69 61 6c 73 65 20 61 6e 64 20 61 63 initialse and ac
0b30: 63 65 73 73 20 6d 79 76 61 72 2e 0a 0a 70 72 6f cess myvar...pro
0b40: 63 20 3a 3a 74 65 73 74 3a 3a 6d 79 70 72 6f 63 c ::test::myproc
0b50: 20 7b 7d 20 7b 0a 20 20 76 61 72 69 61 62 6c 65 {} {. variable
0b60: 20 6d 79 76 61 72 20 34 0a 20 20 69 6e 63 72 20 myvar 4. incr
0b70: 6d 79 76 61 72 0a 7d 0a 0a 4e 6f 74 65 20 74 68 myvar.}..Note th
0b80: 61 74 20 74 68 65 72 65 20 69 73 20 6e 6f 20 61 at there is no a
0b90: 75 74 6f 6d 61 74 69 63 20 72 65 73 6f 6c 75 74 utomatic resolut
0ba0: 69 6f 6e 20 6f 66 20 6e 61 6d 65 73 70 61 63 65 ion of namespace
0bb0: 20 76 61 72 69 61 62 6c 65 73 2e 0a 46 6f 72 20 variables..For
0bc0: 65 78 61 6d 70 6c 65 2c 20 74 68 65 20 66 6f 6c example, the fol
0bd0: 6c 6f 77 69 6e 67 20 77 69 6c 6c 20 2a 6e 6f 74 lowing will *not
0be0: 2a 20 77 6f 72 6b 2e 0a 0a 6e 61 6d 65 73 70 61 * work...namespa
0bf0: 63 65 20 65 76 61 6c 20 3a 3a 74 65 73 74 20 7b ce eval ::test {
0c00: 0a 20 20 76 61 72 69 61 62 6c 65 20 6d 79 76 61 . variable myva
0c10: 72 20 34 0a 7d 0a 6e 61 6d 65 73 70 61 63 65 20 r 4.}.namespace
0c20: 65 76 61 6c 20 3a 3a 74 65 73 74 20 7b 0a 20 20 eval ::test {.
0c30: 23 20 54 68 69 73 20 77 69 6c 6c 20 69 6e 63 72 # This will incr
0c40: 65 6d 65 6e 74 20 61 20 6c 6f 63 61 6c 20 76 61 ement a local va
0c50: 72 69 61 62 6c 65 2c 20 6e 6f 74 20 3a 3a 74 65 riable, not ::te
0c60: 73 74 3a 3a 6d 79 76 61 72 0a 20 20 69 6e 63 72 st::myvar. incr
0c70: 20 6d 79 76 61 72 0a 7d 0a 0a 41 6e 64 20 73 69 myvar.}..And si
0c80: 6d 69 6c 61 72 6c 79 2c 20 74 68 65 20 66 6f 6c milarly, the fol
0c90: 6c 6f 77 69 6e 67 20 77 69 6c 6c 20 6f 6e 6c 79 lowing will only
0ca0: 20 61 63 63 65 73 73 20 6c 6f 63 61 6c 20 76 61 access local va
0cb0: 72 69 61 62 6c 65 73 0a 0a 73 65 74 20 78 20 33 riables..set x 3
0cc0: 0a 6e 61 6d 65 73 70 61 63 65 20 65 76 61 6c 20 .namespace eval
0cd0: 3a 3a 74 65 73 74 20 7b 0a 09 23 20 54 68 69 73 ::test {..# This
0ce0: 20 77 69 6c 6c 20 69 6e 63 72 65 6d 65 6d 65 6e will incrememen
0cf0: 74 20 61 20 6c 6f 63 61 6c 20 76 61 72 69 61 62 t a local variab
0d00: 6c 65 2c 20 6e 6f 74 20 3a 3a 78 0a 09 69 6e 63 le, not ::x..inc
0d10: 72 20 78 0a 09 23 20 54 68 69 73 20 77 69 6c 6c r x..# This will
0d20: 20 61 6c 73 6f 20 69 6e 63 72 65 6d 65 6e 74 20 also increment
0d30: 61 20 6c 6f 63 61 6c 20 76 61 72 69 61 62 6c 65 a local variable
0d40: 0a 09 69 6e 63 72 20 61 62 63 3a 3a 64 65 66 0a ..incr abc::def.
0d50: 7d 0a 0a 49 6e 20 74 68 65 20 73 61 6d 65 20 77 }..In the same w
0d60: 61 79 20 74 68 61 74 20 76 61 72 69 61 62 6c 65 ay that variable
0d70: 20 72 65 73 6f 6c 75 74 69 6f 6e 20 64 6f 65 73 resolution does
0d80: 20 6e 6f 74 20 22 66 61 6c 6c 20 62 61 63 6b 22 not "fall back"
0d90: 20 74 6f 0a 67 6c 6f 62 61 6c 20 76 61 72 69 61 to.global varia
0da0: 62 6c 65 73 2c 20 69 74 20 61 6c 73 6f 20 64 6f bles, it also do
0db0: 65 73 20 6e 6f 74 20 22 66 61 6c 6c 20 62 61 63 es not "fall bac
0dc0: 6b 22 20 74 6f 20 6e 61 6d 65 73 70 61 63 65 20 k" to namespace
0dd0: 76 61 72 69 61 62 6c 65 73 2e 0a 0a 54 68 69 73 variables...This
0de0: 20 61 70 70 72 6f 61 63 68 20 61 6c 6c 6f 77 73 approach allows
0df0: 20 6e 61 6d 65 20 72 65 73 6f 6c 75 74 69 6f 6e name resolution
0e00: 20 74 6f 20 62 65 20 73 69 6d 70 6c 65 72 20 61 to be simpler a
0e10: 6e 64 20 6d 6f 72 65 20 65 66 66 69 63 69 65 6e nd more efficien
0e20: 74 0a 73 69 6e 63 65 20 69 74 20 75 73 65 73 20 t.since it uses
0e30: 74 68 65 20 73 61 6d 65 20 76 61 72 69 61 62 6c the same variabl
0e40: 65 20 6c 69 6e 6b 69 6e 67 20 6d 65 63 68 61 6e e linking mechan
0e50: 69 73 6d 20 61 73 20 75 70 76 61 72 2f 67 6c 6f ism as upvar/glo
0e60: 62 61 6c 0a 61 6e 64 20 69 74 20 61 6c 6c 6f 77 bal.and it allow
0e70: 73 20 6e 61 6d 65 73 70 61 63 65 73 20 74 6f 20 s namespaces to
0e80: 62 65 20 69 6d 70 6c 69 63 69 74 2e 20 49 74 20 be implicit. It
0e90: 61 6c 73 6f 20 73 6f 6c 76 65 73 20 74 68 65 20 also solves the
0ea0: 22 63 72 65 61 74 69 76 65 0a 77 72 69 74 69 6e "creative.writin
0eb0: 67 22 20 70 72 6f 62 6c 65 6d 20 77 68 65 72 65 g" problem where
0ec0: 20 61 20 76 61 72 69 61 62 6c 65 20 6d 61 79 20 a variable may
0ed0: 62 65 20 63 72 65 61 74 65 64 20 69 6e 20 61 6e be created in an
0ee0: 20 75 6e 69 6e 74 65 6e 74 69 6f 6e 61 6c 0a 73 unintentional.s
0ef0: 63 6f 70 65 2e 0a 0a 54 68 65 20 6e 61 6d 65 73 cope...The names
0f00: 70 61 63 65 20 63 6f 6d 6d 61 6e 64 0a 2d 2d 2d pace command.---
0f10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0f20: 2d 2d 0a 43 75 72 72 65 6e 74 6c 79 2c 20 74 68 --.Currently, th
0f30: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 6e 61 6d 65 e following name
0f40: 73 70 61 63 65 20 63 6f 6d 6d 61 6e 64 73 20 61 space commands a
0f50: 72 65 20 73 75 70 70 6f 72 74 65 64 2e 0a 0a 2a re supported...*
0f60: 20 63 75 72 72 65 6e 74 20 2d 20 72 65 74 75 72 current - retur
0f70: 6e 73 20 74 68 65 20 63 75 72 72 65 6e 74 2c 20 ns the current,
0f80: 66 75 6c 6c 79 2d 71 75 61 6c 69 66 69 65 64 20 fully-qualified
0f90: 6e 61 6d 65 73 70 61 63 65 0a 2a 20 65 76 61 6c namespace.* eval
0fa0: 20 2d 20 65 76 61 6c 75 61 74 65 73 20 61 20 73 - evaluates a s
0fb0: 63 72 69 70 74 20 69 6e 20 61 20 6e 61 6d 65 73 cript in a names
0fc0: 70 61 63 65 20 28 69 6e 74 72 6f 64 75 63 65 73 pace (introduces
0fd0: 20 61 20 63 61 6c 6c 20 66 72 61 6d 65 29 0a 2a a call frame).*
0fe0: 20 71 75 61 6c 69 66 69 65 72 73 2c 20 74 61 69 qualifiers, tai
0ff0: 6c 2c 20 70 61 72 65 6e 74 20 2d 20 6e 6f 74 65 l, parent - note
1000: 20 74 68 61 74 20 74 68 65 73 65 20 64 6f 20 6e that these do n
1010: 6f 74 20 63 68 65 63 6b 20 66 6f 72 20 65 78 69 ot check for exi
1020: 73 74 65 6e 63 65 0a 2a 20 63 6f 64 65 2c 20 69 stence.* code, i
1030: 6e 73 63 6f 70 65 20 2d 20 69 6d 70 6c 65 6d 65 nscope - impleme
1040: 6e 74 65 64 0a 2a 20 64 65 6c 65 74 65 20 2d 20 nted.* delete -
1050: 64 65 6c 65 74 65 73 20 61 6c 6c 20 76 61 72 69 deletes all vari
1060: 61 62 6c 65 73 20 61 6e 64 20 63 6f 6d 6d 61 6e ables and comman
1070: 64 73 20 77 69 74 68 20 74 68 65 20 6e 61 6d 65 ds with the name
1080: 73 70 61 63 65 20 70 72 65 66 69 78 0a 0a 6e 61 space prefix..na
1090: 6d 65 73 70 61 63 65 20 63 68 69 6c 64 72 65 6e mespace children
10a0: 2c 20 65 78 69 73 74 73 2c 20 70 61 74 68 0a 2d , exists, path.-
10b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
10c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a ---------------.
10d0: 57 69 74 68 20 69 6d 70 6c 69 63 69 74 20 6e 61 With implicit na
10e0: 6d 65 73 70 61 63 65 73 2c 20 74 68 65 20 6e 61 mespaces, the na
10f0: 6d 65 73 70 61 63 65 20 65 78 69 73 74 73 20 61 mespace exists a
1100: 6e 64 20 6e 61 6d 65 73 70 61 63 65 20 63 68 69 nd namespace chi
1110: 6c 64 72 65 6e 20 63 6f 6d 6d 61 6e 64 73 0a 61 ldren commands.a
1120: 72 65 20 65 78 70 65 6e 73 69 76 65 20 74 6f 20 re expensive to
1130: 69 6d 70 6c 65 6d 65 6e 74 20 61 6e 64 20 61 72 implement and ar
1140: 65 20 6f 66 20 6c 69 6d 69 74 65 64 20 75 73 65 e of limited use
1150: 2e 20 43 68 65 63 6b 69 6e 67 20 74 68 65 20 65 . Checking the e
1160: 78 69 73 74 65 6e 63 65 0a 6f 66 20 61 20 6e 61 xistence.of a na
1170: 6d 65 73 70 61 63 65 20 63 61 6e 20 62 65 20 62 mespace can be b
1180: 65 74 74 65 72 20 64 6f 6e 65 20 62 79 20 63 68 etter done by ch
1190: 65 63 6b 69 6e 67 20 66 6f 72 20 74 68 65 20 65 ecking for the e
11a0: 78 69 73 74 65 6e 63 65 20 6f 66 20 61 20 6b 6e xistence of a kn
11b0: 6f 77 6e 20 70 72 6f 63 65 64 75 72 65 0a 6f 72 own procedure.or
11c0: 20 76 61 72 69 61 62 6c 65 20 69 6e 20 74 68 65 variable in the
11d0: 20 6e 61 6d 65 73 70 61 63 65 2e 0a 0a 43 6f 6d namespace...Com
11e0: 6d 61 6e 64 20 72 65 73 6f 6c 75 74 69 6f 6e 20 mand resolution
11f0: 69 73 20 61 6c 77 61 79 73 20 64 6f 6e 65 20 62 is always done b
1200: 79 20 66 69 72 73 74 20 6c 6f 6f 6b 69 6e 67 20 y first looking
1210: 69 6e 20 74 68 65 20 6e 61 6d 65 73 70 61 63 65 in the namespace
1220: 20 61 6e 64 20 74 68 65 6e 0a 61 74 20 74 68 65 and then.at the
1230: 20 67 6c 6f 62 61 6c 20 73 63 6f 70 65 2c 20 73 global scope, s
1240: 6f 20 6e 61 6d 65 73 70 61 63 65 20 70 61 74 68 o namespace path
1250: 20 69 73 20 6e 6f 74 20 72 65 71 75 69 72 65 64 is not required
1260: 2e 0a 0a 6e 61 6d 65 73 70 61 63 65 20 65 6e 73 ...namespace ens
1270: 65 6d 62 6c 65 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d emble.----------
1280: 2d 2d 2d 2d 2d 2d 2d 2d 0a 54 68 65 20 6e 61 6d --------.The nam
1290: 65 73 70 61 63 65 20 65 6e 73 65 6d 62 6c 65 20 espace ensemble
12a0: 63 6f 6d 6d 61 6e 64 20 69 73 20 6e 6f 74 20 63 command is not c
12b0: 75 72 72 65 6e 74 6c 79 20 73 75 70 70 6f 72 74 urrently support
12c0: 65 64 2e 20 41 20 66 75 74 75 72 65 20 76 65 72 ed. A future ver
12d0: 73 69 6f 6e 0a 6f 66 20 4a 69 6d 20 54 63 6c 20 sion.of Jim Tcl
12e0: 77 69 6c 6c 20 68 61 76 65 20 61 20 67 65 6e 65 will have a gene
12f0: 72 61 6c 2d 70 75 72 70 6f 73 65 20 65 6e 73 65 ral-purpose ense
1300: 6d 62 6c 65 20 63 72 65 61 74 69 6f 6e 20 61 6e mble creation an
1310: 64 20 6d 61 6e 69 70 75 6c 61 74 69 6f 6e 0a 6d d manipulation.m
1320: 65 63 68 61 6e 69 73 6d 20 61 6e 64 20 6e 61 6d echanism and nam
1330: 65 73 70 61 63 65 20 65 6e 73 65 6d 62 6c 65 20 espace ensemble
1340: 77 69 6c 6c 20 62 65 20 69 6d 70 6c 65 6d 65 6e will be implemen
1350: 74 65 64 20 69 6e 20 74 65 72 6d 73 20 6f 66 20 ted in terms of
1360: 74 68 61 74 20 6d 65 63 68 61 6e 69 73 6d 2e 0a that mechanism..
1370: 0a 6e 61 6d 65 73 70 61 63 65 20 69 6d 70 6f 72 .namespace impor
1380: 74 2c 20 65 78 70 6f 72 74 2c 20 66 6f 72 67 65 t, export, forge
1390: 74 2c 20 6f 72 69 67 69 6e 0a 2d 2d 2d 2d 2d 2d t, origin.------
13a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13c0: 2d 2d 0a 53 69 6e 63 65 20 4a 69 6d 20 54 63 6c --.Since Jim Tcl
13d0: 20 6e 61 6d 65 73 70 61 63 65 73 20 61 72 65 20 namespaces are
13e0: 69 6d 70 6c 69 63 69 74 2c 20 74 68 65 72 65 20 implicit, there
13f0: 69 73 20 6e 6f 20 6c 6f 63 61 74 69 6f 6e 20 74 is no location t
1400: 6f 20 73 74 6f 72 65 20 65 78 70 6f 72 74 20 70 o store export p
1410: 61 74 74 65 72 6e 73 2e 0a 54 68 65 72 65 66 6f atterns..Therefo
1420: 72 65 20 74 68 65 20 6e 61 6d 65 73 70 61 63 65 re the namespace
1430: 20 65 78 70 6f 72 74 20 63 6f 6d 6d 61 6e 64 20 export command
1440: 69 73 20 61 20 64 75 6d 6d 79 20 63 6f 6d 6d 61 is a dummy comma
1450: 6e 64 20 77 68 69 63 68 20 64 6f 65 73 20 6e 6f nd which does no
1460: 74 68 69 6e 67 2e 0a 41 6c 6c 20 70 72 6f 63 65 thing..All proce
1470: 64 75 72 65 73 20 69 6e 20 61 20 6e 61 6d 65 73 dures in a names
1480: 70 61 63 65 20 61 72 65 20 63 6f 6e 73 69 64 65 pace are conside
1490: 72 65 64 20 74 6f 20 62 65 20 65 78 70 6f 72 74 red to be export
14a0: 65 64 2e 0a 0a 54 68 65 20 6e 61 6d 65 73 70 61 ed...The namespa
14b0: 63 65 20 69 6d 70 6f 72 74 20 63 6f 6d 6d 61 6e ce import comman
14c0: 64 20 77 6f 72 6b 73 20 62 79 20 63 72 65 61 74 d works by creat
14d0: 69 6e 67 20 61 6c 69 61 73 65 73 20 74 6f 20 74 ing aliases to t
14e0: 68 65 20 74 61 72 67 65 74 20 6e 61 6d 65 73 70 he target namesp
14f0: 61 63 65 0a 70 72 6f 63 65 64 75 72 65 73 2e 0a ace.procedures..
1500: 0a 6e 61 6d 65 73 70 61 63 65 20 66 6f 72 67 65 .namespace forge
1510: 74 20 69 73 20 6e 6f 74 20 69 6d 70 6c 65 6d 65 t is not impleme
1520: 6e 74 65 64 2e 0a 0a 6e 61 6d 65 73 70 61 63 65 nted...namespace
1530: 20 6f 72 69 67 69 6e 20 75 6e 64 65 72 73 74 61 origin understa
1540: 6e 64 73 20 61 6c 69 61 73 65 73 20 63 72 65 61 nds aliases crea
1550: 74 65 64 20 62 79 20 6e 61 6d 65 73 70 61 63 65 ted by namespace
1560: 20 69 6d 70 6f 72 74 0a 61 6e 64 20 63 61 6e 20 import.and can
1570: 72 65 74 75 72 6e 20 74 68 65 20 6f 72 69 67 69 return the origi
1580: 6e 61 6c 20 63 6f 6d 6d 61 6e 64 2e 0a 0a 6e 61 nal command...na
1590: 6d 65 73 70 61 63 65 20 75 6e 6b 6e 6f 77 6e 2c mespace unknown,
15a0: 20 75 70 76 61 72 2c 20 77 68 69 63 68 0a 2d 2d upvar, which.--
15b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
15c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 4e 6f -------------.No
15d0: 6e 65 20 6f 66 20 74 68 65 73 65 20 63 6f 6d 6d ne of these comm
15e0: 61 6e 64 73 20 69 73 20 69 6d 70 6c 65 6d 65 6e ands is implemen
15f0: 74 65 64 2e 0a 0a 4e 6f 74 65 20 74 68 61 74 20 ted...Note that
1600: 76 61 72 69 61 62 6c 65 73 20 61 72 65 20 6f 6e variables are on
1610: 6c 79 20 65 76 65 72 20 6c 6f 6f 6b 65 64 20 75 ly ever looked u
1620: 70 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 p in the current
1630: 20 73 63 6f 70 65 2c 20 73 6f 0a 5b 6e 61 6d 65 scope, so.[name
1640: 73 70 61 63 65 20 77 68 69 63 68 20 2d 76 61 72 space which -var
1650: 69 61 62 6c 65 5d 20 69 73 20 6e 6f 74 20 6e 65 iable] is not ne
1660: 65 64 65 64 2e 20 43 6f 6d 6d 61 6e 64 73 20 63 eded. Commands c
1670: 61 6e 20 62 65 20 66 6f 75 6e 64 20 69 6e 20 74 an be found in t
1680: 68 65 20 67 6c 6f 62 61 6c 0a 73 63 6f 70 65 2c he global.scope,
1690: 20 62 75 74 20 5b 65 78 69 73 74 73 20 2d 63 6f but [exists -co
16a0: 6d 6d 61 6e 64 5d 20 63 61 6e 20 62 65 20 75 73 mmand] can be us
16b0: 65 64 20 69 6e 20 74 68 69 73 20 63 61 73 65 2e ed in this case.
16c0: 0a 0a 50 6f 72 74 69 6e 67 20 6e 61 6d 65 73 70 ..Porting namesp
16d0: 61 63 65 20 63 6f 64 65 20 66 72 6f 6d 20 54 63 ace code from Tc
16e0: 6c 20 74 6f 20 4a 69 6d 20 54 63 6c 0a 2d 2d 2d l to Jim Tcl.---
16f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1700: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1710: 2d 2d 2d 2d 2d 2d 2d 0a 46 6f 72 20 6d 6f 73 74 -------.For most
1720: 20 63 6f 64 65 2c 20 74 68 65 20 66 6f 6c 6c 6f code, the follo
1730: 77 69 6e 67 20 63 68 61 6e 67 65 73 20 77 69 6c wing changes wil
1740: 6c 20 62 65 20 73 75 66 66 69 63 69 65 6e 74 20 l be sufficient
1750: 74 6f 20 70 6f 72 74 20 63 6f 64 65 2e 0a 0a 31 to port code...1
1760: 2e 20 43 61 6e 6f 6e 69 63 61 6c 69 73 65 20 6e . Canonicalise n
1770: 61 6d 65 73 70 61 63 65 20 6e 61 6d 65 73 2e 20 amespace names.
1780: 46 6f 72 20 65 78 61 6d 70 6c 65 2c 20 3a 3a 6e For example, ::n
1790: 73 3a 3a 20 73 68 6f 75 6c 64 20 62 65 20 77 72 s:: should be wr
17a0: 69 74 74 65 6e 0a 20 20 20 61 73 20 3a 3a 6e 73 itten. as ::ns
17b0: 20 6f 72 20 6e 73 20 61 73 20 61 70 70 72 6f 70 or ns as approp
17c0: 72 69 61 74 65 2c 20 61 6e 64 20 65 78 63 65 73 riate, and exces
17d0: 73 20 63 6f 6c 6f 6e 73 20 73 68 6f 75 6c 64 20 s colons should
17e0: 62 65 20 72 65 6d 6f 76 65 64 2e 0a 20 20 20 46 be removed.. F
17f0: 6f 72 20 65 78 61 6d 70 6c 65 20 3a 3a 6e 73 3a or example ::ns:
1800: 3a 3a 62 6c 61 68 20 73 68 6f 75 6c 64 20 62 65 ::blah should be
1810: 20 77 72 69 74 74 65 6e 20 61 73 20 3a 3a 6e 73 written as ::ns
1820: 3a 3a 62 6c 61 68 0a 20 20 20 28 4e 6f 74 65 20 ::blah. (Note
1830: 74 68 61 74 20 74 68 65 20 6f 6e 6c 79 20 22 65 that the only "e
1840: 78 63 65 73 73 20 63 6f 6c 6f 6e 22 20 63 61 73 xcess colon" cas
1850: 65 20 73 75 70 70 6f 72 74 65 64 20 69 73 20 3a e supported is :
1860: 3a 3a 3a 61 62 63 0a 20 20 20 69 6e 20 6f 72 64 :::abc. in ord
1870: 65 72 20 74 6f 20 73 75 70 70 6f 72 74 20 5b 6e er to support [n
1880: 61 6d 65 73 70 61 63 65 20 63 75 72 72 65 6e 74 amespace current
1890: 5d 3a 3a 61 62 63 20 69 6e 20 74 68 65 20 67 6c ]::abc in the gl
18a0: 6f 62 61 6c 20 6e 61 6d 65 73 70 61 63 65 29 0a obal namespace).
18b0: 0a 32 2e 20 54 68 65 20 76 61 72 69 61 62 6c 65 .2. The variable
18c0: 20 63 6f 6d 6d 61 6e 64 20 73 68 6f 75 6c 64 20 command should
18d0: 62 65 20 75 73 65 64 20 77 69 74 68 69 6e 20 6e be used within n
18e0: 61 6d 65 73 70 61 63 65 20 65 76 61 6c 20 74 6f amespace eval to
18f0: 20 6c 69 6e 6b 0a 20 20 20 74 6f 20 6e 61 6d 65 link. to name
1900: 73 70 61 63 65 20 76 61 72 69 61 62 6c 65 73 2c space variables,
1910: 20 61 6e 64 20 61 63 63 65 73 73 20 74 6f 20 76 and access to v
1920: 61 72 69 61 62 6c 65 73 20 69 6e 20 6f 74 68 65 ariables in othe
1930: 72 20 6e 61 6d 65 73 70 61 63 65 73 0a 20 20 20 r namespaces.
1940: 73 68 6f 75 6c 64 20 62 65 20 66 75 6c 6c 79 20 should be fully
1950: 71 75 61 6c 69 66 69 65 64 0a 0a 43 68 61 6e 67 qualified..Chang
1960: 65 73 20 69 6e 20 74 68 65 20 63 6f 72 65 20 4a es in the core J
1970: 69 6d 20 54 63 6c 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d im Tcl.---------
1980: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1990: 2d 2d 0a 50 72 65 76 69 6f 75 73 6c 79 20 4a 69 --.Previously Ji
19a0: 6d 20 54 63 6c 20 70 65 72 66 6f 72 6d 65 64 20 m Tcl performed
19b0: 6e 6f 20 73 63 6f 70 69 6e 67 20 6f 66 20 63 6f no scoping of co
19c0: 6d 6d 61 6e 64 20 6e 61 6d 65 73 2e 20 20 69 2e mmand names. i.
19d0: 65 2e 20 54 68 65 0a 3a 3a 66 6f 72 6d 61 74 20 e. The.::format
19e0: 63 6f 6d 6d 61 6e 64 20 77 61 73 20 63 6f 6e 73 command was cons
19f0: 69 64 65 72 65 64 20 64 69 66 66 65 72 65 6e 74 idered different
1a00: 20 66 72 6f 6d 20 74 68 65 20 66 6f 72 6d 61 74 from the format
1a10: 20 63 6f 6d 6d 61 6e 64 2e 0a 0a 45 76 65 6e 20 command...Even
1a20: 69 66 20 6e 61 6d 65 73 70 61 63 65 20 73 75 70 if namespace sup
1a30: 70 6f 72 74 20 69 73 20 64 69 73 61 62 6c 65 64 port is disabled
1a40: 2c 20 74 68 65 20 63 6f 6d 6d 61 6e 64 20 72 65 , the command re
1a50: 73 6f 6c 75 74 69 6f 6e 20 77 69 6c 6c 0a 72 65 solution will.re
1a60: 63 6f 67 6e 69 73 65 64 20 67 6c 6f 62 61 6c 20 cognised global
1a70: 73 63 6f 70 69 6e 67 20 6f 66 20 63 6f 6d 6d 61 scoping of comma
1a80: 6e 64 73 20 61 6e 64 20 74 72 65 61 74 20 74 68 nds and treat th
1a90: 65 73 65 20 61 73 20 69 64 65 6e 74 69 63 61 6c ese as identical
1aa0: 2e 0a ..