aboutsummaryrefslogtreecommitdiff
path: root/libphobos/src/std/ascii.d
diff options
context:
space:
mode:
authorIain Buclaw <ibuclaw@gdcproject.org>2019-06-18 20:42:10 +0200
committerIain Buclaw <ibuclaw@gdcproject.org>2021-11-30 16:53:28 +0100
commit5fee5ec362f7a243f459e6378fd49dfc89dc9fb5 (patch)
tree61d1bdbca854a903c0860406f457f06b2040be7a /libphobos/src/std/ascii.d
parentb3f60112edcb85b459e60f66c44a55138b1cef49 (diff)
downloadgcc-5fee5ec362f7a243f459e6378fd49dfc89dc9fb5.zip
gcc-5fee5ec362f7a243f459e6378fd49dfc89dc9fb5.tar.gz
gcc-5fee5ec362f7a243f459e6378fd49dfc89dc9fb5.tar.bz2
d: Import dmd b8384668f, druntime e6caaab9, phobos 5ab9ad256 (v2.098.0-beta.1)
The D front-end is now itself written in D, in order to build GDC, you will need a working GDC compiler (GCC version 9.1 or later). GCC changes: - Add support for bootstrapping the D front-end. These add the required components in order to have a D front-end written in D itself. Because the compiler front-end only depends on the core runtime modules, only libdruntime is built for the bootstrap stages. D front-end changes: - Import dmd v2.098.0-beta.1. Druntime changes: - Import druntime v2.098.0-beta.1. Phobos changes: - Import phobos v2.098.0-beta.1. The jump from v2.076.1 to v2.098.0 covers nearly 4 years worth of development on the D programming language and run-time libraries. ChangeLog: * Makefile.def: Add bootstrap to libbacktrace, libphobos, zlib, and libatomic. * Makefile.in: Regenerate. * Makefile.tpl (POSTSTAGE1_HOST_EXPORTS): Fix command for GDC. (STAGE1_CONFIGURE_FLAGS): Add --with-libphobos-druntime-only if target-libphobos-bootstrap. (STAGE2_CONFIGURE_FLAGS): Likewise. * configure: Regenerate. * configure.ac: Add support for bootstrapping D front-end. config/ChangeLog: * acx.m4 (ACX_PROG_GDC): New m4 function. gcc/ChangeLog: * Makefile.in (GDC): New variable. (GDCFLAGS): New variable. * configure: Regenerate. * configure.ac: Add call to ACX_PROG_GDC. Substitute GDCFLAGS. gcc/d/ChangeLog: * dmd/MERGE: Merge upstream dmd b8384668f. * Make-lang.in (d-warn): Use strict warnings. (DMD_WARN_CXXFLAGS): Remove. (DMD_COMPILE): Remove. (CHECKING_DFLAGS): Define. (WARN_DFLAGS): Define. (ALL_DFLAGS): Define. (DCOMPILE.base): Define. (DCOMPILE): Define. (DPOSTCOMPILE): Define. (DLINKER): Define. (DLLINKER): Define. (D_FRONTEND_OBJS): Add new dmd front-end objects. (D_GENERATED_SRCS): Remove. (D_GENERATED_OBJS): Remove. (D_ALL_OBJS): Remove D_GENERATED_OBJS. (d21$(exeext)): Build using DLLINKER and -static-libphobos. (d.tags): Remove dmd/*.c and dmd/root/*.c. (d.mostlyclean): Remove D_GENERATED_SRCS, d/idgen$(build_exeext), d/impcnvgen$(build_exeext). (D_INCLUDES): Include $(srcdir)/d/dmd/res. (CFLAGS-d/id.o): Remove. (CFLAGS-d/impcnvtab.o): Remove. (d/%.o): Build using DCOMPILE and DPOSTCOMPILE. Update dependencies from d/dmd/%.c to d/dmd/%.d. (d/idgen$(build_exeext)): Remove. (d/impcnvgen$(build_exeext)): Remove. (d/id.c): Remove. (d/id.h): Remove. (d/impcnvtab.c): Remove. (d/%.dmdgen.o): Remove. (D_SYSTEM_H): Remove. (d/idgen.dmdgen.o): Remove. (d/impcnvgen.dmdgen.o): Remove. * config-lang.in (boot_language): New variable. * d-attribs.cc: Include dmd/expression.h. * d-builtins.cc: Include d-frontend.h. (build_frontend_type): Update for new front-end interface. (d_eval_constant_expression): Likewise. (d_build_builtins_module): Likewise. (maybe_set_builtin_1): Likewise. (d_build_d_type_nodes): Likewise. * d-codegen.cc (d_decl_context): Likewise. (declaration_reference_p): Likewise. (declaration_type): Likewise. (parameter_reference_p): Likewise. (parameter_type): Likewise. (get_array_length): Likewise. (build_delegate_cst): Likewise. (build_typeof_null_value): Likewise. (identity_compare_p): Likewise. (lower_struct_comparison): Likewise. (build_filename_from_loc): Likewise. (build_assert_call): Remove LIBCALL_SWITCH_ERROR. (build_bounds_index_condition): Call LIBCALL_ARRAYBOUNDS_INDEXP on bounds error. (build_bounds_slice_condition): Call LIBCALL_ARRAYBOUNDS_SLICEP on bounds error. (array_bounds_check): Update for new front-end interface. (checkaction_trap_p): Handle CHECKACTION_context. (get_function_type): Update for new front-end interface. (d_build_call): Likewise. * d-compiler.cc: Remove include of dmd/scope.h. (Compiler::genCmain): Remove. (Compiler::paintAsType): Update for new front-end interface. (Compiler::onParseModule): Likewise. * d-convert.cc (convert_expr): Remove call to LIBCALL_ARRAYCAST. (convert_for_rvalue): Update for new front-end interface. (convert_for_assignment): Likewise. (convert_for_condition): Likewise. (d_array_convert): Likewise. * d-diagnostic.cc (error): Remove. (errorSupplemental): Remove. (warning): Remove. (warningSupplemental): Remove. (deprecation): Remove. (deprecationSupplemental): Remove. (message): Remove. (vtip): New. * d-frontend.cc (global): Remove. (Global::_init): Remove. (Global::startGagging): Remove. (Global::endGagging): Remove. (Global::increaseErrorCount): Remove. (Loc::Loc): Remove. (Loc::toChars): Remove. (Loc::equals): Remove. (isBuiltin): Update for new front-end interface. (eval_builtin): Likewise. (getTypeInfoType): Likewise. (inlineCopy): Remove. * d-incpath.cc: Include d-frontend.h. (add_globalpaths): Call d_gc_malloc to allocate Strings. (add_filepaths): Likewise. * d-lang.cc: Include dmd/id.h, dmd/root/file.h, d-frontend.h. Remove include of dmd/mars.h, id.h. (entrypoint_module): Remove. (entrypoint_root_module): Remove. (deps_write_string): Update for new front-end interface. (deps_write): Likewise. (d_init_options): Call rt_init. Remove setting global params that are default initialized by the front-end. (d_handle_option): Handle OPT_fcheckaction_, OPT_fdump_c___spec_, OPT_fdump_c___spec_verbose, OPT_fextern_std_, OPT_fpreview, OPT_revert, OPT_fsave_mixins_, and OPT_ftransition. (d_post_options): Propagate dip1021 and dip1000 preview flags to dip25, and flag_diagnostics_show_caret to printErrorContext. (d_add_entrypoint_module): Remove. (d_parse_file): Update for new front-end interface. (d_type_promotes_to): Likewise. (d_types_compatible_p): Likewise. * d-longdouble.cc (CTFloat::zero): Remove. (CTFloat::one): Remove. (CTFloat::minusone): Remove. (CTFloat::half): Remove. * d-system.h (POSIX): Remove. (realpath): Remove. (isalpha): Remove. (isalnum): Remove. (isdigit): Remove. (islower): Remove. (isprint): Remove. (isspace): Remove. (isupper): Remove. (isxdigit): Remove. (tolower): Remove. (_mkdir): Remove. (INT32_MAX): Remove. (INT32_MIN): Remove. (INT64_MIN): Remove. (UINT32_MAX): Remove. (UINT64_MAX): Remove. * d-target.cc: Include calls.h. (target): Remove. (define_float_constants): Remove initialization of snan. (Target::_init): Update for new front-end interface. (Target::isVectorTypeSupported): Likewise. (Target::isVectorOpSupported): Remove cases for unordered operators. (TargetCPP::typeMangle): Update for new front-end interface. (TargetCPP::parameterType): Likewise. (Target::systemLinkage): Likewise. (Target::isReturnOnStack): Likewise. (Target::isCalleeDestroyingArgs): Define. (Target::preferPassByRef): Define. * d-tree.h (d_add_entrypoint_module): Remove. * decl.cc (gcc_attribute_p): Update for new front-end interface. (apply_pragma_crt): Define. (DeclVisitor::visit(PragmaDeclaration *)): Handle pragmas crt_constructor and crt_destructor. (DeclVisitor::visit(TemplateDeclaration *)): Update for new front-end interface. (DeclVisitor::visit): Likewise. (DeclVisitor::finish_vtable): Likewise. (get_symbol_decl): Error if template has more than one nesting context. Update for new front-end interface. (make_thunk): Update for new front-end interface. (get_vtable_decl): Likewise. * expr.cc (ExprVisitor::visit): Likewise. (build_return_dtor): Likewise. * imports.cc (ImportVisitor::visit): Likewise. * intrinsics.cc: Include dmd/expression.h. Remove include of dmd/mangle.h. (maybe_set_intrinsic): Update for new front-end interface. * intrinsics.def (INTRINSIC_ROL): Update intrinsic signature. (INTRINSIC_ROR): Likewise. (INTRINSIC_ROR_TIARG): Likewise. (INTRINSIC_TOPREC): Likewise. (INTRINSIC_TOPRECL): Likewise. (INTRINSIC_TAN): Update intrinsic module and signature. (INTRINSIC_ISNAN): Likewise. (INTRINSIC_ISFINITE): Likewise. (INTRINSIC_COPYSIGN): Define intrinsic. (INTRINSIC_COPYSIGNI): Define intrinsic. (INTRINSIC_EXP): Update intrinsic module. (INTRINSIC_EXPM1): Likewise. (INTRINSIC_EXP2): Likewise. (INTRINSIC_LOG): Likewise. (INTRINSIC_LOG2): Likewise. (INTRINSIC_LOG10): Likewise. (INTRINSIC_POW): Likewise. (INTRINSIC_ROUND): Likewise. (INTRINSIC_FLOORF): Likewise. (INTRINSIC_FLOOR): Likewise. (INTRINSIC_FLOORL): Likewise. (INTRINSIC_CEILF): Likewise. (INTRINSIC_CEIL): Likewise. (INTRINSIC_CEILL): Likewise. (INTRINSIC_TRUNC): Likewise. (INTRINSIC_FMIN): Likewise. (INTRINSIC_FMAX): Likewise. (INTRINSIC_FMA): Likewise. (INTRINSIC_VA_ARG): Update intrinsic signature. (INTRINSIC_VASTART): Likewise. * lang.opt (fcheck=): Add alternate aliases for contract switches. (fcheckaction=): New option. (check_action): New Enum and EnumValue entries. (fdump-c++-spec-verbose): New option. (fdump-c++-spec=): New option. (fextern-std=): New option. (extern_stdcpp): New Enum and EnumValue entries (fpreview=): New options. (frevert=): New options. (fsave-mixins): New option. (ftransition=): Update options. * modules.cc (get_internal_fn): Replace Prot with Visibility. (build_internal_fn): Likewise. (build_dso_cdtor_fn): Likewise. (build_module_tree): Remove check for __entrypoint module. * runtime.def (P5): Define. (ARRAYBOUNDS_SLICEP): Define. (ARRAYBOUNDS_INDEXP): Define. (NEWTHROW): Define. (ADCMP2): Remove. (ARRAYCAST): Remove. (SWITCH_STRING): Remove. (SWITCH_USTRING): Remove. (SWITCH_DSTRING): Remove. (SWITCH_ERROR): Remove. * toir.cc (IRVisitor::visit): Update for new front-end interface. (IRVisitor::check_previous_goto): Remove checks for case and default statements. (IRVisitor::visit(SwitchStatement *)): Remove handling of string switch conditions. * typeinfo.cc: Include d-frontend.h. (get_typeinfo_kind): Update for new front-end interface. (make_frontend_typeinfo): Likewise. (TypeInfoVisitor::visit): Likewise. (builtin_typeinfo_p): Likewise. (get_typeinfo_decl): Likewise. (build_typeinfo): Likewise. * types.cc (valist_array_p): Likewise. (make_array_type): Likewise. (merge_aggregate_types): Likewise. (TypeVisitor::visit(TypeBasic *)): Likewise. (TypeVisitor::visit(TypeFunction *)): Likewise. (TypeVisitor::visit(TypeStruct *)): Update comment. * verstr.h: Removed. * d-frontend.h: New file. gcc/po/ChangeLog: * EXCLUDES: Remove d/dmd sources from list. gcc/testsuite/ChangeLog: * gdc.dg/Wcastresult2.d: Update test. * gdc.dg/asm1.d: Likewise. * gdc.dg/asm2.d: Likewise. * gdc.dg/asm3.d: Likewise. * gdc.dg/gdc282.d: Likewise. * gdc.dg/imports/gdc170.d: Likewise. * gdc.dg/intrinsics.d: Likewise. * gdc.dg/pr101672.d: Likewise. * gdc.dg/pr90650a.d: Likewise. * gdc.dg/pr90650b.d: Likewise. * gdc.dg/pr94777a.d: Likewise. * gdc.dg/pr95250.d: Likewise. * gdc.dg/pr96869.d: Likewise. * gdc.dg/pr98277.d: Likewise. * gdc.dg/pr98457.d: Likewise. * gdc.dg/simd1.d: Likewise. * gdc.dg/simd2a.d: Likewise. * gdc.dg/simd2b.d: Likewise. * gdc.dg/simd2c.d: Likewise. * gdc.dg/simd2d.d: Likewise. * gdc.dg/simd2e.d: Likewise. * gdc.dg/simd2f.d: Likewise. * gdc.dg/simd2g.d: Likewise. * gdc.dg/simd2h.d: Likewise. * gdc.dg/simd2i.d: Likewise. * gdc.dg/simd2j.d: Likewise. * gdc.dg/simd7951.d: Likewise. * gdc.dg/torture/gdc309.d: Likewise. * gdc.dg/torture/pr94424.d: Likewise. * gdc.dg/torture/pr94777b.d: Likewise. * lib/gdc-utils.exp (gdc-convert-args): Handle new compiler options. (gdc-convert-test): Handle CXXFLAGS, EXTRA_OBJC_SOURCES, and ARG_SETS test directives. (gdc-do-test): Only import modules in the test run directory. * gdc.dg/pr94777c.d: New test. * gdc.dg/pr96156b.d: New test. * gdc.dg/pr96157c.d: New test. * gdc.dg/simd_ctfe.d: New test. * gdc.dg/torture/simd17344.d: New test. * gdc.dg/torture/simd20052.d: New test. * gdc.dg/torture/simd6.d: New test. * gdc.dg/torture/simd7.d: New test. libphobos/ChangeLog: * libdruntime/MERGE: Merge upstream druntime e6caaab9. * libdruntime/Makefile.am (D_EXTRA_FLAGS): Build libdruntime with -fpreview=dip1000, -fpreview=fieldwise, and -fpreview=dtorfields. (ALL_DRUNTIME_SOURCES): Add DRUNTIME_DSOURCES_STDCXX. (DRUNTIME_DSOURCES): Update list of C binding modules. (DRUNTIME_DSOURCES_STDCXX): Likewise. (DRUNTIME_DSOURCES_LINUX): Likewise. (DRUNTIME_DSOURCES_OPENBSD): Likewise. (DRUNTIME_DISOURCES): Remove __entrypoint.di. * libdruntime/Makefile.in: Regenerated. * libdruntime/__entrypoint.di: Removed. * libdruntime/gcc/deh.d (_d_isbaseof): Update signature. (_d_createTrace): Likewise. (__gdc_begin_catch): Remove reference to the exception. (_d_throw): Increment reference count of thrown object before unwind. (__gdc_personality): Chain exceptions with Throwable.chainTogether. * libdruntime/gcc/emutls.d: Update imports. * libdruntime/gcc/sections/elf.d: Update imports. (DSO.moduleGroup): Update signature. * libdruntime/gcc/sections/macho.d: Update imports. (DSO.moduleGroup): Update signature. * libdruntime/gcc/sections/pecoff.d: Update imports. (DSO.moduleGroup): Update signature. * src/MERGE: Merge upstream phobos 5ab9ad256. * src/Makefile.am (D_EXTRA_DFLAGS): Add -fpreview=dip1000 and -fpreview=dtorfields flags. (PHOBOS_DSOURCES): Update list of std modules. * src/Makefile.in: Regenerate. * testsuite/lib/libphobos.exp (libphobos-dg-test): Handle assembly compile types. (dg-test): Override. (additional_prunes): Define. (libphobos-dg-prune): Filter any additional_prunes set by tests. * testsuite/libphobos.aa/test_aa.d: Update test. * testsuite/libphobos.druntime/druntime.exp (version_flags): Add -fversion=CoreUnittest. * testsuite/libphobos.druntime_shared/druntime_shared.exp (version_flags): Add -fversion=CoreUnittest -fversion=Shared. * testsuite/libphobos.exceptions/unknown_gc.d: Update test. * testsuite/libphobos.hash/test_hash.d: Update test. * testsuite/libphobos.phobos/phobos.exp (version_flags): Add -fversion=StdUnittest * testsuite/libphobos.phobos_shared/phobos_shared.exp (version_flags): Likewise. * testsuite/libphobos.shared/host.c: Update test. * testsuite/libphobos.shared/load.d: Update test. * testsuite/libphobos.shared/load_13414.d: Update test. * testsuite/libphobos.thread/fiber_guard_page.d: Update test. * testsuite/libphobos.thread/tlsgc_sections.d: Update test. * testsuite/testsuite_flags.in: Add -fpreview=dip1000 to --gdcflags. * testsuite/libphobos.shared/link_mod_collision.d: Removed. * testsuite/libphobos.shared/load_mod_collision.d: Removed. * testsuite/libphobos.betterc/betterc.exp: New test. * testsuite/libphobos.config/config.exp: New test. * testsuite/libphobos.gc/gc.exp: New test. * testsuite/libphobos.imports/imports.exp: New test. * testsuite/libphobos.lifetime/lifetime.exp: New test. * testsuite/libphobos.unittest/unittest.exp: New test.
Diffstat (limited to 'libphobos/src/std/ascii.d')
-rw-r--r--libphobos/src/std/ascii.d188
1 files changed, 131 insertions, 57 deletions
diff --git a/libphobos/src/std/ascii.d b/libphobos/src/std/ascii.d
index b430114..3b6face 100644
--- a/libphobos/src/std/ascii.d
+++ b/libphobos/src/std/ascii.d
@@ -3,9 +3,9 @@
/++
Functions which operate on ASCII characters.
- All of the functions in std._ascii accept Unicode characters but
- effectively ignore them if they're not ASCII. All $(D isX) functions return
- $(D false) for non-ASCII characters, and all $(D toX) functions do nothing
+ All of the functions in std.ascii accept Unicode characters but
+ effectively ignore them if they're not ASCII. All `isX` functions return
+ `false` for non-ASCII characters, and all `toX` functions do nothing
to non-ASCII characters.
For functions which operate on Unicode characters, see
@@ -46,6 +46,7 @@ $(TR $(TD Constants) $(TD
$(LREF whitespace)
))
$(TR $(TD Enums) $(TD
+ $(LREF ControlChar)
$(LREF LetterCase)
))
))
@@ -54,20 +55,12 @@ $(TR $(TD Enums) $(TD
$(HTTP en.wikipedia.org/wiki/Ascii, Wikipedia)
License: $(HTTP www.boost.org/LICENSE_1_0.txt, Boost License 1.0).
- Authors: $(HTTP digitalmars.com, Walter Bright) and Jonathan M Davis
- Source: $(PHOBOSSRC std/_ascii.d)
+ Authors: $(HTTP digitalmars.com, Walter Bright) and
+ $(HTTP jmdavisprog.com, Jonathan M Davis)
+ Source: $(PHOBOSSRC std/ascii.d)
+/
module std.ascii;
-version (unittest)
-{
- // FIXME: When dmd bug #314 is fixed, make these selective.
- import std.meta; // : AliasSeq;
- import std.range; // : chain;
- import std.traits; // : functionAttributes, FunctionAttribute, isSafe;
-}
-
-
immutable fullHexDigits = "0123456789ABCDEFabcdef"; /// 0 .. 9A .. Fa .. f
immutable hexDigits = fullHexDigits[0 .. 16]; /// 0 .. 9A .. F
immutable lowerHexDigits = "0123456789abcdef"; /// 0 .. 9a .. f
@@ -97,10 +90,10 @@ enum LetterCase : bool
}
///
-@system unittest
+@safe unittest
{
import std.digest.hmac : hmac;
- import std.digest.digest : toHexString;
+ import std.digest : toHexString;
import std.digest.sha : SHA1;
import std.string : representation;
@@ -110,6 +103,75 @@ enum LetterCase : bool
assert(sha1HMAC == "49f2073c7bf58577e8c9ae59fe8cfd37c9ab94e5");
}
+/++
+ All control characters in the ASCII table ($(HTTPS www.asciitable.com, source)).
++/
+enum ControlChar : char
+{
+ nul = '\x00', /// Null
+ soh = '\x01', /// Start of heading
+ stx = '\x02', /// Start of text
+ etx = '\x03', /// End of text
+ eot = '\x04', /// End of transmission
+ enq = '\x05', /// Enquiry
+ ack = '\x06', /// Acknowledge
+ bel = '\x07', /// Bell
+ bs = '\x08', /// Backspace
+ tab = '\x09', /// Horizontal tab
+ lf = '\x0A', /// NL line feed, new line
+ vt = '\x0B', /// Vertical tab
+ ff = '\x0C', /// NP form feed, new page
+ cr = '\x0D', /// Carriage return
+ so = '\x0E', /// Shift out
+ si = '\x0F', /// Shift in
+ dle = '\x10', /// Data link escape
+ dc1 = '\x11', /// Device control 1
+ dc2 = '\x12', /// Device control 2
+ dc3 = '\x13', /// Device control 3
+ dc4 = '\x14', /// Device control 4
+ nak = '\x15', /// Negative acknowledge
+ syn = '\x16', /// Synchronous idle
+ etb = '\x17', /// End of transmission block
+ can = '\x18', /// Cancel
+ em = '\x19', /// End of medium
+ sub = '\x1A', /// Substitute
+ esc = '\x1B', /// Escape
+ fs = '\x1C', /// File separator
+ gs = '\x1D', /// Group separator
+ rs = '\x1E', /// Record separator
+ us = '\x1F', /// Unit separator
+ del = '\x7F' /// Delete
+}
+
+///
+@safe pure nothrow @nogc unittest
+{
+ import std.algorithm.comparison, std.algorithm.searching, std.range, std.traits;
+
+ // Because all ASCII characters fit in char, so do these
+ static assert(ControlChar.ack.sizeof == 1);
+
+ // All control characters except del are in row starting from 0
+ static assert(EnumMembers!ControlChar.only.until(ControlChar.del).equal(iota(32)));
+
+ static assert(ControlChar.nul == '\0');
+ static assert(ControlChar.bel == '\a');
+ static assert(ControlChar.bs == '\b');
+ static assert(ControlChar.ff == '\f');
+ static assert(ControlChar.lf == '\n');
+ static assert(ControlChar.cr == '\r');
+ static assert(ControlChar.tab == '\t');
+ static assert(ControlChar.vt == '\v');
+}
+
+///
+@safe pure nothrow unittest
+{
+ import std.conv;
+ //Control character table can be used in place of hexcodes.
+ with (ControlChar) assert(text("Phobos", us, "Deimos", us, "Tango", rs) == "Phobos\x1FDeimos\x1FTango\x1E");
+}
+
/// Newline sequence for this system.
version (Windows)
immutable newline = "\r\n";
@@ -121,7 +183,7 @@ else
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a letter or a number (0 .. 9, a .. z, A .. Z).
+ Returns: Whether `c` is a letter or a number (0 .. 9, a .. z, A .. Z).
+/
bool isAlphaNum(dchar c) @safe pure nothrow @nogc
{
@@ -141,6 +203,7 @@ bool isAlphaNum(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; chain(digits, octalDigits, fullHexDigits, letters, lowercase, uppercase))
assert(isAlphaNum(c));
@@ -151,7 +214,7 @@ bool isAlphaNum(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is an ASCII letter (A .. Z, a .. z).
+ Returns: Whether `c` is an ASCII letter (A .. Z, a .. z).
+/
bool isAlpha(dchar c) @safe pure nothrow @nogc
{
@@ -172,6 +235,7 @@ bool isAlpha(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; chain(letters, lowercase, uppercase))
assert(isAlpha(c));
@@ -182,7 +246,7 @@ bool isAlpha(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a lowercase ASCII letter (a .. z).
+ Returns: Whether `c` is a lowercase ASCII letter (a .. z).
+/
bool isLower(dchar c) @safe pure nothrow @nogc
{
@@ -203,6 +267,7 @@ bool isLower(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; lowercase)
assert(isLower(c));
@@ -213,7 +278,7 @@ bool isLower(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is an uppercase ASCII letter (A .. Z).
+ Returns: Whether `c` is an uppercase ASCII letter (A .. Z).
+/
bool isUpper(dchar c) @safe pure nothrow @nogc
{
@@ -234,6 +299,7 @@ bool isUpper(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; uppercase)
assert(isUpper(c));
@@ -244,7 +310,7 @@ bool isUpper(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a digit (0 .. 9).
+ Returns: Whether `c` is a digit (0 .. 9).
+/
bool isDigit(dchar c) @safe pure nothrow @nogc
{
@@ -266,6 +332,7 @@ bool isDigit(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; digits)
assert(isDigit(c));
@@ -276,7 +343,7 @@ bool isDigit(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a digit in base 8 (0 .. 7).
+ Returns: Whether `c` is a digit in base 8 (0 .. 7).
+/
bool isOctalDigit(dchar c) @safe pure nothrow @nogc
{
@@ -295,6 +362,7 @@ bool isOctalDigit(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; octalDigits)
assert(isOctalDigit(c));
@@ -305,7 +373,7 @@ bool isOctalDigit(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a digit in base 16 (0 .. 9, A .. F, a .. f).
+ Returns: Whether `c` is a digit in base 16 (0 .. 9, A .. F, a .. f).
+/
bool isHexDigit(dchar c) @safe pure nothrow @nogc
{
@@ -325,6 +393,7 @@ bool isHexDigit(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; fullHexDigits)
assert(isHexDigit(c));
@@ -335,7 +404,7 @@ bool isHexDigit(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether or not $(D c) is a whitespace character. That includes the
+ Returns: Whether or not `c` is a whitespace character. That includes the
space, tab, vertical tab, form feed, carriage return, and linefeed
characters.
+/
@@ -362,6 +431,7 @@ bool isWhite(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (c; whitespace)
assert(isWhite(c));
@@ -372,7 +442,7 @@ bool isWhite(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether $(D c) is a control character.
+ Returns: Whether `c` is a control character.
+/
bool isControl(dchar c) @safe pure nothrow @nogc
{
@@ -398,6 +468,7 @@ bool isControl(dchar c) @safe pure nothrow @nogc
@safe unittest
{
+ import std.range;
foreach (dchar c; 0 .. 32)
assert(isControl(c));
assert(isControl(127));
@@ -409,7 +480,7 @@ bool isControl(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether or not $(D c) is a punctuation character. That includes
+ Returns: Whether or not `c` is a punctuation character. That includes
all ASCII characters which are not control characters, letters, digits, or
whitespace.
+/
@@ -454,7 +525,7 @@ bool isPunctuation(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether or not $(D c) is a printable character other than the
+ Returns: Whether or not `c` is a printable character other than the
space character.
+/
bool isGraphical(dchar c) @safe pure nothrow @nogc
@@ -490,7 +561,7 @@ bool isGraphical(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether or not $(D c) is a printable character - including the
+ Returns: Whether or not `c` is a printable character - including the
space character.
+/
bool isPrintable(dchar c) @safe pure nothrow @nogc
@@ -525,7 +596,7 @@ bool isPrintable(dchar c) @safe pure nothrow @nogc
/++
Params: c = The character to test.
- Returns: Whether or not $(D c) is in the ASCII character set - i.e. in the
+ Returns: Whether or not `c` is in the ASCII character set - i.e. in the
range 0 .. 0x7F.
+/
pragma(inline, true)
@@ -553,24 +624,23 @@ bool isASCII(dchar c) @safe pure nothrow @nogc
/++
Converts an ASCII letter to lowercase.
- Params: c = A character of any type that implicitly converts to $(D dchar).
+ Params: c = A character of any type that implicitly converts to `dchar`.
In the case where it's a built-in type, or an enum of a built-in type,
- $(D Unqual!(OriginalType!C)) is returned, whereas if it's a user-defined
- type, $(D dchar) is returned.
+ `Unqual!(OriginalType!C)` is returned, whereas if it's a user-defined
+ type, `dchar` is returned.
- Returns: The corresponding lowercase letter, if $(D c) is an uppercase
- ASCII character, otherwise $(D c) itself.
+ Returns: The corresponding lowercase letter, if `c` is an uppercase
+ ASCII character, otherwise `c` itself.
+/
auto toLower(C)(C c)
if (is(C : dchar))
{
- import std.traits : isAggregateType, OriginalType, Unqual;
+ import std.traits : OriginalType;
- alias OC = OriginalType!C;
- static if (isAggregateType!OC)
+ static if (!__traits(isScalar, C))
alias R = dchar;
- else
- alias R = Unqual!OC;
+ else static if (is(immutable OriginalType!C == immutable OC, OC))
+ alias R = OC;
return isUpper(c) ? cast(R)(cast(R) c + 'a' - 'A') : cast(R) c;
}
@@ -589,7 +659,8 @@ if (is(C : dchar))
@safe pure nothrow unittest
{
- foreach (C; AliasSeq!(char, wchar, dchar, immutable char, ubyte))
+ import std.meta;
+ static foreach (C; AliasSeq!(char, wchar, dchar, immutable char, ubyte))
{
foreach (i, c; uppercase)
assert(toLower(cast(C) c) == lowercase[i]);
@@ -615,24 +686,23 @@ if (is(C : dchar))
/++
Converts an ASCII letter to uppercase.
- Params: c = Any type which implicitly converts to $(D dchar). In the case
+ Params: c = Any type which implicitly converts to `dchar`. In the case
where it's a built-in type, or an enum of a built-in type,
- $(D Unqual!(OriginalType!C)) is returned, whereas if it's a user-defined
- type, $(D dchar) is returned.
+ `Unqual!(OriginalType!C)` is returned, whereas if it's a user-defined
+ type, `dchar` is returned.
- Returns: The corresponding uppercase letter, if $(D c) is a lowercase ASCII
- character, otherwise $(D c) itself.
+ Returns: The corresponding uppercase letter, if `c` is a lowercase ASCII
+ character, otherwise `c` itself.
+/
auto toUpper(C)(C c)
if (is(C : dchar))
{
- import std.traits : isAggregateType, OriginalType, Unqual;
+ import std.traits : OriginalType;
- alias OC = OriginalType!C;
- static if (isAggregateType!OC)
+ static if (!__traits(isScalar, C))
alias R = dchar;
- else
- alias R = Unqual!OC;
+ else static if (is(immutable OriginalType!C == immutable OC, OC))
+ alias R = OC;
return isLower(c) ? cast(R)(cast(R) c - ('a' - 'A')) : cast(R) c;
}
@@ -650,7 +720,8 @@ if (is(C : dchar))
@safe pure nothrow unittest
{
- foreach (C; AliasSeq!(char, wchar, dchar, immutable char, ubyte))
+ import std.meta;
+ static foreach (C; AliasSeq!(char, wchar, dchar, immutable char, ubyte))
{
foreach (i, c; lowercase)
assert(toUpper(cast(C) c) == uppercase[i]);
@@ -675,6 +746,9 @@ if (is(C : dchar))
@safe unittest //Test both toUpper and toLower with non-builtin
{
+ import std.meta;
+ import std.traits;
+
//User Defined [Char|Wchar|Dchar]
static struct UDC { char c; alias c this; }
static struct UDW { wchar c; alias c this; }
@@ -689,7 +763,7 @@ if (is(C : dchar))
enum UDDE : UDD {a = UDD('a'), A = UDD('A')}
//User defined types with implicit cast to dchar test.
- foreach (Char; AliasSeq!(UDC, UDW, UDD))
+ static foreach (Char; AliasSeq!(UDC, UDW, UDD))
{
assert(toLower(Char('a')) == 'a');
assert(toLower(Char('A')) == 'a');
@@ -700,7 +774,7 @@ if (is(C : dchar))
}
//Various enum tests.
- foreach (Enum; AliasSeq!(CE, WE, DE, UDCE, UDWE, UDDE))
+ static foreach (Enum; AliasSeq!(CE, WE, DE, UDCE, UDWE, UDDE))
{
assert(toLower(Enum.a) == 'a');
assert(toLower(Enum.A) == 'a');
@@ -713,15 +787,15 @@ if (is(C : dchar))
}
//Return value type tests for enum of non-UDT. These should be the original type.
- foreach (T; AliasSeq!(CE, WE, DE))
- {
+ static foreach (T; AliasSeq!(CE, WE, DE))
+ {{
alias C = OriginalType!T;
static assert(is(typeof(toLower(T.init)) == C));
static assert(is(typeof(toUpper(T.init)) == C));
- }
+ }}
//Return value tests for UDT and enum of UDT. These should be dchar
- foreach (T; AliasSeq!(UDC, UDW, UDD, UDCE, UDWE, UDDE))
+ static foreach (T; AliasSeq!(UDC, UDW, UDD, UDCE, UDWE, UDDE))
{
static assert(is(typeof(toLower(T.init)) == dchar));
static assert(is(typeof(toUpper(T.init)) == dchar));