shellharden 4.1.1

The corrective bash syntax highlighter
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72


use ::situation::ParseResult;
use ::situation::Situation;
use ::situation::Transition;
use ::situation::Transition::Flush;
use ::situation::Transition::FlushPopOnEof;
use ::situation::Transition::Replace;
use ::situation::Transition::Push;
use ::situation::Transition::Pop;

pub fn whatnow_eq(a: &ParseResult, b: &ParseResult) -> bool {
	match (a, b) {
		(Ok(a), Ok(b)) => {
			if a.pre != b.pre {
				eprintln!("WhatNow.pre: {} != {}", a.pre, b.pre);
				false
			} else if a.len != b.len {
				eprintln!("WhatNow.len: {} != {}", a.len, b.len);
				false
			} else if a.alt != b.alt {
				eprintln!("WhatNow.alt mismatch");
				false
			} else {
				transition_eq(&a.tri, &b.tri)
			}
		},
		(Err(_), Err(_)) => true,
		_ => {
			eprintln!("ParseResult mismatch");
			false
		}
	}
}

fn transition_eq(a: &Transition, b: &Transition) -> bool {
	match (a, b) {
		(Flush, Flush) => true,
		(FlushPopOnEof, FlushPopOnEof) => true,
		(Replace(a), Replace(b)) => {
			sit_eq(a.as_ref(), b.as_ref())
		},
		(Push(a), Push(b)) => {
			sit_eq(a.as_ref(), b.as_ref())
		},
		(Pop, Pop) => true,
		_ => {
			eprintln!("Transition mismatch");
			false
		}
	}
}

// FIXME: Compare vtable pointers.
fn sit_eq(a: &Situation, b: &Situation) -> bool {
	if a.get_color() != b.get_color() {
		eprintln!("Situation.color: {} != {}", a.get_color(), b.get_color());
		false
	} else {
		true
	}
}

macro_rules! sit_expect {
	($sit:expr, $horizon:expr, $expect_mid:expr, $expect_eof:expr) => {
		assert!(whatnow_eq(&$sit.whatnow($horizon, true), $expect_mid));
		assert!(whatnow_eq(&$sit.whatnow($horizon, false), $expect_eof));
	};
	($sit:expr, $horizon:expr, $expect_same:expr) => {
		assert!(whatnow_eq(&$sit.whatnow($horizon, true), $expect_same));
		assert!(whatnow_eq(&$sit.whatnow($horizon, false), $expect_same));
	};
}