squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

improve bracket display

Browse source
This commit is contained in:
Oliver Schneider 2016-03-23 12:49:16 +01:00
parent 93d097eb12
commit 57faa5a9f5
1 changed files with 19 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
src/booleans.rs
View file

@ -81,7 +81,7 @@ impl<'tcx> Hir2Qmm<'tcx> {
}
fn suggest(cx: &LateContext, suggestion: &Bool, terminals: &[&Expr]) -> String {
fn recurse(cx: &LateContext, suggestion: &Bool, terminals: &[&Expr], mut s: String) -> String {
fn recurse(brackets: bool, cx: &LateContext, suggestion: &Bool, terminals: &[&Expr], mut s: String) -> String {
use quine_mc_cluskey::Bool::*;
match *suggestion {
True => {
@ -94,21 +94,33 @@ fn suggest(cx: &LateContext, suggestion: &Bool, terminals: &[&Expr]) -> String {
},
Not(ref inner) => {
s.push('!');
recurse(cx, inner, terminals, s)
recurse(true, cx, inner, terminals, s)
},
And(ref v) => {
s = recurse(cx, &v[0], terminals, s);
if brackets {
s.push('(');
}
s = recurse(true, cx, &v[0], terminals, s);
for inner in &v[1..] {
s.extend(" && ".chars());
s = recurse(cx, inner, terminals, s);
s = recurse(true, cx, inner, terminals, s);
}
if brackets {
s.push(')');
}
s
},
Or(ref v) => {
s = recurse(cx, &v[0], terminals, s);
if brackets {
s.push('(');
}
s = recurse(true, cx, &v[0], terminals, s);
for inner in &v[1..] {
s.extend(" || ".chars());
s = recurse(cx, inner, terminals, s);
s = recurse(true, cx, inner, terminals, s);
}
if brackets {
s.push(')');
}
s
},
@ -118,7 +130,7 @@ fn suggest(cx: &LateContext, suggestion: &Bool, terminals: &[&Expr]) -> String {
}
}
}
recurse(cx, suggestion, terminals, String::new())
recurse(false, cx, suggestion, terminals, String::new())
}
impl<'a, 'tcx> NonminimalBoolVisitor<'a, 'tcx> {