596
76%

Ran 27 Nov 2013 08:49PM UTC

Jobs 1

Files 193

Run time –

Badge

Embed ▾

pending completion

Build # 596

Build Type

push

travis-ci

Committed by

leodemoura

Commit Message

refactor(util/lua): propagate C++ Lean exceptions in Lua

The following call sequence is possible:
C++ -> Lua -> C++ -> Lua -> C++

The first block of C++ is the Lean main function.
The main function invokes the Lua interpreter.
The Lua interpreter invokes a C++ Lean API.
Then the Lean API invokes a callback implemented in Lua.
The Lua callback invokes another Lean API.
Now, suppose the Lean API throws an exception.
We want the C++ exception to propagate over the mixed C++/Lua call stack.
We use the clone/rethrow exception idiom to achieve this goal.

Before this commit, the C++ exceptions were converted into strings
using the method what(), and then they were propagated over the Lua
stack using lua_error. A lua_error was then converted into a lua_exception when going back to C++.
This solution was very unsatisfactory, since all C++ exceptions were being converted into a lua_exception, and consequently the structure of the exception was being lost.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

Run Details

15580 of 17066 relevant lines covered (91.29%)

240565.41 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	596.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF)	27 Nov 2013 08:49PM UTC	193	91.29	Travis Job 596.1

Source Files on build 596

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

soonhokong / lean / 596
76%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 596

soonhokong / lean / 596 76%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 596

soonhokong / lean / 596
76%

README BADGES
x