Current Allowed Features used in concurrency control

• Ada types : Integer, Natural, Boolean.
• Declarations :
  • package
  • task type, single task, array of tasks, task with discriminant, task access type
  • protected type, protected object, array of protected objects
  • [protected] function/procedure/entry [with family]
  • modulo type, range type, enumerate type
  • record type
  • variable, constant, array
  • Global variable (note that they are analyzed as if they were volatile, cf. Ada reference manual C.6(8))
• Statements :
  • [protected] procedure/entry call, select, accept, requeue
  • if-then[-elsif][-else], loop, for, while, case, assignment, accept, select, return, null
• Expressions :
  • integer, identifier, operation, array, function call
  • Count entry attribute
  • dynamic task allocation

last update : 20/10/2005