Integer - Revision history

Kevin Reid: mention guard, etc

Kevin Reid — Tue, 26 Jul 2011 18:25:30 GMT

mention guard, etc

New page

[[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 msgdoc|run|1|<var>string</var> :[[String]]|[[Integer]]}}

{{specbycode|{{this}}.run(<var>string</var>, 10)}}

{{maker msgdoc|run|2|<var>string</var> :[[String]], base :(0..36)|[[Integer]]}}

Convert <var>string</var> to an integer. If it does not match the following syntax then an exception is thrown. {{need-ejector-arg}}

<var>string</var> 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).

==Tests==

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

[[Category:ELib specification]]
{{stub}}

Kevin Reid: dump in some tests

Kevin Reid — Thu, 14 May 2009 22:45:49 GMT

dump in some tests

←Older revision		Revision as of 22:45, 14 May 2009
Line 12:		Line 12:

	<var>string</var> 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).		<var>string</var> 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).
		+
		+	==Tests==
		+
		+	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

	[[Category:ELib specification]]		[[Category:ELib specification]]
	{{stub}}		{{stub}}

Kevin Reid at 17:25, 18 March 2009

Kevin Reid — Wed, 18 Mar 2009 17:25:57 GMT

←Older revision		Revision as of 17:25, 18 March 2009
Line 1:		Line 1:
-	[[Integer]] is one of the built-in numeric types in [[ELib]]~~. Integers may be literals in [[E language]] source.~~	+	[[Integer]] is one of the built-in numeric types in [[ELib]].
-		+
-	~~In the [[universal environment]], the Integer guard is named <code>int</code>~~.	+

	==Maker protocol==		==Maker protocol==
Line 14:		Line 12:

	<var>string</var> 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).		<var>string</var> 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).
-
-	~~==Tests==~~
-
-	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~~

	[[Category:ELib specification]]		[[Category:ELib specification]]
	{{stub}}		{{stub}}