Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 1 | // $G $D/$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 assertequal(is, shouldbe int, msg string) { |
| 10 | if is != shouldbe { |
Rob Pike | bc2f5f1 | 2008-08-11 22:07:49 -0700 | [diff] [blame] | 11 | print("assertion fail" + msg + "\n"); |
| 12 | panic(1); |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 13 | } |
| 14 | } |
| 15 | |
| 16 | func main() { |
| 17 | i5 := 5; |
| 18 | i7 := 7; |
| 19 | |
| 20 | var count int; |
| 21 | |
| 22 | count = 0; |
| 23 | if true { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 24 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 25 | } |
| 26 | assertequal(count, 1, "if true"); |
| 27 | |
| 28 | count = 0; |
| 29 | if false { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 30 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 31 | } |
| 32 | assertequal(count, 0, "if false"); |
| 33 | |
| 34 | count = 0; |
| 35 | if one := 1; true { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 36 | count = count + one; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 37 | } |
| 38 | assertequal(count, 1, "if true one"); |
| 39 | |
| 40 | count = 0; |
| 41 | if one := 1; false { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 42 | _ = one; |
| 43 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 44 | } |
| 45 | assertequal(count, 0, "if false one"); |
| 46 | |
| 47 | count = 0; |
| 48 | if { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 49 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 50 | } |
| 51 | assertequal(count, 1, "if empty"); |
| 52 | |
| 53 | count = 0; |
| 54 | if one := 1; { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 55 | count = count + one; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 56 | } |
| 57 | assertequal(count, 1, "if empty one"); |
| 58 | |
| 59 | count = 0; |
| 60 | if i5 < i7 { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 61 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 62 | } |
| 63 | assertequal(count, 1, "if cond"); |
| 64 | |
| 65 | count = 0; |
| 66 | if true { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 67 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 68 | } else |
| 69 | count = count - 1; |
| 70 | assertequal(count, 1, "if else true"); |
| 71 | |
| 72 | count = 0; |
| 73 | if false { |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 74 | count = count + 1; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 75 | } else |
| 76 | count = count - 1; |
| 77 | assertequal(count, -1, "if else false"); |
| 78 | |
| 79 | count = 0; |
| 80 | if t:=1; false { |
| 81 | count = count + 1; |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 82 | t := 7; |
| 83 | _ = t; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 84 | } else |
| 85 | count = count - t; |
| 86 | assertequal(count, -1, "if else false var"); |
| 87 | |
| 88 | count = 0; |
| 89 | t := 1; |
| 90 | if false { |
| 91 | count = count + 1; |
Russ Cox | 1a31989 | 2009-09-14 21:03:53 -0700 | [diff] [blame] | 92 | t := 7; |
| 93 | _ = t; |
Rob Pike | ab34d15 | 2008-06-06 14:27:34 -0700 | [diff] [blame] | 94 | } else |
| 95 | count = count - t; |
| 96 | assertequal(count, -1, "if else false var outside"); |
| 97 | } |