Re: [gobo-eiffel-develop] How to find note items associated with a ET_FUNCTION

[Colin A. <col...@gm...>]

On 17 February 2013 18:37, Eric Bezault <er...@go...> wrote:

> On 2/17/2013 7:15 PM, Colin Adams wrote:
>
>> I've bootstrapped gobo from git, and re-compiled from scratch. But my
>
> program now suffers from an invariant violation when parsing the ECF.
>> Stack trace follows:
>>
>
> I'll have a look at it.
>
> Having temporarily switched off invariant checking for the et_tools
cluster, I now get a precondition violation:

The value of an_int is 74440, which way exceeds the platform maximum of 255.
The last_literal concerned is 0xFFFD.

an_int_small_enough: PRECONDITION_VIOLATION raised (PRECONDITION_VIOLATION)
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception
Effect
-------------------------------------------------------------------------------
KL_INTEGER_ROUTINES to_character @2        an_int_small_enough:
<00007F97C57775B8>                         Precondition violated.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    last_c3_character_constant @8
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_DECORATED_AST_FACTORY
                    new_c3_character_constant @2
<00007F97C5DD4D78>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    process_break @6
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    yy_execute_action @1098
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    read_token @134
<00007F97C5A877B8>  (From ET_EIFFEL_SCANNER)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    yyparse @45
<00007F97C5A877B8>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    parse_file @16
<00007F97C5A877B8>  (From ET_EIFFEL_PARSER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_EIFFEL_PARSER    process_class @23
<00007F97C5A877B8>  (From ET_EIFFEL_PARSER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_CLASS            process @2
<00007F97C5A5BD18>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call
<00007F97C5776F68>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5
<00007F97C5776F68>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_LIBRARY      classes_do_if @11
<00007F97C5A46AB8>  (From ET_UNIVERSE)     Routine failure.
 Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call
<00007F97C5777228>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5
<00007F97C5777228>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
DS_HASH_SET         do_all @5
<00007F97C57772E8>  (From DS_SPARSE_CONTAINER)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       universes_do_recursive @4
<00007F97C5A4FEE8>  (From ET_UNIVERSE)     Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       classes_do_if_recursive_until @4
<00007F97C5A4FEE8>  (From ET_UNIVERSE)     Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       parse_system @15
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       compile_system @9
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM       compile @7
<00007F97C5A4FEE8>  (From ET_SYSTEM)       Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         process_system @15
<00007F97C5A5BF88>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         make @12
<00007F97C5A5BF88>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         root's creation
<00007F97C5A5BF88>                         Routine failure.
 Exit
-------------------------------------------------------------------------------