hyung-hwan/moo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added System>>backtrace

Browse Source
This commit is contained in:
hyunghwan.chung 2019-07-12 07:24:37 +00:00
parent 18e186677e
commit 3e506cbcfb
8 changed files with 47 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
moo/README.md
View File

@ -81,3 +81,14 @@ while (true)
1 to: 20 do: [:count | ... ]. 1 to: 20 do: [:count | ... ].
~~~ ~~~
### Exception handling
Exception signal.
Exception signal: "message".
[ ... ] on: Exception do: [:ex | ... ].
ex retry.
ex resume.
ex resume: value.
ex return: value.

15
moo/kernel/Apex.moo
View File

@ -313,8 +313,6 @@ class UndefinedObject(Apex)
} }
} }
extend Error extend Error
{ {
/* ---------------------------- /* ----------------------------
@ -343,6 +341,7 @@ extend Error
method(#primitive) asString. method(#primitive) asString.
/* -----------------------
method signal method signal
{ {
| exctx exblk retval actpos ctx | | exctx exblk retval actpos ctx |
@ -368,16 +367,7 @@ extend Error
//thisContext unwindTo: nil return: nil. //thisContext unwindTo: nil return: nil.
//thisContext unwindTo: (Processor activeProcess initialContext) return: nil. //thisContext unwindTo: (Processor activeProcess initialContext) return: nil.
// TOOD: IMPROVE THIS EXPERIMENTAL BACKTRACE... System backtrace.
System logNl: "== BACKTRACE ==".
ctx := thisContext.
while (ctx notNil)
{
if (ctx class == MethodContext) { System logNl: (" " & ctx method owner name & ">>" & ctx method name) }.
// TODO: include blockcontext???
ctx := ctx sender.
}.
System logNl: "== END OF BACKTRACE ==".
thisContext unwindTo: (thisProcess initialContext) return: nil. thisContext unwindTo: (thisProcess initialContext) return: nil.
("### ERROR NOT HANDLED #### " & self class name & " - " & self asString) dump. ("### ERROR NOT HANDLED #### " & self class name & " - " & self asString) dump.
@ -386,4 +376,5 @@ System logNl: "== END OF BACKTRACE ==".
//Processor activeProcess terminate. //Processor activeProcess terminate.
thisProcess terminate. thisProcess terminate.
} }
---------------------- */
} }

28
moo/kernel/Except.moo
View File

@ -69,21 +69,7 @@ TODO: can i convert 'thisProcess primError' to a relevant exception?
//thisContext unwindTo: nil return: nil. //thisContext unwindTo: nil return: nil.
//thisContext unwindTo: (Processor activeProcess initialContext) return: nil. //thisContext unwindTo: (Processor activeProcess initialContext) return: nil.
// TOOD: IMPROVE THIS EXPERIMENTAL BACKTRACE... MOVE THIS TO System>>backtrace and skip the first method context for backtrace itself. System backtrace.
System logNl: "== BACKTRACE ==".
ctx := thisContext.
while (ctx notNil)
{
if (ctx class == MethodContext)
{
System logNl: (" " & ctx method owner name & ">>" & ctx method name &
" (" & ctx method sourceFile & " " & (ctx method ipSourceLine: (ctx pc)) asString & ")").
// TODO: get location of the current pc and include it... (ctx method sourceLine: ctx pc) asString dump.
}.
// TODO: include blockcontext???
ctx := ctx sender.
}.
System logNl: "== END OF BACKTRACE ==".
thisContext unwindTo: (thisProcess initialContext) return: nil. thisContext unwindTo: (thisProcess initialContext) return: nil.
("### EXCEPTION NOT HANDLED(Exception) #### " & self class name & " - " & self messageText) dump. ("### EXCEPTION NOT HANDLED(Exception) #### " & self class name & " - " & self messageText) dump.
@ -540,17 +526,7 @@ extend Apex
| class_name ctx | | class_name ctx |
class_name := if (self class == Class) { self name } else { self class name }. class_name := if (self class == Class) { self name } else { self class name }.
// TOOD: IMPROVE THIS EXPERIMENTAL BACKTRACE... System backtrace.
System logNl: "== BACKTRACE ==".
ctx := thisContext.
while (ctx notNil)
{
if (ctx class == MethodContext) { System logNl: (" " & ctx method owner name & ">>" & ctx method name) }.
// TODO: include blockcontext???
ctx := ctx sender.
}.
System logNl: "== END OF BACKTRACE ==".
NoSuchMessageException signal: (message_name & " not understood by " & class_name). NoSuchMessageException signal: (message_name & " not understood by " & class_name).
} }

22
moo/kernel/System.moo
View File

@ -214,6 +214,28 @@ TODO: how to pass all variadic arguments to another variadic methods???
^self atLevel: System.Log.INFO logNl: message and: message2. ^self atLevel: System.Log.INFO logNl: message and: message2.
} }
method(#class) backtrace
{
| ctx |
// TOOD: IMPROVE THIS EXPERIMENTAL BACKTRACE... MOVE THIS TO System>>backtrace and skip the first method context for backtrace itself.
System logNl: "== BACKTRACE ==".
//ctx := thisContext.
ctx := thisContext sender. // skip the current context. skip to the caller context.
while (ctx notNil)
{
if (ctx class == MethodContext)
{
System logNl: (" " & ctx method owner name & ">>" & ctx method name &
" (" & ctx method sourceFile & " " & (ctx method ipSourceLine: (ctx pc)) asString & ")").
// TODO: get location of the current pc and include it... (ctx method sourceLine: ctx pc) asString dump.
}.
// TODO: include blockcontext???
ctx := ctx sender.
}.
System logNl: "== END OF BACKTRACE ==".
}
/* nsdic access */ /* nsdic access */
method(#class) at: key method(#class) at: key
{ {

3
moo/kernel/test-003.moo
View File

@ -92,7 +92,8 @@ class MyObject(Object)
tb := tc at: idx. tb := tc at: idx.
System log(System.Log.INFO, idx asString, (if (tb value) { " PASS" } else { " FAIL" }), "\n"). System log(System.Log.INFO, idx asString, (if (tb value) { " PASS" } else { " FAIL" }), "\n").
]. ].
Exception signal: 'xxx'.
Exception signal: 'experiment with exception signalling'.
// TODO: // TODO:
String format("%s", " 나 는\\\"") dump. String format("%s", " 나 는\\\"") dump.

4
moo/lib/debug.c
View File

@ -241,9 +241,9 @@ int moo_addmethodtodbgi (moo_t* moo, moo_oow_t file_offset, moo_oow_t class_offs
di->_file = file_offset; di->_file = file_offset;
di->_class = class_offset; di->_class = class_offset;
di->start_line = start_line; di->start_line = start_line;
di->code_loc_start = name_bytes_aligned; di->code_loc_start = name_bytes_aligned; /* distance from the beginning of the variable payload */
di->code_loc_len = code_loc_len; di->code_loc_len = code_loc_len;
di->text_start = name_bytes_aligned + code_loc_bytes_aligned; di->text_start = name_bytes_aligned + code_loc_bytes_aligned; /* distance from the beginning of the variable payload */
di->text_len = text_len; di->text_len = text_len;
curptr = (moo_uint8_t*)(di + 1); curptr = (moo_uint8_t*)(di + 1);

5
moo/lib/exec.c
View File

@ -2228,7 +2228,7 @@ static MOO_INLINE moo_dbgi_method_t* get_dbgi_method (moo_t* moo, moo_oop_method
if (dbgi_method_offset > 0) if (dbgi_method_offset > 0)
{ {
MOO_ASSERT (moo, dbgi_method_offset < moo->dbgi->_len); MOO_ASSERT (moo, dbgi_method_offset < moo->dbgi->_len);
di = (moo_dbgi_method_t*)&((moo_uint8_t*)moo->dbgi)[dbgi_method_offset]; di = (moo_dbgi_method_t*)MOO_DBGI_GET_DATA(moo, dbgi_method_offset);
MOO_ASSERT (moo, MOO_DBGI_GET_TYPE_CODE(di->_type) == MOO_DBGI_TYPE_CODE_METHOD); MOO_ASSERT (moo, MOO_DBGI_GET_TYPE_CODE(di->_type) == MOO_DBGI_TYPE_CODE_METHOD);
} }
} }
@ -2258,7 +2258,7 @@ static moo_pfrc_t pf_method_get_source_file (moo_t* moo, moo_mod_t* mod, moo_ooi
const moo_ooch_t* file_name; const moo_ooch_t* file_name;
MOO_ASSERT (moo, dbgi_file_offset < moo->dbgi->_len); MOO_ASSERT (moo, dbgi_file_offset < moo->dbgi->_len);
di = (moo_dbgi_file_t*)&((moo_uint8_t*)moo->dbgi)[dbgi_file_offset]; di = (moo_dbgi_file_t*)MOO_DBGI_GET_DATA(moo, dbgi_file_offset);
MOO_ASSERT (moo, MOO_DBGI_GET_TYPE_CODE(di->_type) == MOO_DBGI_TYPE_CODE_FILE); MOO_ASSERT (moo, MOO_DBGI_GET_TYPE_CODE(di->_type) == MOO_DBGI_TYPE_CODE_FILE);
file_name = (const moo_ooch_t*)(di + 1); file_name = (const moo_ooch_t*)(di + 1);
@ -2300,7 +2300,6 @@ static moo_pfrc_t pf_method_get_ip_source_line (moo_t* moo, moo_mod_t* mod, moo_
retv = moo_oowtoint(moo, code_loc_ptr[ipv]); retv = moo_oowtoint(moo, code_loc_ptr[ipv]);
if (!retv) return MOO_PF_FAILURE; if (!retv) return MOO_PF_FAILURE;
} }
/* TODO: security check for data corruption? check if the ipv offset and the size calcualted doesn't exceed di->_len... */
} }
MOO_STACK_SETRET (moo, nargs, retv); MOO_STACK_SETRET (moo, nargs, retv);

2
moo/lib/moo.h
View File

@ -973,6 +973,8 @@ typedef enum moo_dbgi_type_t moo_dbgi_type_t;
#define MOO_DBGI_GET_TYPE_CODE(type) ((type) >> 8) #define MOO_DBGI_GET_TYPE_CODE(type) ((type) >> 8)
#define MOO_DBGI_GET_TYPE_FLAGS(type) ((type) & 0xFF) #define MOO_DBGI_GET_TYPE_FLAGS(type) ((type) & 0xFF)
#define MOO_DBGI_GET_DATA(moo, offset) ((moo_uint8_t*)(moo)->dbgi + (offset))
typedef struct moo_dbgi_file_t moo_dbgi_file_t; typedef struct moo_dbgi_file_t moo_dbgi_file_t;
struct moo_dbgi_file_t struct moo_dbgi_file_t
{ {