maeCloseViolationDb

maeCloseViolationDb(
x_dbId
)
=> t / nil

Description

Closes an open checks and asserts database using the database ID returned by maeOpenViolationDb.

Ensure that the history is closed before you run this function.

Arguments

x_dbId

An integer identifying the connection for an open checks and asserts database.

Value Returned

t	The open checks and asserts database is closed.
nil	The open checks and asserts database is not closed.

Examples

Opens a database, performs a task on it, and then closes it:

let( (dbId)
     dbId = maeOpenViolationDb( "fnxSession0" "demo_top:1" "Interactive.1")
     when( dbId != -1
          maeWaiveViolation( dbId ?objectName "I19.PMO" ?objectType "instance" ?checkerName "testLib/demo_top/Constr_3" ?analysisName "tran" ?comment "waiving")

          maeCloseViolationDb(dbId)
     )
=> t

Related Topics

maeOpenViolationDb

Return to top