test/literal.go

   1 // $G $F.go && $L $F.$A && ./$A.out
   2
   3 // Copyright 2009 The Go Authors. All rights reserved.
   4 // Use of this source code is governed by a BSD-style
   5 // license that can be found in the LICENSE file.
   6
   7 package main
   8
   9 var nbad int
  10
  11 func assert(cond bool, msg string) {
  12         if !cond {
  13                 if nbad == 0 {
  14                         print("BUG");
  15                 }
  16                 nbad++;
  17                 print(" ", msg);
  18         }
  19 }
  20
  21 func main() {
  22         // bool
  23         var t bool = true;
  24         var f bool = false;
  25         assert(t == !f, "bool");
  26
  27         // int8
  28         var i00 int8 = 0;
  29         var i01 int8 = 1;
  30         var i02 int8 = -1;
  31         var i03 int8 = 127;
  32         var i04 int8 = -127;
  33         var i05 int8 = -128;
  34         var i06 int8 = +127;
  35         assert(i01 == i00 + 1, "i01");
  36         assert(i02 == -i01, "i02");
  37         assert(i03 == -i04, "i03");
  38         assert(-(i05+1) == i06, "i05");
  39
  40         // int16
  41         var i10 int16 = 0;
  42         var i11 int16 = 1;
  43         var i12 int16 = -1;
  44         var i13 int16 = 32767;
  45         var i14 int16 = -32767;
  46         var i15 int16 = -32768;
  47         var i16 int16 = +32767;
  48         assert(i11 == i10 + 1, "i11");
  49         assert(i12 == -i11, "i12");
  50         assert(i13 == -i14, "i13");
  51         assert(-(i15+1) == i16, "i15");
  52
  53         // int32
  54         var i20 int32 = 0;
  55         var i21 int32 = 1;
  56         var i22 int32 = -1;
  57         var i23 int32 = 2147483647;
  58         var i24 int32 = -2147483647;
  59         var i25 int32 = -2147483648;
  60         var i26 int32 = +2147483647;
  61         assert(i21 == i20 + 1, "i21");
  62         assert(i22 == -i21, "i22");
  63         assert(i23 == -i24, "i23");
  64         assert(-(i25+1) == i26, "i25");
  65         assert(i23 == (1 << 31) - 1, "i23 size");
  66
  67         // int64
  68         var i30 int64 = 0;
  69         var i31 int64 = 1;
  70         var i32 int64 = -1;
  71         var i33 int64 = 9223372036854775807;
  72         var i34 int64 = -9223372036854775807;
  73         var i35 int64 = -9223372036854775808;
  74         var i36 int64 = +9223372036854775807;
  75         assert(i31 == i30 + 1, "i31");
  76         assert(i32 == -i31, "i32");
  77         assert(i33 == -i34, "i33");
  78         assert(-(i35+1) == i36, "i35");
  79         assert(i33 == (1<<63) - 1, "i33 size");
  80
  81         // uint8
  82         var u00 uint8 = 0;
  83         var u01 uint8 = 1;
  84         var u02 uint8 = 255;
  85         var u03 uint8 = +255;
  86         assert(u01 == u00 + 1, "u01");
  87         assert(u02 == u03, "u02");
  88         assert(u03 == (1<<8) - 1, "u03 size");
  89
  90         // uint16
  91         var u10 uint16 = 0;
  92         var u11 uint16 = 1;
  93         var u12 uint16 = 65535;
  94         var u13 uint16 = +65535;
  95         assert(u11 == u10 + 1, "u11");
  96         assert(u12 == u13, "u12");
  97
  98         // uint32
  99         var u20 uint32 = 0;
 100         var u21 uint32 = 1;
 101         var u22 uint32 = 4294967295;
 102         var u23 uint32 = +4294967295;
 103         assert(u21 == u20 + 1, "u21");
 104         assert(u22 == u23, "u22");
 105
 106         // uint64
 107         var u30 uint64 = 0;
 108         var u31 uint64 = 1;
 109         var u32 uint64 = 18446744073709551615;
 110         var u33 uint64 = +18446744073709551615;
 111         _, _, _, _ = u30, u31, u32, u33;
 112
 113         // float
 114         var f00 float = 3.14159;
 115         var f01 float = -3.14159;
 116         var f02 float = +3.14159;
 117         var f03 float = 0.0;
 118         var f04 float = .0;
 119         var f05 float = 0.;
 120         var f06 float = -0.0;
 121         var f07 float = 1e10;
 122         var f08 float = -1e10;
 123         var f09 float = 1e-10;
 124         var f10 float = 1e+10;
 125         var f11 float = 1.e-10;
 126         var f12 float = 1.e+10;
 127         var f13 float = .1e-10;
 128         var f14 float = .1e+10;
 129         var f15 float = 1.1e-10;
 130         var f16 float = 1.1e+10;
 131         assert(f01 == -f00, "f01");
 132         assert(f02 == -f01, "f02");
 133         assert(f03 == f04, "f03");
 134         assert(f04 == f05, "f04");
 135         assert(f05 == f06, "f05");
 136         assert(f07 == -f08, "f07");
 137         assert(f09 == 1/f10, "f09");
 138         assert(f11 == f09, "f11");
 139         assert(f12 == f10, "f12");
 140         assert(f13 == f09/10.0, "f13");
 141         assert(f14 == f12/10.0, "f14");
 142         assert(f15 == f16/1e20, "f15");
 143
 144         // character
 145         var c0 uint8 = 'a';
 146         var c1 uint8 = 'ä';
 147         var c2 uint8 = '\a';
 148         var c3 uint8 = '\b';
 149         var c4 uint8 = '\f';
 150         var c5 uint8 = '\n';
 151         var c6 uint8 = '\r';
 152         var c7 uint8 = '\t';
 153         var c8 uint8 = '\v';
 154         // var c9 uint8 = '本'; // correctly caught as error
 155         var c9 uint16 = '本';
 156         assert(c0 == 0x61, "c0");
 157         assert(c1 == 0xe4, "c1");
 158         assert(c2 == 0x07, "c2");
 159         assert(c3 == 0x08, "c3");
 160         assert(c4 == 0x0c, "c4");
 161         assert(c5 == 0x0a, "c4");
 162         assert(c6 == 0x0d, "c6");
 163         assert(c7 == 0x09, "c7");
 164         assert(c8 == 0x0b, "c8");
 165         assert(c9 == 0x672c, "c9");
 166
 167
 168         var c00 uint8 = '\000';
 169         var c01 uint8 = '\007';
 170         var c02 uint8 = '\177';
 171         var c03 uint8 = '\377';
 172         assert(c00 == 0, "c00");
 173         assert(c01 == 7, "c01");
 174         assert(c02 == 127, "c02");
 175         assert(c03 == 255, "c03");
 176
 177         var cx0 uint8 = '\x00';
 178         var cx1 uint8 = '\x0f';
 179         var cx2 uint8 = '\xff';
 180         assert(cx0 == 0, "cx0");
 181         assert(cx1 == 15, "cx1");
 182         assert(cx2 == 255, "cx2");
 183
 184         var cu0 uint16 = '\u1234';
 185         var cu1 uint32 = '\U00101234';
 186         assert(cu0 == 0x1234, "cu0");
 187         assert(cu1 == 0x101234, "cu1");
 188
 189         // string
 190         var s0 string = "";
 191         var s1 string = "hellô";
 192         assert(s1[0] == 'h', "s1-0");
 193         assert(s1[4] == 0xc3, "s1-4");
 194         assert(s1[5] == 0xb4, "s1-5");
 195         var s2 string = "\a\b\f\n\r\t\v";
 196         _, _ = s0, s2;
 197
 198         var s00 string = "\000";
 199         var s01 string = "\007";
 200         var s02 string = "\377";
 201         assert(s00[0] == 0, "s00");
 202         assert(s01[0] == 7, "s01");
 203         assert(s02[0] == 255, "s02");
 204
 205         var x00 string = "\x00";
 206         var x01 string = "\x0f";
 207         var x02 string = "\xff";
 208         assert(x00[0] == 0, "x00");
 209         assert(x01[0] == 15, "x01");
 210         assert(x02[0] == 255, "x02");
 211
 212         // these are all the same string
 213         var sj0 string = "日本語";
 214         var sj1 string = "\u65e5\u672c\u8a9e";
 215         var sj2 string = "\U000065e5\U0000672c\U00008a9e";
 216         var sj3 string = "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e";
 217         assert(sj0 == sj1, "sj1");
 218         assert(sj0 == sj2, "sj2");
 219         assert(sj0 == sj3, "sj3");
 220
 221         if nbad > 0 {
 222                 println()
 223         }
 224 }