Name

abc::messages, abc::errorReturn, abc::consCode, abc::extrSymb, abc::extrSeverity — error messages and message manipulation functions

Synopsis

abc::errorReturn retArrayName symbol [par...]

abc::consCode symbol [par...]

abc::extrSymb errorcode

abc::extrSeverity errorcode

DESCRIPTION

Symbolic error code structure

An ABCTcl error code is structured as symbol explanation. The symbol has the form ABC_S_XXX, where S is a letter indicating severity, and XXX determines the error. explanation is a human-readable text.

Variables

abc::messages

An associative array. For each error symbol used by ABCTcl, it contains a human-readable explanation that can be used by Tcl format. Set up when the abctcl.tcl file is sourced.

Procedures

abc::errorReturn retArrayName symbol [par...]

When called from a procedure, it causes that procedure to return with error. The Tcl variable ::errorCode is constructed from the provided symbol and the explanation from abc::messages, using pars when required by the explanation. The value is also stored in retArray(errorCode). Also the value of ::errorInfo is derived from the constructed error code.

Returns empty string. Used internally by all ABCTcl procedures.

abc::consCode symbol [par...]

Returns an error code constructed from the provided symbol and the explanation from abc::messages, using pars when required by the explanation. Used internally by abc::errorReturn.

abc::extrSymb errorcode

Returns the error symbol contained in errorcode.

abc::extrSeverity errorcode

Returns the letter specifying severity from an error code or an error symbol in errorcode.

SYMBOLOIC CODES

Notices

Error Code: ABC_N_EQ_YES
Explanation: The networks are equivalent.
Error Code: ABC_N_SAT_YES
Explanation: The formula is satisfiable.
Error Code: ABC_N_EQ_NO
Explanation: The networks are not equivalent.
Error Code: ABC_N_SAT_NO
Explanation: The formula is unsatisfiable.
Error Code: ABC_N_EQ_UND
Explanation: The equivalence of the networks could not be determined.
Error Code: ABC_N_SAT_UND
Explanation: The satisfiablility of the formula could not be determined.

File errors

Error Code: ABC_E_READ
Explanation: Error reading %s: %s.
Error Code: ABC_E_EXEC
Explanation: Error executing %s.
Error Code: ABC_E_SUFF
Explanation: Unknown file suffix %s.
Error Code: ABC_E_OPEN
Explanation: Error opening file %s.
Error Code: ABC_E_EXF
Explanation: %s does not exist or is not executable.
Error Code: ABC_E_EXD
Explanation: %s does not exist or is not a directory.

ABC errors

Error Code: ABC_E_PARAMS
Explanation: Incorrect parameters.
Error Code: ABC_E_CMD
Explanation: ABC command error: %s.
Error Code: ABC_E_EMPTY
Explanation: An empty network detected by ABC.
Error Code: ABC_E_PARSE
Explanation: The output could not be parsed.
Error Code: ABC_E_INCOMP
Explanation: Compared networks differ in inputs and/or outputs.
Error Code: ABC_E_TOUT
Explanation: ABC command timeout.
Error Code: ABC_E_EOF
Explanation: Unexpected end-of-file from ABC.
Error Code: ABC_E_BUSY
Explanation: Another ABC command in progress.