Skip to content
Topaz6.0 · Before release
Download

Search documentation

Specification 6.0 · Not released · Tested product 5.21.3

Use arrow keys to choose a result. Press Enter to open.

Type an API name, diagnostic number, rule, or project topic.

    Library

    std.parser.isAsciiAlphaCode

    Tests whether a code point is an ASCII letter.

    isAsciiAlphaCode(cp: int) -> bool
    Receiver
    Not applicable
    Minimum arity
    1
    Maximum arity
    1

    Declaration and parameters

    Link

    Availability

    Included by default: Pending

    Import std.parser in language mode 5.21.

    The current compiler selects std/parser.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

    Source evidence

    Receiver

    Not applicable

    Parameter constraints

    Additional contracts are Pending.

    isAsciiDigitCode returns true for integers from 48 through 57, inclusive. These are the ASCII digits from 0 through 9.

    isAsciiAlphaCode returns true for integers from 65 through 90 or from 97 through 122, inclusive. These are ASCII uppercase and lowercase letters.

    isAsciiAlnumCode returns true when the digit predicate or the letter predicate returns true.

    isAsciiWhitespaceCode returns true for 9, 10, 11, 12, 13, and 32. These represent tab, line feed, vertical tab, form feed, carriage return, and space.

    Every other int returns false. Negative values, surrogate code values, non ASCII characters, and integers above the Unicode range do not cause a diagnostic.

    Each call evaluates its input once. Classification has no side effects and does not consult a locale, normalize text, or fold case.

    Related rule: Classify integer ASCII codes

    Result

    Pending

    Effects

    Pending

    Failures

    Pending

    Result and effects

    Link

    Classify the integer with the exact ASCII set in the integer classification contract. Values outside that set return false.

    Related entries

    Link

    std.parser

    Classify integer ASCII codes

    Link
    Ruletopaz.stdlib.contract.parser-ascii-codes.rule

    Classify integer ASCII codes

    isAsciiDigitCode returns true for integers from 48 through 57, inclusive. These are the ASCII digits from 0 through 9.

    isAsciiAlphaCode returns true for integers from 65 through 90 or from 97 through 122, inclusive. These are ASCII uppercase and lowercase letters.

    isAsciiAlnumCode returns true when the digit predicate or the letter predicate returns true.

    isAsciiWhitespaceCode returns true for 9, 10, 11, 12, 13, and 32. These represent tab, line feed, vertical tab, form feed, carriage return, and space.

    Every other int returns false. Negative values, surrogate code values, non ASCII characters, and integers above the Unicode range do not cause a diagnostic.

    Each call evaluates its input once. Classification has no side effects and does not consult a locale, normalize text, or fold case.

    Why

    Exact integer sets make ASCII parsing independent of host text rules. A false result handles a value outside the class without introducing an error channel.

    Examples Include each ASCII endpoint and exclude its neighborsReturn false for invalid code points and non ASCII values

    Source evidence

    Include each ASCII endpoint and exclude its neighbors

    Link

    run · running · Verification: not-run

    main.tpzInclude each ASCII endpoint and exclude its neighborsOpen in Playground
    1. import std.parser
    2. import std.io
    4. for cp in ([47, 48, 57, 58, 64, 65, 90, 91, 96, 97, 122, 123, 8, 9, 10, 11, 12, 13, 14, 31, 32, 33]) {
    5. let digit = parser.isAsciiDigitCode(cp)
    6. let alpha = parser.isAsciiAlphaCode(cp)
    7. let alnum = parser.isAsciiAlnumCode(cp)
    8. let space = parser.isAsciiWhitespaceCode(cp)
    9. io.writeLine("{digit}/{alpha}/{alnum}/{space}")
    10. }
    Expected outputexit 0
    false/false/false/false
true/false/true/false
true/false/true/false
false/false/false/false
false/false/false/false
false/true/true/false
false/true/true/false
false/false/false/false
false/false/false/false
false/true/true/false
false/true/true/false
false/false/false/false
false/false/false/false
false/false/false/true
false/false/false/true
false/false/false/true
false/false/false/true
false/false/false/true
false/false/false/false
false/false/false/false
false/false/false/true
false/false/false/false
    $ topaz run main.tpz · target product 5.21.3
    Expected result

    Expected result

    Execution completes. Exit code 0.

    No stderr.

    Expected stdout
    1. false/false/false/false
    2. true/false/true/false
    3. true/false/true/false
    4. false/false/false/false
    5. false/false/false/false
    6. false/true/true/false
    7. false/true/true/false
    8. false/false/false/false
    9. false/false/false/false
    10. false/true/true/false
    11. false/true/true/false
    12. false/false/false/false
    13. false/false/false/false
    14. false/false/false/true
    15. false/false/false/true
    16. false/false/false/true
    17. false/false/false/true
    18. false/false/false/true
    19. false/false/false/false
    20. false/false/false/false
    21. false/false/false/true
    22. false/false/false/false

    This exact example has not been executed.

    Source evidence

    Return false for invalid code points and non ASCII values

    Link

    run · running · Verification: not-run

    main.tpzReturn false for invalid code points and non ASCII valuesOpen in Playground
    1. import std.parser
    2. import std.io
    4. for cp in ([-1, 128, 233, 55296, 1114112, 9223372036854775807]) {
    5. let digit = parser.isAsciiDigitCode(cp)
    6. let alpha = parser.isAsciiAlphaCode(cp)
    7. let alnum = parser.isAsciiAlnumCode(cp)
    8. let space = parser.isAsciiWhitespaceCode(cp)
    9. io.writeLine("{digit}/{alpha}/{alnum}/{space}")
    10. }
    Expected outputexit 0
    false/false/false/false
false/false/false/false
false/false/false/false
false/false/false/false
false/false/false/false
false/false/false/false
    $ topaz run main.tpz · target product 5.21.3
    Expected result

    Expected result

    Execution completes. Exit code 0.

    No stderr.

    Expected stdout
    1. false/false/false/false
    2. false/false/false/false
    3. false/false/false/false
    4. false/false/false/false
    5. false/false/false/false
    6. false/false/false/false

    This exact example has not been executed.

    Source evidence

    Menu

    Download