Author: Bruce S. O. Adams (BSA)
Maintainer: Bruce S. O. Adams - mailto:[email protected]
Last Changed: BSA 23-Mar-1999
The appropriate forums for discussing this package are Introspection Forum and also the comp.lang.tcl newsgroup
Introspection_Spec.txt
- Brief
- outline specification for forthcoming Introspection package as posted to comp.lang.tcl (19-Mar-1999)
Introduction
The aim of this package is to extended the basic introspection functionality of the TCL core (8.0 and above) with a view to aid in meta-programming an AI related tasks. This package is still under active development and there is at present some overlap with a meta programming package which is intended for separate release. The package is intended for release as both open source and open specification.
At present TK has not been taken into consideration. Features and suggestions are always welcome (send to Email address below).
Features
- aims to provide information on 100% of the internal state of the TCL interpreter
- can optionally be 'installed' to override and extend inbuilt commands or be used via direct calls to the introspection namespace
Basic Installation structure
- package is namespaced
- the main namespace is Introspection
- the Meta namespace refers to a less developed meta-programming package
- package has initialize and terminate routines which should be call prior to loaded and unloading the package respectively
i.e. Introspection::Initialize & Introspection::Terminate
- package has install and uninstall routines which cause the overriding of inbuilt commands (primarily info) and reversion to normal state respectively.
Note: These require the less developed meta-programming package to function
i.e. Introspection::Install & Introspection::UnInstall
- package is initially being developed as a pure TCL extension. A compiled C extension (providing functionality not possible in TCL alone) is to follow at a later date.
Shared Command API
Where possible / appropriate all commands are to share the same API with the following basic features
- selection of a specific interpreter
- selection of a set of patterns to filter in
- selection of a set of patterns to filter out (antipatterns)
Commands provided
- info namespaces
- recursively list all namespaces in existence in a given interpreter
- info allVars
- list all variables across all namespaces in existence in a given interpreter
- info allProcs
- list all procedures across all namespaces existing in a given interpreter
- info allCommands
- list all commands (compiled procedures - but see note) across all namespaces existing in a given interpreter
- info channels
- list all open channels across all namespaces existing in a given interpreter
- info interps
- list all subinterpreters (across all namespaces) of a given interpreter
- info inbuilt
- returns a list of all builtin/default commands for an interpreter
- info builtin
- boolean predicate returning true if and only if the given procedure name is a builtin/default command of the given interpreter
- info renames
- returns a list of all command renamings that have been done in the given interpreter
- info original
- returns the original name of a procedure
- info renamed
- returns what name has been given to a procedure given its original name
- info compiled
- boolean predicate returning true if and only if the given procedure name is a compiled procedure (i.e. one for which info body would return an error)
- info packages
- lists the packages loaded by a given interpreter (info loaded only lists compiled extensions)
- info args
- lists the arguments of _both_ compiled and interpreted procedures (not possible via TCL alone)
- info default
- lists the default values for arguments of both compiled and interpreted procedures (not possible via TCL alone)
Aside from a myriad other uses, the following give TCL a saveable runtime state. Additional switches will allow the selection of subsets of the state to import or export
- interp export
- allows properties of a given interpreter to be exported (probably as a TCL source file)
- interp import
- allows properties of a given interpreter to be imported
- interp clear
- allows properties of a given interpreter to be reset
Meta programming commands used by introspection package
- Meta::AddSubCommand
- adds a new subcommand to a command (existing or otherwise) (the original is renamed, commands are called through means of a wrapper containing a switch statement)
- Meta::DeleteSubCommand
- removes a subcommand from a command
Status
The TCL version of all the above routines is complete (apart from bugs known & unknown :-) with the following exceptions:
interp export
interp import
interp clear
info args (not possible in TCL alone)
info default (not possible in TCL alone)
Contacts
This package is presently being developed by Bruce S. O. Adams in the United Kingdom
Email - Home: brucea @ removethis cybernetics . demon . co . uk
Work: mailto:[email protected] (answered more frequently but not site of development)
TV Such a shame Tk doesn´t have introspection of some complete kind or (partial) state-saving with some good options. I recall I did my own routines for that back in the 90s, but later on it got hard to simply get all state elements enumerated which should be made compulsory for people writing list-based programs I´d be inclined to think..