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: October 1, 1998

previous up next