Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
index_or_name_type [2013/08/07 21:05]
admin [Index Or Name Type] 		index_or_name_type [2016/04/25 20:36] (current)
hermann [Automatic Conversions]
Line 1: Line 1:
 ====== Index Or Name Type ====== ====== Index Or Name Type ======
  
-An index or name is a type comprised by an numeric index or a name. The numeric index is a [[Positive ​Int Type]]. Name is a regular [[Name Type]]. +An index or name is a type comprised by an numeric index or a name. The numeric index is a [[Positive ​Integer Value Type]]. Name is a regular [[Name Type]].
- +
-===== Automatic Conversions ===== +
- +
-  * **Converted from**: [[Name Type]], [[Double Type]], [[Int Type]], [[Positive Int Type]], [[Non Negative Int Type]] and [[String Type]]. +
- +
-  * **Converted to**: None.+
  
 ===== GUI Editor ===== ===== GUI Editor =====
Line 15: Line 9:
 ===== EGO Script ===== ===== EGO Script =====
  
-Indices are [[Positive Int]] values. Names are regular names enclosed by double quotes '"'​. The following examples are valid indices or names:+Indices are positive integer ​values. Names are regular names enclosed by double quotes '"'​. The following examples are valid indices or names:
  
 <code cpp> <code cpp>
Line 27: Line 21:
 "​x1_and_a_name"​ "​x1_and_a_name"​
 </​code>​ </​code>​
 +
 +===== Automatic Conversions =====
 +
 +  * **Converted from**: [[Name Type]], [[Real Value Type]], [[Integer Value Type]], [[Positive Integer Value Type]], [[Non Negative Integer Value Type]] and [[String Type]].
 +
 +  * **Converted to**: [[Name Type]], [[Real Value Type]], [[Integer Value Type]], [[Positive Integer Value Type]], [[Non Negative Integer Value Type]] and [[String Type]].