previous up next
Go up to 5.5 Execution Control
Go forward to getTime: Determining the Node Time
RISC-Linz logo

assert: Asserting Global Conditions

assert(a)
  GlobalAssertion a

This function checks whether the global assertion a holds for all nodes of the network. If the assertion fails, execution of the network is terminated with an error message; otherwise execution is continued.


Maintainer: Wolfgang Schreiner
Last Modification: November 14, 1997

previous up next