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

[Eric B. <er...@go...>]

On 2/18/2013 6:21 PM, Colin Adams wrote:
> 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
> -------------------------------------------------------------------------------

Fixed.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com