Bedeutung#
any steht für einen vom Vertrag abhängigen Wert; unknown bedeutet, dass der Vertrag noch nicht geklärt ist. Das sind keine Ergebnisse von Lua type(). none und C void haben keinen direkten Rückgabewert, können aber Wirkungen und Ausgabeparameter besitzen.
Beispiel#
local ok, result = pcall(function() return 7 end)
-- boolean, then the function results on success.Was geschieht: ok = wahr, Ergebnis = 7.
Dieses Fragment gibt keine Protokollnachricht aus oder schreibt keine Protokollnachricht. Die angezeigten Werte sind die erwarteten Ergebnisse des Beispiels.