Internationalization/mo parser - Revision history

Etienner at 06:13, 3 June 2006

2006-06-03T06:13:23Z

← Older revision		Revision as of 06:13, 3 June 2006
Line 1:		Line 1:
	~~[[Category:Projects]]~~
	[[Category:Internationalization]]		[[Category:Internationalization]]

Etienner: added page to our category

2006-05-31T16:50:27Z

added page to our category

← Older revision		Revision as of 16:50, 31 May 2006
Line 1:		Line 1:
			[[Category:Projects]]
			[[Category:Internationalization]]

	== Summary ==		== Summary ==
	That's what this part of the project should achieve:		That's what this part of the project should achieve:

Etienner: /* Hash Function */ removed precondition

2006-05-15T14:36:45Z

Hash Function: removed precondition

← Older revision		Revision as of 14:36, 15 May 2006
Line 131:		Line 131:
	require		require
	valid_string: a_string /= Void		valid_string: a_string /= Void
	~~not_empty_string: not a_string.is_empty~~
	local		local
	position: INTEGER		position: INTEGER

Trosim: /* Hash Function */ contracts & renaming

2006-05-15T08:37:54Z

Hash Function: contracts & renaming

← Older revision		Revision as of 08:37, 15 May 2006
Line 131:		Line 131:
	require		require
	valid_string: a_string /= Void		valid_string: a_string /= Void
			not_empty_string: not a_string.is_empty
	local		local
	position: INTEGER		position: INTEGER

Trosim: /* Hash Function */ contracts & renaming

2006-05-15T08:34:05Z

Hash Function: contracts & renaming

← Older revision		Revision as of 08:34, 15 May 2006
Line 127:		Line 127:
	Here is the translated function in Eiffel:		Here is the translated function in Eiffel:
	<code>[eiffel,N]		<code>[eiffel,N]
	hash_string (~~a_sting~~ : STRING) : INTEGER is		hash_string (a_string: STRING): INTEGER is
	--Compute the hash value for the given string		-- Compute the hash value for the given string
	require		require
	valid_string: ~~a_sting~~ /= Void		valid_string: a_string /= Void
	local		local
	position : INTEGER		position: INTEGER
	l_result, g : NATURAL_32		l_result, g: NATURAL_32
	do		do
	from		from
	position := 1		position := 1
			invariant
			position >= 1
			position <= a_string.count + 1
			variant
			a_string.count + 1 - position
	until		until
	position > ~~a_sting~~.count		position > a_string.count
	loop		loop
	l_result := l_result \|<< 4		l_result := l_result \|<< 4
	l_result := l_result + ~~a_sting~~.code (position)		l_result := l_result + a_string.code(position)
	g := l_result & ({NATURAL_32} 0xf \|<< 28)		g := l_result & ({NATURAL_32} 0xf \|<< 28)
	if g /= 0 then		if g /= 0 then
	l_result := l_result .bit_xor (g \|>> 24)		l_result := l_result.bit_xor(g \|>> 24)
	l_result := l_result .bit_xor (g)		l_result := l_result.bit_xor(g)
	end		end
	position := position+1		position := position + 1
	end		end
	Result := l_result.as_integer_32		Result := l_result.as_integer_32
	end		end
	</code>		</code>

Manus: use `code' instead of `item' and make sure 0xf is NATURAL.

2006-05-12T23:47:16Z

use `code' instead of `item' and make sure 0xf is NATURAL.

← Older revision		Revision as of 23:47, 12 May 2006
Line 141:		Line 141:
	loop		loop
	l_result := l_result \|<< 4		l_result := l_result \|<< 4
	l_result := l_result + a_sting.~~item~~ (position)~~.code~~		l_result := l_result + a_sting.code (position)
	g := l_result & (0xf \|<< 28)		g := l_result & ({NATURAL_32} 0xf \|<< 28)
	if g /= 0 then		if g /= 0 then
	l_result := l_result .bit_xor (g \|>> 24)		l_result := l_result .bit_xor (g \|>> 24)

Manus: Use `tag and helped fixing the Eiffel version to use NATURAL_32`


2006-05-12T23:44:56Z
Use <code> tag and helped fixing the Eiffel version to use NATURAL_32

				
				
				
				
				
				← Older revision
				Revision as of 23:44, 12 May 2006
				
Line 100:
Line 100:
The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.] The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]



The C code of the function is the following: The C code of the function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h):



 <font color="Green">#define HASHWORDBITS 32</font> <code>[c,N]
#define HASHWORDBITS 32
hash_string (const char *str_param) {
   unsigned long int hval, g;
   const char *str = str_param;
       
 hash_string (<font color="Brown">const char</font> *str_param)     /* Compute the hash value for the given string.  */
 {     hval = 0
   <font color="Brown">unsigned long int</font> hval, g;     while (*str != '\0'
   <font color="Brown">const char</font> *str = str_param; 
 
    <font color="Gray">/* Compute the hash value for the given string.  */</font> 
    hval = <font color="Blue">0</font>; 
    while (*str != <font color="Pink">'\0'</font>) 
      {       {
        hval <<= <font color="Blue">4</font>;         hval <<= 4;
        hval += (<font color="Brown">unsigned char</font>) *str++;         hval += (unsigned char) *str++;
        g = hval & ((<font color="Brown">unsigned long int</font>) <font color="Green">0xf</font> << (HASHWORDBITS - <font color="Blue">4</font>));         g = hval & ((unsigned long int) 0xf << (HASHWORDBITS - 4));
        if (g != <font color="Blue">0</font>)         if (g != 0
  	{   	{
  	  hval ^= g >> (HASHWORDBITS - <font color="Blue">8</font>);   	  hval ^= g >> (HASHWORDBITS - 8);
  	  hval ^= g;   	  hval ^= g;
  	}   	}
Line 124:
Line 123:
    return hval;     return hval;
  }   }
:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h) </code>
  
Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which I think, has no unsigned integer). So, if anybody could help me... :-) 
  
<!-- 
IF YOU WANT TO COPY AND PASTE THE EIFFEL CODE, I RECOMEND YOU TO DO IT FROM THE ARTICLE :-) 
--> 



 hash_string (a_sting : <font color="Blue">STRING</font>) : <font color="Blue">INTEGER</font> <font color=#1D0489>is</font> Here is the translated function in Eiffel:
     <font color="Brown">--Compute the hash value for the given string</font> <code>[eiffel,N]
 <font color=#1D0489>require</font> hash_string (a_sting : STRING) : INTEGER is
     valid_string: a_sting <font color="Red">/=</font> <font color=#1D0489>Void</font>     --Compute the hash value for the given string
 <font color=#1D0489>local</font> require
     position : <font color="Blue">INTEGER</font>     valid_string: a_sting /= Void
     g : <font color="Blue">INTEGER</font> local
  <font color=#1D0489>do</font>     position : INTEGER
     <font color=#1D0489>from</font>     l_result, g : NATURAL_32
         position <font color="Red">:=</font> <font color=#A709CA>1</font>  do
     <font color=#1D0489>until</font>     from
         position <font color="Red">></font> a_sting.count         position := 1
     <font color=#1D0489>loop</font>     until
         <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> |<< <font color=#A709CA>4</font>         position > a_sting.count
         <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code     loop
         g <font color="Red">:=</font> <font color=#1D0489>>Result</font> & (<font color=#A709CA>0xf</font> |<< <font color=#A709CA>28</font>)         l_result := l_result |<< 4
         <font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then         l_result := l_result + a_sting.item (position).code
             <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g |>> <font color=#A709CA>24</font>)         g := l_result & (0xf |<< 28)
             <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g)         if g /= 0 then
         <font color=#1D0489>end</font>             l_result := l_result .bit_xor (g |>> 24)
         position <font color="Red">:=</font> position+<font color=#A709CA>1</font>             l_result := l_result .bit_xor (g)
     <font color=#1D0489>end</font>         end
 <font color=#1D0489>end</font>         position := position+1
    end
    Result := l_result.as_integer_32
end
</code>



Etienner: /* Hash Function */
2006-05-12T22:25:27Z
Hash Function

				
				
				
				
				
				← Older revision
				Revision as of 22:25, 12 May 2006
				
Line 135:
Line 135:
      <font color="Brown">--Compute the hash value for the given string</font>       <font color="Brown">--Compute the hash value for the given string</font>
  <font color=#1D0489>require</font>   <font color=#1D0489>require</font>
      valid_string: a_sting <font color="Red">/=</font> <font color="Blue">Void</font>       valid_string: a_sting <font color="Red">/=</font> <font color=#1D0489>Void</font>
  <font color=#1D0489>local</font>   <font color=#1D0489>local</font>
      position : <font color="Blue">INTEGER</font>       position : <font color="Blue">INTEGER</font>
Line 147:
Line 147:
          <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> |<< <font color=#A709CA>4</font>           <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> |<< <font color=#A709CA>4</font>
          <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code           <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code
          g <font color="Red">:=</font> <font color=#1D0489>Result</font> & (<font color=#A709CA>0xf</font> |<< <font color=#A709CA>28</font>)           g <font color="Red">:=</font> <font color=#1D0489>>Result</font> & (<font color=#A709CA>0xf</font> |<< <font color=#A709CA>28</font>)
          <font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then           <font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then
              <font color="Blue">Result</font> <font color="Red">:=</font> <font color="Blue">Result</font>.bit_xor (g |>> <font color=#A709CA>24</font>)               <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g |>> <font color=#A709CA>24</font>)
              <font color="Blue">Result</font> <font color="Red">:=</font> <font color="Blue">Result</font>.bit_xor (g)               <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g)
          <font color=#1D0489>end</font>           <font color=#1D0489>end</font>
          position <font color="Red">:=</font> position+<font color=#A709CA>1</font>           position <font color="Red">:=</font> position+<font color=#A709CA>1</font>
      <font color=#1D0489>end</font>       <font color=#1D0489>end</font>
  <font color=#1D0489>end</font>   <font color=#1D0489>end</font>



Etienner: small changes
2006-05-12T21:42:58Z
small changes

				
				
				
				
				
				← Older revision
				Revision as of 21:42, 12 May 2006
				
Line 100:
Line 100:
The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.] The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]



The C code of the function is the following (Eiffel translation comming soon...): The C code of the function is the following:



  <font color="Green">#define HASHWORDBITS 32</font>   <font color="Green">#define HASHWORDBITS 32</font>
Line 126:
Line 126:
:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h) :This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)



Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which think, has no unsigned integer). So, if anybody could help me... :-) Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which I think, has no unsigned integer). So, if anybody could help me... :-)



<!-- <!--



Etienner: /* Hash Function */  Eiffel code...
2006-05-12T21:09:14Z
Hash Function:   Eiffel code...

				
				
				
				
				
				← Older revision
				Revision as of 21:09, 12 May 2006
				
Line 124:
Line 124:
    return hval;     return hval;
  }   }
:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)

Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which think, has no unsigned integer). So, if anybody could help me... :-)

<!--
IF YOU WANT TO COPY AND PASTE THE EIFFEL CODE, I RECOMEND YOU TO DO IT FROM THE ARTICLE :-)
-->



:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)  hash_string (a_sting : <font color="Blue">STRING</font>) : <font color="Blue">INTEGER</font> <font color=#1D0489>is</font>
     <font color="Brown">--Compute the hash value for the given string</font>
 <font color=#1D0489>require</font>
     valid_string: a_sting <font color="Red">/=</font> <font color="Blue">Void</font>
 <font color=#1D0489>local</font>
     position : <font color="Blue">INTEGER</font>
     g : <font color="Blue">INTEGER</font>
  <font color=#1D0489>do</font>
     <font color=#1D0489>from</font>
         position <font color="Red">:=</font> <font color=#A709CA>1</font>
     <font color=#1D0489>until</font>
         position <font color="Red">></font> a_sting.count
     <font color=#1D0489>loop</font>
         <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> |<< <font color=#A709CA>4</font>
         <font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code
         g <font color="Red">:=</font> <font color=#1D0489>Result</font> & (<font color=#A709CA>0xf</font> |<< <font color=#A709CA>28</font>)
         <font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then
             <font color="Blue">Result</font> <font color="Red">:=</font> <font color="Blue">Result</font>.bit_xor (g |>> <font color=#A709CA>24</font>)
             <font color="Blue">Result</font> <font color="Red">:=</font> <font color="Blue">Result</font>.bit_xor (g)
         <font color=#1D0489>end</font>
         position <font color="Red">:=</font> position+<font color=#A709CA>1</font>
     <font color=#1D0489>end</font>
 <font color=#1D0489>end</font>

← Older revision		Revision as of 23:44, 12 May 2006
Line 100:		Line 100:
	The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]		The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]

	The C code of the function is the ~~following~~:		The C code of the function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h):

	<~~font color="Green"~~>#define HASHWORDBITS 32~~</font>~~		<code>[c,N]
			#define HASHWORDBITS 32
			hash_string (const char *str_param) {
			unsigned long int hval, g;
			const char *str = str_param;

	~~hash_string (<font color="Brown">const char</font> *str_param)~~		/* Compute the hash value for the given string. */
	{		hval = 0
	~~<font color="Brown">unsigned long int</font> hval, g;~~		while (*str != '\0'
	~~<font color="Brown">const char</font> *str = str_param;~~

	~~<font color="Gray">~~/* Compute the hash value for the given string. */~~</font>~~
	hval = ~~<font color="Blue">~~0~~</font>;~~
	while (*str != ~~<font color="Pink">~~'\0'~~</font>)~~
	{		{
	hval <<= ~~<font color="Blue">~~4~~</font>~~;		hval <<= 4;
	hval += (~~<font color="Brown">~~unsigned char~~</font>~~) *str++;		hval += (unsigned char) *str++;
	g = hval & ((~~<font color="Brown">~~unsigned long int~~</font>~~) ~~<font color="Green">~~0xf~~</font>~~ << (HASHWORDBITS - ~~<font color="Blue">~~4~~</font>~~));		g = hval & ((unsigned long int) 0xf << (HASHWORDBITS - 4));
	if (g != ~~<font color="Blue">~~0~~</font>)~~		if (g != 0
	{		{
	hval ^= g >> (HASHWORDBITS - ~~<font color="Blue">~~8~~</font>~~);		hval ^= g >> (HASHWORDBITS - 8);
	hval ^= g;		hval ^= g;
	}		}
Line 124:		Line 123:
	return hval;		return hval;
	}		}
	~~:This function comes from the source~~ code ~~of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)~~		</code>

	Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which I think, has no unsigned integer). So, if anybody could help me... :-)

	~~<!--~~
	~~IF YOU WANT TO COPY AND PASTE THE EIFFEL CODE, I RECOMEND YOU TO DO IT FROM THE ARTICLE :-)~~
	-->

	hash_string (a_sting : ~~<font color="Blue">~~STRING~~</font>~~) : ~~<font color="Blue">~~INTEGER~~</font> <font color=#1D0489>~~is~~</font>~~		Here is the translated function in Eiffel:
	~~<font color="Brown">~~--Compute the hash value for the given string~~</font>~~		<code>[eiffel,N]
	~~<font color=#1D0489>~~require~~</font>~~		hash_string (a_sting : STRING) : INTEGER is
	valid_string: a_sting ~~<font color="Red">/=<~~/~~font> <font color~~=~~#1D0489>~~Void~~</font>~~		--Compute the hash value for the given string
	~~<font color=#1D0489>~~local~~</font>~~		require
	position : ~~<font color="Blue">~~INTEGER~~</font>~~		valid_string: a_sting /= Void
	g : ~~<font color="Blue">INTEGER</font>~~		local
	~~<font color=#1D0489>~~do~~</font>~~		position : INTEGER
	~~<font color=#1D0489>~~from~~</font>~~		l_result, g : NATURAL_32
	position ~~<font color="Red">~~:=~~</font> <font color=#A709CA>~~1~~</font>~~		do
	~~<font color=#1D0489>~~until~~</font>~~		from
	position ~~<font color="Red">></font~~> a_sting.count		position := 1
	~~<font color=#1D0489>~~loop~~</font>~~		until
	~~<font color=#1D0489>Result</font> <font color="Red">~~:=~~</font> <font color=#1D0489>Result</font>~~ \|<< ~~<font color=#A709CA>~~4~~</font>~~		position > a_sting.count
	~~<font color=#1D0489>Result</font> <font color="Red">~~:=~~</font> <font color=#1D0489>Result</font> <font color="Red">~~+~~</font>~~ a_sting.item (position).code		loop
	g ~~<font color="Red">~~:=~~</font> <font color=#1D0489>>Result</font>~~ & (~~<font color=#A709CA>~~0xf~~</font>~~ \|<< ~~<font color=#A709CA>~~28~~</font>~~)		l_result := l_result \|<< 4
	~~<font color=#1D0489>~~if~~</font>~~ g ~~<font color="Red">~~/=~~</font> <font color=#A709CA>~~0~~</font>~~ then		l_result := l_result + a_sting.item (position).code
	~~<font color=#1D0489>Result</font> <font color="Red">~~:=~~</font> <font color=#1D0489>Result</font>~~.bit_xor (g \|>~~> <font color=#A709CA~~>24~~</font>~~)		g := l_result & (0xf \|<< 28)
	~~<font color=#1D0489>Result</font> <font color="Red">~~:=~~</font> <font color=#1D0489>Result</font>~~.bit_xor (g)		if g /= 0 then
	~~<font color=#1D0489>~~end~~</font>~~		l_result := l_result .bit_xor (g \|>> 24)
	position ~~<font color="Red">~~:=~~</font>~~ position+~~<font color=#A709CA>~~1~~</font>~~		l_result := l_result .bit_xor (g)
	~~<font color=#1D0489>~~end~~</font>~~		end
	~~<font color~~=~~#1D0489>~~end</~~font~~>		position := position+1
			end
			Result := l_result.as_integer_32
			end
			</code>

← Older revision		Revision as of 22:25, 12 May 2006
Line 135:		Line 135:
	<font color="Brown">--Compute the hash value for the given string</font>		<font color="Brown">--Compute the hash value for the given string</font>
	<font color=#1D0489>require</font>		<font color=#1D0489>require</font>
	valid_string: a_sting <font color="Red">/=</font> <font color=~~"Blue"~~>Void</font>		valid_string: a_sting <font color="Red">/=</font> <font color=#1D0489>Void</font>
	<font color=#1D0489>local</font>		<font color=#1D0489>local</font>
	position : <font color="Blue">INTEGER</font>		position : <font color="Blue">INTEGER</font>
Line 147:		Line 147:
	<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> \|<< <font color=#A709CA>4</font>		<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> \|<< <font color=#A709CA>4</font>
	<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code		<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font> <font color="Red">+</font> a_sting.item (position).code
	g <font color="Red">:=</font> <font color=#1D0489>Result</font> & (<font color=#A709CA>0xf</font> \|<< <font color=#A709CA>28</font>)		g <font color="Red">:=</font> <font color=#1D0489>>Result</font> & (<font color=#A709CA>0xf</font> \|<< <font color=#A709CA>28</font>)
	<font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then		<font color=#1D0489>if</font> g <font color="Red">/=</font> <font color=#A709CA>0</font> then
	<font color=~~"Blue"~~>Result</font> <font color="Red">:=</font> <font color=~~"Blue"~~>Result</font>.bit_xor (g \|>> <font color=#A709CA>24</font>)		<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g \|>> <font color=#A709CA>24</font>)
	<font color=~~"Blue"~~>Result</font> <font color="Red">:=</font> <font color=~~"Blue"~~>Result</font>.bit_xor (g)		<font color=#1D0489>Result</font> <font color="Red">:=</font> <font color=#1D0489>Result</font>.bit_xor (g)
	<font color=#1D0489>end</font>		<font color=#1D0489>end</font>
	position <font color="Red">:=</font> position+<font color=#A709CA>1</font>		position <font color="Red">:=</font> position+<font color=#A709CA>1</font>
	<font color=#1D0489>end</font>		<font color=#1D0489>end</font>
	<font color=#1D0489>end</font>		<font color=#1D0489>end</font>

← Older revision		Revision as of 21:42, 12 May 2006
Line 100:		Line 100:
	The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]		The hash function used to convert stings to an integer, is the so called ''hashpjw'' function by P.J. Weinberger [see Aho/Sethi/Ullman, COMPILERS: Principles, Techniques and Tools, 1986, 1987 Bell Telephone Laboratories, Inc.]

	The C code of the function is the following ~~(Eiffel translation comming soon...)~~:		The C code of the function is the following:

	<font color="Green">#define HASHWORDBITS 32</font>		<font color="Green">#define HASHWORDBITS 32</font>
Line 126:		Line 126:
	:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)		:This function comes from the source code of gettext (./gettext-0.14.5/gettext-runtime/intl/hash-string.h)

	Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which think, has no unsigned integer). So, if anybody could help me... :-)		Here is my translated function, unfortunately it does not work as it should, I think it is because in the C function the variable ''g'' is an unsigned integer and hence if it's MSB is 1, the 'right shift', in the if statement, is different from the one computed in Eiffel (which I think, has no unsigned integer). So, if anybody could help me... :-)

	<!--		<!--

Internationalization/mo parser - Revision history

Etienner at 06:13, 3 June 2006

Etienner: added page to our category

Etienner: /* Hash Function */ removed precondition

Trosim: /* Hash Function */ contracts & renaming

Trosim: /* Hash Function */ contracts & renaming

Manus: use `code' instead of `item' and make sure 0xf is NATURAL.

Manus: Use tag and helped fixing the Eiffel version to use NATURAL_32

Etienner: /* Hash Function */

Etienner: small changes

Etienner: /* Hash Function */ Eiffel code...

Manus: Use `tag and helped fixing the Eiffel version to use NATURAL_32`