zig/libvaxis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improved Integer bounds checking with Saturated Operators.

Browse source
This commit is contained in:
00JCIV00 2024-03-11 16:52:14 -04:00 committed by Tim Culverhouse
parent 3e1e6200b4
commit 96cbae13fc
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
src/widgets/border.zig
View file

@ -15,20 +15,20 @@ pub fn all(win: Window, style: Style) Window {
const h = win.height; const h = win.height;
const w = win.width; const w = win.width;
win.writeCell(0, 0, .{ .char = top_left, .style = style }); win.writeCell(0, 0, .{ .char = top_left, .style = style });
win.writeCell(0, h - 1, .{ .char = bottom_left, .style = style }); win.writeCell(0, h -| 1, .{ .char = bottom_left, .style = style });
win.writeCell(w - 1, 0, .{ .char = top_right, .style = style }); win.writeCell(w -| 1, 0, .{ .char = top_right, .style = style });
win.writeCell(w - 1, h - 1, .{ .char = bottom_right, .style = style }); win.writeCell(w -| 1, h -| 1, .{ .char = bottom_right, .style = style });
var i: usize = 1; var i: usize = 1;
while (i < (h - 1)) : (i += 1) { while (i < (h -| 1)) : (i += 1) {
win.writeCell(0, i, .{ .char = vertical, .style = style }); win.writeCell(0, i, .{ .char = vertical, .style = style });
win.writeCell(w - 1, i, .{ .char = vertical, .style = style }); win.writeCell(w -| 1, i, .{ .char = vertical, .style = style });
} }
i = 1; i = 1;
while (i < w - 1) : (i += 1) { while (i < w -| 1) : (i += 1) {
win.writeCell(i, 0, .{ .char = horizontal, .style = style }); win.writeCell(i, 0, .{ .char = horizontal, .style = style });
win.writeCell(i, h - 1, .{ .char = horizontal, .style = style }); win.writeCell(i, h -| 1, .{ .char = horizontal, .style = style });
} }
return win.initChild(1, 1, .{ .limit = w - 2 }, .{ .limit = h - 2 }); return win.initChild(1, 1, .{ .limit = w -| 2 }, .{ .limit = h -| 2 });
} }
pub fn right(win: Window, style: Style) Window { pub fn right(win: Window, style: Style) Window {
@ -36,9 +36,9 @@ pub fn right(win: Window, style: Style) Window {
const w = win.width; const w = win.width;
var i: usize = 0; var i: usize = 0;
while (i < h) : (i += 1) { while (i < h) : (i += 1) {
win.writeCell(w - 1, i, .{ .char = vertical, .style = style }); win.writeCell(w -| 1, i, .{ .char = vertical, .style = style });
} }
return win.initChild(0, 0, .{ .limit = w - 1 }, .expand); return win.initChild(0, 0, .{ .limit = w -| 1 }, .expand);
} }
pub fn bottom(win: Window, style: Style) Window { pub fn bottom(win: Window, style: Style) Window {
@ -46,7 +46,7 @@ pub fn bottom(win: Window, style: Style) Window {
const w = win.width; const w = win.width;
var i: usize = 0; var i: usize = 0;
while (i < w) : (i += 1) { while (i < w) : (i += 1) {
win.writeCell(i, h - 1, .{ .char = horizontal, .style = style }); win.writeCell(i, h -| 1, .{ .char = horizontal, .style = style });
} }
return win.initChild(0, 0, .expand, .{ .limit = h - 1 }); return win.initChild(0, 0, .expand, .{ .limit = h -| 1 });
} }