From Erights

(Difference between revisions)
Jump to: navigation, search
(dump in some tests)
(mention guard, etc)
(One intermediate revision not shown)
Line 1: Line 1:
[[Integer]] is one of the built-in numeric types in [[ELib]].  
[[Integer]] is one of the built-in numeric types in [[ELib]]. Integers may be literals in [[E language]] source.
In the [[universal environment]], the Integer guard is named <code>int</code>.
==Maker protocol==
==Maker protocol==

Latest revision as of 18:25, 26 July 2011

Integer is one of the built-in numeric types in ELib. Integers may be literals in E language source.

In the universal environment, the Integer guard is named int.


Maker protocol


run(string :String) :Integer

Equivalent to, 10).


run(string :String, base :(0..36)) :Integer

Convert string to an integer. If it does not match the following syntax then an exception is thrown. XXX If sealed throw is accepted, then there must be a way to supply an ejector to handle failure here.

string must contain only an optional leading minus sign "-" (U+002D), followed by at least one digit of the specified base ("0"-"9" for bases up to 10, then "a"-"z" or "A"-"Z" for additional digits up to base 36).


Many E implementations have multiple representations of Integers for different size ranges. These implementations must be indistinguishable, or there must be exactly one representation for any given integer.

? def a := 4
# value: 4

? def b := (400000000000000000000 // 100000000000000000000)
# value: 4

? a == b
# value: true

? a.__getAllegedType()
# value: int

? b.__getAllegedType()
# value: int

? 400000000000000000000.__getAllegedType()
# value: int
This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools