Update Doku aus Driversourcen
Change-Id: I455f0813b970151089b3dc1b8d9407eea323cdd1
diff --git a/doc/LPC/pragma b/doc/LPC/pragma
index d26f326..21d4881 100644
--- a/doc/LPC/pragma
+++ b/doc/LPC/pragma
@@ -24,19 +24,32 @@
save_types: the declaration data is kept after compilation and
checked at runtime. This is important for type-safe
inheritance.
+ no_bytes_type: removes the keyword 'bytes', also 'string' then
+ denotes the type <string|bytes>.
+ bytes_type: reactivates the keyword 'bytes' and distinguishes
+ between the 'bytes' and 'string' type.
rtt_checks: runtime checks during execution of this program will be
- enabled. The interpreter will check for correct datatypes of
- arguments on function calls. (Later it will include checks
- upon assignments.)
+ enabled. The interpreter will check for correct datatypes in
+ the following circumstances:
+ - arguments on function calls,
+ - return values of functions,
+ - assignment to variables,
+ - restoration of values to variables or struct members.
Don't confuse this with strong/strict_types, they only
check at compile time.
strong_types/strict_types is seriously recommended.
This pragma implicitly enables save_types as well.
+ warn_rtt_checks: runtime checks are enabled, just like rtt_checks,
+ but errors will be shown as warnings only.
no_rtt_checks: disable runtime type checks for this program (default).
pedantic: Certain warnings are treated as errors:
- - failure to pass enough arguments to simul efuns
+ - failure to pass enough arguments to simul efuns
+ - type casts with no effect
+ - inconsistent declarations
+ - inconsistent overloads
+ - double inherits
sloppy: Turns off pedantic (the default).
range_check: Use of questionable ranges (ranges of negative sizes,
@@ -49,8 +62,8 @@
no_warn_deprecated: Turns off warn_deprecated.
warn_empty_casts: A cast of a value to its own type generates
- a warning (the default). Exception are casts to type
- 'mixed'.
+ a warning. Also casting a value of mixed/unknown type or
+ casting to mixed will generate a warning (the default).
no_warn_empty_casts: Turns off warn_empty_casts.
warn_missing_return: Warn if a value-returning function is missing