History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/exception.py
Revision Date Author Comments
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# fabbf26f 01-Feb-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

CAmkES errors store msg lines in exception args

This is to simplify unpacking of multi-line error messages, and
iterating over each line. Previously this was just done for
TemplateErrors. Now it's done for all CAmkESErrors, from which all other
CAmkES error types inherit.


# c2749769 24-Jan-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Corrected underlining of template errors

The camkes runner likes to prepend a context string to the start of
error messages. Template error messages are two lines long, with the
second line containing an underline which must be appropriately aligned
to the first line. Prepending a string to the error message breaks this
alignment. The solution is for template errors to be a list of lines,
rather than a multiline string, and prepending the context to each line
in the runner.

JIRA: CAMKES-551


# 16c8067e 15-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Pass column and source information to CAmkESError.

Not used as yet.


# 0d5b749c 15-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Consolidate error formating logic in CAmkESError.


# e3eea674 15-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Make all CAmkES errors inherit from CAmkESError.

No additional functionality or consolidation as yet.


# bacfebce 27-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Refactored parser init commit.