flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

use std::io;

fn main() {
  `[let mut buffer = String::new();]`
  `[let stdin = io::stdin();]`

  `[let mut total = 0;]`
  `[loop]` {
    `[let input = {
      buffer.clear();
      stdin.read_line(&mut buffer)]`.unwrap()`[;
      buffer.trim()
    };]`

    `[if input == "exit" {
      ]`break;`[
    }]`

    `[let n = input.parse::<i32>().unwrap();]`
    println!("Read: {}", n);
    `[total += n;]`
  }

  println!("{:?}", `[total]`);
}