C++ (Cpp) script_exceptionの例

コード例 #1

ファイル: lua.cpp プロジェクト: codyroux/lean

void check_result(lua_State * L, int result) {
    if (result) {
        if (is_exception(L, -1)) {
            to_exception(L, -1).rethrow();
        } else {
            throw script_exception(lua_tostring(L, -1));
        }
    }
}

コード例 #2

ファイル: expression.cpp プロジェクト: brucegentles/ringinglib

void exception_node::execute( proof_context& ctx )
{
  throw script_exception( t );
}