Command Format Summary

     Command   ==> Name
                     | chars(PrologString)
                     | write(Term)
                     | writeq(Term)
                     | write_canonical(Term)
                     | format(Fmt,Args)
                     | dq(Command)
                     | br(Command)
                     | sqb(Command)
                     | min(Command)
                     | dot(ListOfNames)
                     | list(ListOfCommands)
                     | ListOfCommands
     
     Name      ==> Atom           { other than [] }
                     | Number
     
     ListOfCommands ==> []
                     | [ Command | ListOfCommands ]
     
     ListOfNames ==> []
                     | [ Name | ListOfNames ]
     

where

Atom

Number

denote their printed representations

chars(PrologString)

denotes the string represented by PrologString (a list of character codes)

write(Term)

writeq(Term)

write_canonical(Term)

denotes the string that is printed by the corresponding built-in predicate

format(Fmt, Args)

denotes the string that is printed by the corresponding built-in predicate

dq(Command)

denotes the string specified by Command, enclosed in double quotes

br(Command)

denotes the string specified by Command, enclosed in curly brackets

sqb(Command)

denotes the string specified by Command, enclosed in square brackets

min(Command)

denotes the string specified by Command, immediately preceded by a hyphen

dot(ListOfName)

denotes the widget path specified by ListOfName, preceded by and separated by dots

list(ListOfCommands)

denotes the TCL list with one element for each element in ListOfCommands.

ListOfCommands

denotes the string denoted by each element, separated by spaces