dbInPlaceCoverObstructionExists

dbInPlaceCoverObstructionExists(
d_InstHeaderId
) 
=> t / nil

Description

Checks whether an InPlaceCoverObstruction object is present on the specified instance header.

Arguments

d_InstHeaderId

ID of an instance header.

Values Returned

t	Returned in case the InPlaceCoverObstruction object is present on the specified instance header.
nil	Returned in case the InPlaceCoverObstruction object is not present on the specified instance header.

Examples

Returns t as the InPlaceCoverObstruction object is present on the instance header instHeaderId.

inst = dbCreateInst(cv master "inst" list(3 4) "R0" 1)

     instHeaderId = inst~>instHeader

     dbCreateInPlaceCoverObstruction(instHeaderId list("closed" 1 4))

equal(dbInPlaceCoverObstructionExists(instHeaderId) t)

Return to top