All Cobra Statements

All supported cobra statements (alpha order)

• assert - assert condition

• branch - multiway branch

• break - break out of enclosing loop
• continue - continue enclosing loop

• expect - assert receiving an exception

• lock - lock and execute code in a critical section

• for-numeric
•  for-Enumeration

•  if-then-else - conditional execution

• ignore - remove handlers for event
• listen - specify handler for event

• pass - specify non operation

•  post (while) - loop while condition true testing condition at end of block. do-while equivalent

• print - output something

• raise - raise/fire an event

• return - return from a method

• throw - generate an exception

• trace - emit trace/debug info

• try-catch - try a block and handle any thrown exceptions

• using - specify a block with initialization and automatic (and correct) cleanup of IDisposable objects. A construct to support  RAII for IDisposables.

• use - specify a namespace and contents to be used by this module

•  while - loop while a condition is true

• yield - yield a result from a generator

• ct_Trace