Re: [udk-dev] Problem on UNO Type System.

2007-11-27 Thread Stephan Bergmann

Cynthia Qu wrote:

hi, all,
 
I have a problem on reading wiki of the UNO Type System ( 
http://udk.openoffice.org/common/man/typesystem.html ).
 
As I got the following example from wiki here:

type S: set of interface type
 type M: map from integer to member function
 function fI(t: interface type, T: S, n: integer, μ: M): 〈S, integer, M〉
  if t ∉ T   // There are some problem on showing the 
symbol here, so please see the wiki .
   for i ← 1 … kb   
[...]
 
I don't know what it is meaning of  for i ← 1 … kb , and I don't know 
what exactly meaning of the arrow points to left here ←.  Could  any 
body here give me some explain?  Thank you very much! 


The arrow means assignment, so i is taking on values from 1 to kb, 
inclusive, one after another.


-Stephan

-
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



[udk-dev] Problem on UNO Type System.

2007-11-26 Thread Cynthia Qu
hi, all,

I have a problem on reading wiki of the UNO Type System ( 
http://udk.openoffice.org/common/man/typesystem.html ).

As I got the following example from wiki here:
type S: set of interface type
 type M: map from integer to member function
 function fI(t: interface type, T: S, n: integer, μ: M): ?S, integer, M?
  if t ? T   // There are some problem on showing the symbol 
here, so please see the wiki . 
   for i ← 1 … kb
[...]

I don't know what it is meaning of  for i ← 1 … kb , and I don't know what 
exactly meaning of the arrow points to left here ←.  Could  any body here 
give me some explain?  Thank you very much!  

Best Regard,
Cynthia
2007-11-27