[Small modifications of the html documentation nordland@csee.ltu.se**20081023125339] { hunk ./doc/summary/expr.html 245 -common for implicit struct types, as here. See implicit types for +common for structs defined to be type classes, as here. See the section on type classes for hunk ./doc/summary/expr.html 273 -in interfaces. +in interfaces. In contrast to actions and requests, a procedure always reads and writes the local state +of its caller, irrespective of the scope in which it was defined. hunk ./doc/summary/java.html 57 - result Prog {..} + result Counter {..} hunk ./doc/summary/java.html 63 - here Prog {..} means: assemble a value of type Prog + here Counter {..} means: assemble a value of type Counter hunk ./doc/summary/lex.html 34 -An identifier consists of a letter followed first by zero or more letters, digits, single quotes and underscores. +An identifier consists of a letter followed by zero or more letters, digits, single quotes and underscores. hunk ./doc/summary/lex.html 39 -action after before case class data do -default else elsif forall if import implicit -in let module new of private request -result struct then type use where while +action after before case class data +do default else elsif forall if +import in instance let module new +of private request result struct then +type typeclass use where while hunk ./doc/summary/tclass.html 59 -Num to be a type class, following the terminology introduced in Haskell: +Num to be a type class, loosely following the terminology introduced in Haskell: hunk ./doc/summary/tclass.html 72 -
  • changes the type of the function to be a qualified type; the type class occurs as a constraint after \\. +
  • changes the type of the function to be a qualified type; the type class occurs as a constraint after \\. hunk ./doc/summary/tclass.html 91 -the objects that are to be used at different types. The definition of the struct value and its instance declaration can be combined into one declaration. As an example, here is an instance of Num for rational numbers: +the objects that are to be used at different types. The definition of the struct value and its instance declaration can be combined +into one declaration. As an example, here is an instance of Num for rational numbers: hunk ./doc/summary/time.html 48 -two times raises an exception). +two time values raises an exception). hunk ./doc/summary/time.html 63 -
  • The time window of a reaction to an interrupt has - as baseline the time instant when the interrupt occurs and - as deadline an idealised instant, infinitely far into the future. +
  • The time window of a reaction to an external event has + as baseline the time instant when the event occurs, and + as deadline an idealised instant infinitely far into the future. hunk ./doc/summary/time.html 71 - action is called) from a method with baseline bl and deadline dl, - the reaction to the message inherits the - deadline dl, while the baseline - becomes the current time.
    • + plain action is called) from a method with current baseline bl and deadline dl, + the reaction to the message inherits both bl and dl. hunk ./doc/summary/time.html 77 -

  • The command after t act - adds duration t to bl to give the baseline for - act, unless that baseline would denote an already passed - time instance, in which case the baseline becomes the current time.

    • -

  • The command before t act - adds duration t to dl to give the deadline - for act.

    • +

  • The expression after t act + sets the effective baseline for act to the current baseline plus t. +

    • +

  • The expression before t act sets + the effective deadline for act to its effective baseline plus t.

    • hunk ./doc/summary/time.html 83 + In both cases, act can be any expression of type Action, which includes the + time-annotated constructs just introduced. Nested baseline offsets are composed using addition, + while multiple deadline offsets are resolved by selecting the minimal value. + The relative order of after and before constructs is not relevant. + +

    Special case: if the baseline denoted by an after construct is an already passed time instant, + the effective baseline of the reaction is rounded off to the actual time of the call. }