Changes between Version 12 and Version 13 of NewFrontEnd

Timestamp:

2017-01-26T16:38:20+01:00 (8 years ago)

Author:

adrpo

Comment:

--

NewFrontEnd

@@ -137 +137 @@
 }}}
 
+Instead of using Error.addSourceMessage one could use Error.addInternalError using {{{sourceInfo()}}} builtin function.
+Example:
+{{{#!mo
+Error.addSourceMessage(Error.INTERNAL_ERROR, {"Graph.allReachableNodesInt failed."}, sourceInfo());
+// better
+Error.addInternalError("Got internal hash table size " + intString(szBucket) + " <1", sourceInfo());
+}}}
+
 == Known issues ==