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