Re: How to find note items associated with a ET_FUNCTION

Colin Adams <[email protected]> Sun, 17 Feb 2013 18:15:09 +0000
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <CABHqrUm2QxgDBiiS3dvtnLxqG8Nv33LYNndoRn9g=Lg0Xbr02g@mail.gmail.com>
--===============6042892247972144446==
Content-Type: multipart/alternative; boundary=bcaec5016301bfd23b04d5ef9623

--bcaec5016301bfd23b04d5ef9623
Content-Type: text/plain; charset=UTF-8

I am using ISE 7.2, not gec.

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:

secondary_settings_not_void: INVARIANT_VIOLATION raised
(INVARIANT_VIOLATION)
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception
Effect
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     _invariant             secondary_settings_not_void:
<00007F4B99A15D78>                         Class invariant violated.
Fail
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     _invariant
<00007F4B99A15D78>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     make @4
<00007F4B99A15D78>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_TARGET       make @5
<00007F4B99A15458>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_AST_FACTORY  new_target @2
<00007F4B99147738>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    new_target @10
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    fill_system_config @19
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    new_system @13
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    build_system_config @5
<00007F4B991476D8>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    parse_file @15
<00007F4B991476D8>  (From ET_ECF_PARSER)   Routine failure.
 Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    parse_file @4
<00007F4B991476D8>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         parse_ecf_file @10
<00007F4B99145F88>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         make @8
<00007F4B99145F88>                         Routine failure.
 Fail
-------------------------------------------------------------------------------
CQS_CHECKER         root's creation
<00007F4B99145F88>                         Routine failure.
 Exit
-------------------------------------------------------------------------------


On 17 February 2013 16:55, Eric Bezault <[email protected]> wrote:

> On 2/17/2013 3:33 PM, Colin Adams wrote:
>
>> The errors that it finds are:
>>
>> 1 Syntax error:
>> Syntax error:
>> line 40 column 39 in
>> /home/colin/Eiffel72/library/**base/elks/kernel/utf_**converter.e
>>
>>          escape_character: CHARACTER_32 = '%/0xFFFD/'
>>                                               ^
>>                          -- Unicode replacement character to escape
>> invalid UTF-8 or UTF-16 encoding.
>>
>
> I think that this one is fixed in the Git repository of Gobo.
>
>
>  quite a lot of GVKBU-1 errors. E.g.
>>
>>
>> [GVKBU-1] class REAL_64_REF (78,2): unknown built-in routine
>> `positive_infinity' in class REAL_64_REF.
>>
>
> Are you using gec? If so you need to use the version of FreeELKS
> that is in the Git repository of Gobo.
> If you are using gelint, then it should make no difference which
> version of FreeELKS you are using.
>
> You're better of using the version of Gobo from git, especially if
> you want to benefit from bug fixes that occurred after the official
> releases of EiffelStudio.
>
>
> --
> Eric Bezault
> mailto:[email protected]
> http://www.gobosoft.com
>

--bcaec5016301bfd23b04d5ef9623
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

I am using ISE 7.2, not gec.<div><br></div><div>I&#39;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:</div><div>
<br></div><div><div>secondary_settings_not_void: INVARIANT_VIOLATION raised=
 (INVARIANT_VIOLATION)</div><div>------------------------------------------=
-------------------------------------</div><div>Class / Object =C2=A0 =C2=
=A0 =C2=A0Routine =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Na=
ture of exception =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Effect</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SETTINGS =C2=A0 =C2=A0 _invariant =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 secondary_settings_not_void:=C2=A0</div><div>&l=
t;00007F4B99A15D78&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Class invariant violated. =C2=A0 =C2=A0 Fai=
l</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SETTINGS =C2=A0 =C2=A0 _invariant =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0</div><div>&lt;0=
0007F4B99A15D78&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SETTINGS =C2=A0 =C2=A0 make @4 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0</div><=
div>&lt;00007F4B99A15D78&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_TARGET =C2=A0 =C2=A0 =C2=A0 make @5 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0=
</div><div>&lt;00007F4B99A15458&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_AST_FACTORY =C2=A0new_target @2 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0</div><div>&lt;00007F4B9=
9147738&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 new_target @10 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0=C2=A0</div><div>&lt;00007F4B991476D8&gt; =C2=A0(From ET_ECF_P=
ARSER_SKELETON)</div>
<div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
Fail</div><div>------------------------------------------------------------=
-------------------</div><div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 fill_system_config =
@19=C2=A0</div>
<div>&lt;00007F4B991476D8&gt; =C2=A0(From ET_ECF_PARSER_SKELETON)</div><div=
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail=
</div><div>----------------------------------------------------------------=
---------------</div>
<div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 new_system @13 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
=C2=A0</div><div>&lt;00007F4B991476D8&gt; =C2=A0(From ET_ECF_PARSER_SKELETO=
N)</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 build_system_config @5=C2=A0<=
/div><div>&lt;00007F4B991476D8&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 parse_file @15 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0=C2=A0</div><div>&lt;00007F4B991476D8&gt; =C2=A0(From ET_ECF_P=
ARSER) =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>ET_ECF_SYSTEM_PARSER</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 parse_file @4 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0</div><div>&lt;00007F4B991476D8&gt; =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine =
failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>CQS_CHECKER =C2=A0 =C2=A0 =C2=A0 =C2=A0 parse_ecf_file =
@10 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0</div><div>&lt;00007F4B9914=
5F88&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>CQS_CHECKER =C2=A0 =C2=A0 =C2=A0 =C2=A0 make @8 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
=C2=A0</div><div>&lt;00007F4B99145F88&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Fail</div>
<div>----------------------------------------------------------------------=
---------</div><div>CQS_CHECKER =C2=A0 =C2=A0 =C2=A0 =C2=A0 root&#39;s crea=
tion =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0</div><div>&lt=
;00007F4B99145F88&gt; =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Routine failure. =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0Exit</div>
<div>----------------------------------------------------------------------=
---------</div><div><br></div><br><div class=3D"gmail_quote">On 17 February=
 2013 16:55, Eric Bezault <span dir=3D"ltr">&lt;<a href=3D"mailto:ericb@gob=
osoft.com" target=3D"_blank">[email protected]</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div class=3D"im">On 2/17/2013 3:33 PM, Coli=
n Adams wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">
The errors that it finds are:<br>
<br>
1 Syntax error:<br>
Syntax error:<br>
line 40 column 39 in<br>
/home/colin/Eiffel72/library/<u></u>base/elks/kernel/utf_<u></u>converter.e=
<br>
<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0escape_character: CHARACTER_32 =3D &#39;%=
/0xFFFD/&#39;<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 ^<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0-- Unicode replacement character to escape<br>
invalid UTF-8 or UTF-16 encoding.<br>
</blockquote>
<br></div>
I think that this one is fixed in the Git repository of Gobo.<div class=3D"=
im"><br>
<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">
quite a lot of GVKBU-1 errors. E.g.<br>
<br>
<br>
[GVKBU-1] class REAL_64_REF (78,2): unknown built-in routine<br>
`positive_infinity&#39; in class REAL_64_REF.<br>
</blockquote>
<br></div>
Are you using gec? If so you need to use the version of FreeELKS<br>
that is in the Git repository of Gobo.<br>
If you are using gelint, then it should make no difference which<br>
version of FreeELKS you are using.<br>
<br>
You&#39;re better of using the version of Gobo from git, especially if<br>
you want to benefit from bug fixes that occurred after the official<br>
releases of EiffelStudio.<div class=3D"HOEnZb"><div class=3D"h5"><br>
<br>
-- <br>
Eric Bezault<br>
mailto:<a href=3D"mailto:[email protected]" target=3D"_blank">ericb@goboso=
ft.com</a><br>
<a href=3D"http://www.gobosoft.com" target=3D"_blank">http://www.gobosoft.c=
om</a><br>
</div></div></blockquote></div><br></div>

--bcaec5016301bfd23b04d5ef9623--


--===============6042892247972144446==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

------------------------------------------------------------------------------
The Go Parallel Website, sponsored by Intel - in partnership with Geeknet, 
is your hub for all things parallel software development, from weekly thought 
leadership blogs to news, videos, case studies, tutorials, tech docs, 
whitepapers, evaluation guides, and opinion stories. Check out the most 
recent posts - join the conversation now. http://goparallel.sourceforge.net/
--===============6042892247972144446==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

--===============6042892247972144446==--