Commit 2a6dcc46 authored by Matthias Simon's avatar Matthias Simon
Browse files

Finish log-draft

parent 76293977
Loading
Loading
Loading
Loading
Loading
+14 −2
Original line number Diff line number Diff line
## The log function

The `log` statement logs the string represenation of given arguments to the
The `log` function logs a string represenation of given arguments to the
logging stream associated with the current component.

**Syntactical Structure**
@@ -16,7 +16,6 @@ Given _arguments_ shall be evaluated according to the rules specified in
[string representation] is logged to the logging stream associated with the
current component.


> NOTE: The implementation of the logging stream is outside the scope of
> this document.

@@ -24,3 +23,16 @@ current component.
> side effects on the test behaviour. In particular, functions used in a log
> statement should not (explicitly or implicitly) change component variable
> values, port or timer status.

The following string representations are recommended:

| Language Element | What is logged |
|------------------|----------------|
|Concrete value| the value itself|
|Uninitialized value| "UNINITIALIZED"|
|Component reference|actual state and, if available, component instance name|
|Port reference|actual port state|
|Timer reference|actual time state|
|Default reference|actual default state|