Nabble - Eiffel Gobo

svn update

2008-07-26T01:09:42Z

If you get a new version from SVN using 'update', you will
have to run:

geant clobber
geant install

Otherwise you might get several classes with the same name.

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bug in gec ?

2008-07-25T12:14:54Z

Hi Lothar,

This is an exact / precise collector.

The primary requirement, above all else, is that it be reliable and to
that end I have been including vast [it seems] numbers of assertions
in the C implementation.

It is not yet either compacting or generational. Until I can reliably
demonstrate that marking the stack is a precise process, anything
else is superfluous.

A derivative of the primary requirement is that I must be able to understand
it (!), which will also help once I put it out for others to use in the fairly
near future, subject to it working correctly when integrated with gec.

I want to be able to implement long running daemon programs using gec,
[my variant of it] with multi-threading, and I while I am happy that Boehm et al
works in a single thread system, I am not convinced that it would work the
way I want it to for my planned systems.

Regards,

Howard

On Friday 25 Jul 2008, Lothar Scholz wrote:

> Hello Howard,
>
> Thursday, July 24, 2008, 11:00:52 PM, you wrote:
>
> HT> Thanks Eric for the fix as below.
>
> HT> I am continuing to develop my custom Garbage Collector for gec, with
> HT> four outstanding routines needed before stress testing.
>
> Is this a conservative or an exact garbage collector.
> Sometimes i dream about a precise concurrent compacting garbage collector.
>

--
Howard Thomson

--
"Only two things are infinite, the universe and human stupidity,
and I'm not sure about the former." -- Albert Einstein

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bug in gec ?

2008-07-25T04:54:12Z

Hello Howard,

Thursday, July 24, 2008, 11:00:52 PM, you wrote:

HT> Thanks Eric for the fix as below.

HT> I am continuing to develop my custom Garbage Collector for gec, with
HT> four outstanding routines needed before stress testing.

Is this a conservative or an exact garbage collector.
Sometimes i dream about a precise concurrent compacting garbage collector.

--
Best regards,
Lothar mailto:llothar@...

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

ma_decimal update

2008-07-24T14:01:24Z

Hi list and especially Paul,

I am going to update the MA_DECIMAL to the latest IEEE-SA 754r spec. I
will work with Eric to get the updates committed to SVN.

Cheers,
Ivan

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bug in gec ?

2008-07-24T09:00:52Z

Thanks Eric for the fix as below.

I am continuing to develop my custom Garbage Collector for gec, with
four outstanding routines needed before stress testing.

1/ mark the stack, and I have basically worked out how I am going to
accurately mark references values on the stack [subject to testing ! ]

2/ make available to the GC a reference to the root object

3/ dispatch routine to call dynamic-type mark routine per id field

4/ [less urgent] work for expanded class attribute(s) that recursively
contain reference containing expanded class attribute(s)

Stress testing of the core C routines for memory allocation, random de-reference,
mark, scan and free is now working reliably with about 50/55 percent bytes-requested
vs bytes-allocated [I think from memory]. It is currently Linux specific, but with only
one smallish routine being platform specific [mmap dependent code].

I am also working on a class ET_ELF_X86_64_CODE_GENERATOR to generate a
Linux ELF X86_64 file, using a set of classes based loosely on the concepts in the
LLVM project, but that has a long way to go.

Regards,

Howard

On Thursday 24 Jul 2008, you wrote:

> Eric Bezault wrote:
> > Howard Thomson wrote:
> >> Hi all,
> >>
> >> I managed to confuse myself, and the compiler, by trying to compile
> >> a class set, as below, which had non-corresponding class filenames
> >> vs the contained class names.
> >>
> >> Would someone care to compile the following (trivial) class set
> >> and see whether 'gec' compiles it [it shouldn't !] and whether you
> >> get any error messages that explain the problem ?
> >
> > I think that gec detects a compilation error because
> > no C code is generated. However it fails to display
> > an error message. I'll fix that.
>
> It's now fixed. gec displays this message:
>
> ----
> [GVSCN-1] class CHILD (1,16): file '.\child.e' contains class PARENT
> instead of the expected class CHILD.
> ----
>

Re: Bug in gec ?

2008-07-24T08:29:17Z

Eric Bezault wrote:

> Howard Thomson wrote:
>> Hi all,
>>
>> I managed to confuse myself, and the compiler, by trying to compile
>> a class set, as below, which had non-corresponding class filenames
>> vs the contained class names.
>>
>> Would someone care to compile the following (trivial) class set
>> and see whether 'gec' compiles it [it shouldn't !] and whether you
>> get any error messages that explain the problem ?
>
> I think that gec detects a compilation error because
> no C code is generated. However it fails to display
> an error message. I'll fix that.

It's now fixed. gec displays this message:

----
[GVSCN-1] class CHILD (1,16): file '.\child.e' contains class PARENT
instead of the expected class CHILD.
----

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-07-20T12:46:02Z

Hi Daniel,

Your binary search tree classes are now committed to SVN in
the SourceForge Gobo project. As agreed, I made some name
changes and some header comments and reformatting to better
match Gobo's style guildelines. I also removed the unnecessary
`void_is_valid_key' and merged `equality_tester' with `comparator'.
I probably did some other minor changes, such as making sure
that "key" features are not exported in the set classes
(set classes don't have the notion of keys in their interface).

I didn't review the binary search tree algorithms. But I think
that some improvements can be made. For example, would it be
possible to redefine `cursor_search_forth' and `cursor_search_back'
in DS_BINARY_SEARCH_TREE_SET, to take advantage that the items
are sorted, and hence avoid linear traversal?

Also, I think that `internal_put' and `internal_put_new' deserve
some postconditions that should match those of DS_SET and DS_TABLE
so that when they are used to implement the corresponding features
in set and table variants the code is correct in terms of DbC.

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bug in gec ?

2008-07-19T14:05:37Z

Howard Thomson wrote:
> Hi all,
>
> I managed to confuse myself, and the compiler, by trying to compile
> a class set, as below, which had non-corresponding class filenames
> vs the contained class names.
>
> Would someone care to compile the following (trivial) class set
> and see whether 'gec' compiles it [it shouldn't !] and whether you
> get any error messages that explain the problem ?

I think that gec detects a compilation error because
no C code is generated. However it fails to display
an error message. I'll fix that.

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Bug in gec ?

2008-07-19T10:39:43Z

Hi all,

I managed to confuse myself, and the compiler, by trying to compile
a class set, as below, which had non-corresponding class filenames
vs the contained class names.

Would someone care to compile the following (trivial) class set
and see whether 'gec' compiles it [it shouldn't !] and whether you
get any error messages that explain the problem ?

Howard Thomson
--
"Only two things are infinite, the universe and human stupidity,
and I'm not sure about the former." -- Albert Einstein

==================================================

file main.e:

class MAIN

create
make

feature

parent: PARENT

make is
do
create {CHILD} parent.make
end

end
=======================

file: child.e:

deferred class PARENT

feature -- Creation

make is
do
end

end
======================

file parent.e:

class CHILD

inherit
PARENT

create

make

feature -- Creation

make_x is
do
end

end

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-07-19T09:19:51Z

Daniel Tuser wrote:

> Eric Bezault wrote:
>> Hi Daniel,
>>
>> Is there a reason why `void_is_valid_key' is False
>> in DS_BINARY_SEARCH_TREE? For example in DS_HASH_TABLE
>> it is possible to have void keys. And the algorithms
>> seem to work with void anyway since `void_is_valid_key'
>> is True in DS_BINARY_SEARCH_TREE_SET. I think that it
>> would make the interface simplier if we could get rid
>> of this feature `void_is_valid_key'.
> I will have a closer look at it as I have more time next week. If it
> works in the void case too, you probably found an artifact I missed.

I just wrote test cases and it works fine.

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-07-19T03:13:57Z

Eric Bezault wrote:
> Hi Daniel,
>
> Is there a reason why `void_is_valid_key' is False
> in DS_BINARY_SEARCH_TREE? For example in DS_HASH_TABLE
> it is possible to have void keys. And the algorithms
> seem to work with void anyway since `void_is_valid_key'
> is True in DS_BINARY_SEARCH_TREE_SET. I think that it
> would make the interface simplier if we could get rid
> of this feature `void_is_valid_key'.
I will have a closer look at it as I have more time next week. If it
works in the void case too, you probably found an artifact I missed.

> Apart from that, I still need to improve one thing and
> then it will be ready to be committed in SVN. The
> problem is with `equality_tester'. This is assumed to
> be used in many places. Just look at the header comments
> of `is_subset', `interset', etc. in DS_BINARY_SEARCH_TREE_SET.
> But in fact it uses KL_COMPARATOR.order_equal. I'm currently
> trying to use the KL_COMPARATOR as if it was a
> KL_EQUALITY_TESTER of `equality_tester' (in other words
> `comparator' and `equality_tester' would be the same
> object).

When the implementation started, it was actually just one object. I had
to split it because some problems with void tests. It made the work
easier. I didn't change it because it worked. But it is certainly
cleaner, if there is just one such object.

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-07-18T10:13:16Z

Hi Daniel,

Is there a reason why `void_is_valid_key' is False
in DS_BINARY_SEARCH_TREE? For example in DS_HASH_TABLE
it is possible to have void keys. And the algorithms
seem to work with void anyway since `void_is_valid_key'
is True in DS_BINARY_SEARCH_TREE_SET. I think that it
would make the interface simplier if we could get rid
of this feature `void_is_valid_key'.

Apart from that, I still need to improve one thing and
then it will be ready to be committed in SVN. The
problem is with `equality_tester'. This is assumed to
be used in many places. Just look at the header comments
of `is_subset', `interset', etc. in DS_BINARY_SEARCH_TREE_SET.
But in fact it uses KL_COMPARATOR.order_equal. I'm currently
trying to use the KL_COMPARATOR as if it was a
KL_EQUALITY_TESTER of `equality_tester' (in other words
`comparator' and `equality_tester' would be the same
object).

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bounded structures?

2008-07-10T01:17:27Z

On Wed, 09 Jul 2008 17:26:27 -0000, Eric Bezault <ericb@...>
wrote:

> Bernd Schoeller wrote:
>> Perhaps I missed it, but are any of the structures available in GOBO
>> bounded? Is there a concept of "bounded" in any abstraction?
>> I would need some bounded structures (mostly ring buffer) for some
>> stuff that I am currently writing.
>
> No bounded containers available in Gobo, they can all be resized.

Ok, then I will cook up something myself. I need a fast ring-buffer
implementation, based on an array and two indexes. I am not sure if it
could be an addition to GOBO, as it would live outside of the general
structure hierarchie, because of its bounded-ness.

Bernd

--
Bernd Schoeller, PhD, CTO
Comerge AG, Technoparkstrasse 1, CH-8005 Zurich, Switzerland

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bounded structures?

2008-07-09T10:26:27Z

Bernd Schoeller wrote:
> Perhaps I missed it, but are any of the structures available in GOBO
> bounded? Is there a concept of "bounded" in any abstraction?
>
> I would need some bounded structures (mostly ring buffer) for some stuff
> that I am currently writing.

No bounded containers available in Gobo, they can all be resized.

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

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Bounded structures?

2008-07-09T02:22:58Z

Dear List,

Perhaps I missed it, but are any of the structures available in GOBO
bounded? Is there a concept of "bounded" in any abstraction?

I would need some bounded structures (mostly ring buffer) for some stuff
that I am currently writing.

Regards,
Bernd

--
Comerge AG, Technoparkstrasse 1, CH-8005 Zurich, Switzerland

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: XM_XSLT_TEST_STYLESHEET_BUILDER does not compile

2008-07-07T03:32:39Z

Colin Paul Adams wrote:

>>>>>> "Eric" == Eric Bezault <ericb@...> writes:
>
> Eric> Hi Colin, In your check-in svn#6447, it looks like you
> Eric> forgot to update class XM_XSLT_TEST_STYLESHEET_BUILDER:
>
> You are right. Sorry.
>
> Eric> What should be the extra argument to be passed to
> Eric> `new_transformer' in this test class? It seems safe to pass
> Eric> Void. Can we just do that?
>
> Not only can, but must.
> Can you fix it for me?

Done.

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

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

XM_XSLT_TEST_STYLESHEET_BUILDER does not compile

2008-07-07T02:59:57Z

Hi Colin,

In your check-in svn#6447, it looks like you forgot to update
class XM_XSLT_TEST_STYLESHEET_BUILDER:

~~~~~~~~~~~~~~~~~~~~~~~
Error code: VUAR(1)
Error: wrong number of actual arguments in feature call.
What to do: make sure that number of actuals matches number of formals.

Class: XM_XSLT_TEST_STYLESHEET_BUILDER
Feature: test_simple
Called feature: new_transformer (a_factory: XM_XSLT_TRANSFORMER_FACTORY;
a_timer: XM_XSLT_TIMING): XM_XSLT_TRANSFORMER from
XM_XSLT_STYLESHEET_COMPILER

Number of actuals: 1 Number of formals: 2
Line: 286
assert ("hr 3", l_literal_result /= Void and then
STRING_.same_string (l_literal_result.node_name, "hr"))
-> l_transformer := l_stylesheet_compiler.new_transformer
(l_transformer_factory)
assert ("transformer", l_transformer /= Void)
~~~~~~~~~~~~~~~~~~~~~~~

What should be the extra argument to be passed to `new_transformer'
in this test class? It seems safe to pass Void. Can we just do that?

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

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-07-06T10:03:15Z

Daniel Tuser wrote:
> My todo list for the binary search trees is now empty. From my point of
> view it is ready to be released if no one finds weaknesses in the code.

I'm currently looking at integrating your classes into
Gobo and I'm wondering whether I can make some modifications
first. For example, when I see the name of this class:
DS_ABSTRACT_COMMON_RED_BLACK_TREE, I said "Wow!". In Gobo
we try to avoid using "ABSTRACT" (all deferred classes
are abstract, so it does not give that much information
about the class). And "COMMON" does not give that much
help either. From what I can see, you have sets and tables
implemented with various binary search tree algorithms.
In Gobo we already have DS_SPARSE_CONTAINER with the
descendants DS_SPARSE_TABLE and DS_SPARSE_SET. I think
that's what you tried to do with your "COMMON" classes.
So instead of DS_COMMON_BINARY_SEARCH_TREE I suggest
DS_BINARY_SEARCH_TREE_CONTAINER, with the indexing
clause: "Containers using binary search tree algorithms".
Then you have two descendants: the set version
DS_BINARY_SEARCH_TREE_SET and the table version
DS_BINARY_SEARCH_TREE (for which we don't put the suffix
_TABLE because this container is commonly known without it).
And use the same naming convention for all binary search
tree algorithms. Now, trying to get rid of "ABSTRACT", I
wonder why we cannot have DS_LEFT_LEANING_RED_BLACK_TREE
that inherits from DS_RED_BLACK_TREE (instead of having
this "ABSTRACT" common ancestor). If this is OK, I can
do the renaming as well as making sure that the header
comments follow the Eiffel style guidelines while integrating
the classes in Gobo.

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

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: [gobo-eiffel] Re: Gobo Regexp and Unicode support.

2008-07-02T02:08:57Z

Ted wrote:
> I could have a look if you don't mind how much time I would take.
> Because I am quite slow reading C code. And not too much free time
> left for this.

That would be great if you could have a look at that.

If you want I will send you the C package PCRE 3.9 which
I believe was originally used when developing the Eiffel
regexp library. That way you could make a diff with the
version 7.7 currently available in www.pcre.org and see
what they did to support unicode.

Note that this mailing list is for user questions. Can we
move the discussion to the SourceForge developer mailing
list:

https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

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

-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Gobo Regexp and Unicode support.

2008-06-29T14:11:53Z

Eric Bezault wrote:
> However, in addition to Colin's remark about case-insensitivity, I also
> noticed that character classes (e.g. "[a-z]") will not work if they
> contain characters with code greater then 255.

I forgot to mention that the routine `optimize' builds its
own character set for internal purposes. This means that this
routine might corrupt the behavior of the regular expression
if it contains characters with code greater than 255.

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: [gobo-eiffel] Gobo Regexp and Unicode support.

2008-06-29T14:02:36Z

Ted wrote:
> I read somewhere Gobo Regexp doesn't support Unicode yet.
> After some investigation. I found some minor changes would make it
> support Unicode (See following patch).
>
> Can someone confirm? And merge it into the library if possible.

I just committed your modifications in SVN.

However, in addition to Colin's remark about case-insensitivity, I also
noticed that character classes (e.g. "[a-z]") will not work if they
contain characters with code greater then 255.

For your information, this regexp library in Gobo was born out of
a translation to Eiffel of the code of the PCRE C library. The version
of the C library was 3.9 if I remember correctly, and it was the
very early stage of its support for unicode. The version number today
is 7.7 and they claim to support unicode now, supposedly with a regexp
pattern syntax and behavior compatible with Perl's regexp. It might
be worth looking at the PCRE C library:

http://www.pcre.org/

in order to implement unicode support in a way that does not depart
too much from the original PCRE library and at the same time preventing
us from having to reinvent the wheel.

I suggest that we move this discussion to the gobo-eiffel-develop
mailing list.

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Gobo tools won't generate override cluster

2008-06-28T10:24:11Z

> From: Colin Adams
> Sent: Wednesday, June 25, 2008 5:28 AM
> To: Eric Bezault
> Subject: Gobo tools won't generate override cluster
>
> I have the following lines in my system.xace:
>
> <option name="override_cluster" value="override_cluster"/>
>
> And
>
> <cluster name="override_cluster" location="${HOME}/es62_override">
> <option name="recursive" value="true"/>
> </cluster>
>
>
> But the getest command is generating the following in the ecf file:
>
> <cluster name="override_cluster"
> location="${HOME}/es62_override" recursive="true">
> </cluster>
>
>
> So I don't get overrides - instead I get a clash.
>
> I am running on Linux using the latest SVN version of Gobo.

This should now be fixed in svn#6436.

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Bug in XM_EXPAT_API

2008-06-23T06:56:11Z

Paul Cohen wrote:

> The Result of type STRING is not created in the following feature in
> XM_EXPAT_API (see line 1426):
>
> 1415 new_string_from_c_zero_terminated_string (psz: POINTER): STRING is
> 1416 -- Eiffel STRING object created from a zero terminated C
> 1417 -- String located at `psz'.
> 1418 -- The string is copied so the memory allocated at `psz' may be
> 1419 -- freed without affecting the returned string.
> 1420 require
> 1421 psz_valid: psz /= default_pointer
> 1422 do
> 1423 #ifdef SE
> 1424 create Result.from_external_copy (psz)
> 1425 #else
> 1426 Result.from_c (psz)
> 1427 #endif
> 1428 ensure
> 1429 string_not_void: Result /= Void
> 1430 end
>
> It should be:
>
> 1426 create Result.make_from_c (psz)
>
> /Paul
>

Thank you, it's now fixed in svn#6433.

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Bug in XM_EXPAT_API

2008-06-23T05:55:03Z

Hi,

The Result of type STRING is not created in the following feature in
XM_EXPAT_API (see line 1426):

1415 new_string_from_c_zero_terminated_string (psz: POINTER): STRING is
1416 -- Eiffel STRING object created from a zero terminated C
1417 -- String located at `psz'.
1418 -- The string is copied so the memory allocated at `psz' may be
1419 -- freed without affecting the returned string.
1420 require
1421 psz_valid: psz /= default_pointer
1422 do
1423 #ifdef SE
1424 create Result.from_external_copy (psz)
1425 #else
1426 Result.from_c (psz)
1427 #endif
1428 ensure
1429 string_not_void: Result /= Void
1430 end

It should be:

1426 create Result.make_from_c (psz)

/Paul

--
Paul Cohen
mobile: +46 730 787 035
e-mail: paul.cohen@...

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: [xsl] Printing CDATA from feed as HTML

2008-06-13T01:59:56Z

>>>>> "Colin" == Colin Paul Adams <colin@...> writes:

>>>>> "David" == David Carlisle <davidc@...> writes:
>>> I think a parse() function almost made it into 2.0...

David> it did.

David> <xsl:function name="x:parse" as="document-node()">
David> <xsl:param name="s" as="xs:string"/> <xsl:sequence
David> select="doc(concat('data:text/xml,'$s))"/> </xsl:function>

Colin> Almost.
Colin> Your data URI needs the charset parameter.

Hm. Maybe not.

There is a portability problem here, in that there is a dependency
upon the Unicode encoding form used by the implementation.

For instance, Gestalt currently uses UTF-8, so you need to specify:

data:application.xml; charset=UTF-8

but I am currently re-engineering it to use UTF-32 (amongst other
changes), and so there is a problem.

Now the implementation would be able to supply the actual encoding
using a higher level protocol (something internal to the
implementation of fn:doc()). You then have a clash between the
labelled encoding, and the encoding supplied by the higher level
protocol.

It is a TAG recommendation that the XML parser must not override the
encoding supplied by the higher level protocol in this case. So you
are just about OK. The normal thing for an XML parser to do would be
to report an error in this case, but that is not required by an spec.

--
Colin Adams
Picking nits off the nits
Preston Lancashire

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Problem with DS_HASH_TABLE

2008-06-13T01:11:42Z

>>>>> "Paul" == Paul G Crismer <paul-georges.crismer@...> writes:

Paul> Hello, I have a problem with DS_HASH_TABLE. A precondition
Paul> violation in 'clashes_put'.

Hi Paul,

Maybe you have an issue where a STRING isn't cloned and overwritten
while adding things?

--
Cheers,

Berend de Boer

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

smime.p7s (1K) Download Attachment

Re: Problem with DS_HASH_TABLE

2008-06-11T21:22:24Z

Paul G. Crismer wrote:
> I have a problem with DS_HASH_TABLE. A precondition violation in
> 'clashes_put'.

Hi Paul,

Did you get a precondition violation on DS_HASH_TABLE.put after
following Ted's suggestion to enable Supplier Precondition in
the configuration?

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Problem with DS_HASH_TABLE

2008-06-10T03:59:57Z

Paul G. Crismer wrote:

> I have a problem with DS_HASH_TABLE. A precondition violation in
> 'clashes_put'.
>
> Class / Object Routine Nature of exception Effect
> -------------------------------------------------------------------------------
> DS_HASH_TABLE clashes_put @12 index_small_enough:
> <000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
> Runtime check violated. Fail
> -------------------------------------------------------------------------------
> DS_HASH_TABLE clashes_put @3
> <000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
> Routine failure. Fail
> -------------------------------------------------------------------------------
> DS_HASH_TABLE put @12
> <000000000B20FEF8> (From DS_SPARSE_TABLE) Routine failure. Fail
> -------------------------------------------------------------------------------
>
> How does it come? Before putting the new element we check the table is
> not full.
> Is there a known problem with DS_HASH_TABLE?

There is no known problem.
Can you reproduce the bug on a small example?

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

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Problem with DS_HASH_TABLE

2008-06-10T01:14:10Z

Hello,

I have a problem with DS_HASH_TABLE. A precondition violation in
'clashes_put'.

Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
DS_HASH_TABLE clashes_put @12 index_small_enough:
<000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
Runtime check violated. Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE clashes_put @3
<000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
Routine failure. Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE put @12
<000000000B20FEF8> (From DS_SPARSE_TABLE) Routine failure. Fail
-------------------------------------------------------------------------------

How does it come? Before putting the new element we check the table is
not full.
Is there a known problem with DS_HASH_TABLE?

Best regards,

Paul G. Crismer

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-05-30T10:09:15Z

Daniel Tuser wrote:
> My todo list for the binary search trees is now empty. From my point of
> view it is ready to be released if no one finds weaknesses in the code.
> The documentation and some examples are missing.
> There are no xml files for table.html and set.html yet. So I assume that
> I need to be translated them into xml files first (gobodoc format). Or
> is there another location where the xml files are?

The doc for the structure library was used as a proof of
concept for the gobodoc format. The doc was initially
written in html, and I wanted to make sure that it was
possible to write the doc in gobodoc format and then
produce html files that look like the original. That's
where the .xml files come from. But the doc for the
structure library was never fully translated into the
gobodoc format, so I think that the most up-to-date files
are the .html files. You should probably use these .html
files for the time being.

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

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Binary search tree

2008-05-30T08:14:40Z

My todo list for the binary search trees is now empty. From my point of
view it is ready to be released if no one finds weaknesses in the code.
The documentation and some examples are missing.
There are no xml files for table.html and set.html yet. So I assume that
I need to be translated them into xml files first (gobodoc format). Or
is there another location where the xml files are?

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

binary_search_tree.tar.gz (32K) Download Attachment

Re: Latest release doesn't work with SE 1.2 anymore

2008-05-29T14:13:08Z

>>>>> "Berend" == Berend de Boer <berend@...> writes:

>>>>> "Colin" == Colin Adams <colinpauladams@...> writes:
>>> The problem is that I develop sites with dozens of small
>>> cgis. The disk space needed for EiffelStudio is simply
>>> horrendous, and the initial compile doesn't make me happy
>>> either. So SE is still the only solution in town
>>> unfortunately.

Colin> Then you have two solutions at hand:

Colin> 1) Upgrade SmartEiffel 1.2r8, or 2) Use Gobo 3.7

Berend> Ah, does 1.2r8 work? I thought the differences were minor
Berend> so I haven't bothered to upgrade from 1.2r7. But Eric said
Berend> SE support was dropped.

I meant upgrade 1.2r8 to support FreeElks, or equivalent.
--
Colin Adams
Preston Lancashire

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Latest release doesn't work with SE 1.2 anymore

2008-05-29T14:08:33Z

>>>>> "Colin" == Colin Adams <colinpauladams@...> writes:

>> The problem is that I develop sites with dozens of small
>> cgis. The disk space needed for EiffelStudio is simply
>> horrendous, and the initial compile doesn't make me happy
>> either. So SE is still the only solution in town unfortunately.

Colin> Then you have two solutions at hand:

Colin> 1) Upgrade SmartEiffel 1.2r8, or 2) Use Gobo 3.7

Ah, does 1.2r8 work? I thought the differences were minor so I haven't
bothered to upgrade from 1.2r7. But Eric said SE support was dropped.

But else, Gobo 3.7 is indeed the only solution for now.

--
Cheers,

Berend de Boer

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

smime.p7s (1K) Download Attachment

Re: Latest release doesn't work with SE 1.2 anymore

2008-05-29T04:42:11Z

2008/5/29 Berend de Boer <berend@...>:

> The problem is that I develop sites with dozens of small cgis. The disk
> space needed for EiffelStudio is simply horrendous, and the initial
> compile doesn't make me happy either. So SE is still the only solution
> in town unfortunately.

Then you have two solutions at hand:

1) Upgrade SmartEiffel 1.2r8, or
2) Use Gobo 3.7

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Re: Latest release doesn't work with SE 1.2 anymore

2008-05-29T03:39:52Z

>>>>> "Eric" == Eric Bezault <ericb@...> writes:

Eric> Debug can be implemented in gec without too much effort. DbC
Eric> requires more work. For DbC I use EiffelStudio.

The problem is that I develop sites with dozens of small cgis. The disk
space needed for EiffelStudio is simply horrendous, and the initial
compile doesn't make me happy either. So SE is still the only solution
in town unfortunately.

--
Cheers,

Berend de Boer

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

smime.p7s (1K) Download Attachment