Function debug_frame_write

src/engine/debugger.cpp:213–228

}

static void debug_frame_write( FILE * out, FRAME * frame )
{
    string rulename_buffer [ 1 ];
    OBJECT * fullname = constant_builtin;
    OBJECT * file = frame->file;
    if ( file == NULL ) file = constant_builtin;
    else fullname = make_absolute_path( frame->file );
    debug_format_rulename( rulename_buffer, frame );
    debug_object_write( out, file );
    debug_int_write( out, frame->line );
    debug_object_write( out, fullname );
    debug_lol_write( out, frame->args );
    debug_string_write( out, rulename_buffer->value );
    object_free( fullname );
    string_free( rulename_buffer );
}

/*
 * The information passed to the debugger for