Setting Database Properties
Syntax:
% dbcmd set option value ?option
value ...?
Returns:
Nothing.
Properties:
| Option |
Argument |
Description |
|---|
-enumformat |
format |
Overrides the default format for enumerated
INTEGER values returned by the format command. Default:
"%n" (enumeration label only). |
-filename |
path |
Specifies a file name to be associated with the
database. This is generally used to associate the database with
project file for reference purposes. Default: none. |
-logchannel |
channel |
Specifies the name of a channel (such as stdout,
stderr, or an open Tcl file handle, or a memory channel) to which
all compiler messages should be directed. This property controls
messages generated by the validate and
log database commands. Default:
stderr |
-oidformat |
format |
Overrides the default format for OBJECT
IDENTIFIER values returned by the format command. Default:
"%n%s" (name plus subidentifiers). |
Example - Direct log messages to stdout
% smilib set -logchannel stdout
