kodin/ableos-idl
1
0
Fork 0
forked from AbleOS/ableos
Code Pull requests Activity

formatted code

Browse source
This commit is contained in:
Able 2024-07-19 08:53:45 -05:00
parent f0956b529c
commit 528b1fc66c
9 changed files with 122 additions and 134 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Cargo.lock generated
View file

@ -429,7 +429,7 @@ dependencies = [
[[package]]
name = "hbbytecode"
version = "0.1.0"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#654b7eb7af94c191a6ac9071e7efd56833966ad5"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#5555b9865a3ae9d512bc338c1f370aeca9975c60"
[[package]]
name = "hbbytecode"
@ -439,7 +439,7 @@ source = "git+https://git.ablecorp.us/ableos/holey-bytes#e494785f93dad2722ebd9e5
[[package]]
name = "hblang"
version = "0.1.0"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#654b7eb7af94c191a6ac9071e7efd56833966ad5"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#5555b9865a3ae9d512bc338c1f370aeca9975c60"
dependencies = [
"hbvm 0.1.0 (git+https://git.ablecorp.us/AbleOS/holey-bytes.git)",
]
@ -447,7 +447,7 @@ dependencies = [
[[package]]
name = "hbvm"
version = "0.1.0"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#654b7eb7af94c191a6ac9071e7efd56833966ad5"
source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#5555b9865a3ae9d512bc338c1f370aeca9975c60"
dependencies = [
"hbbytecode 0.1.0 (git+https://git.ablecorp.us/AbleOS/holey-bytes.git)",
]

19
sysdata/libraries/stn/src/buffer.hb
View file

@ -1,20 +1,19 @@
string := @use("rel:string.hb");
string := @use("rel:string.hb")
receive_message := fn(buffer_id: int, memory_map_location: ^u8, length: int): ^u8 {
return @eca(^u8, 4, buffer_id, memory_map_location, length);
return @eca(^u8, 4, buffer_id, memory_map_location, length)
}
send_message := fn(buffer_id: int): void {
message := "Hello there\0";
message_length := string.length(message);
@eca(i32, 3, buffer_id, message, message_length);
return;
message := "Hello there\0"
message_length := string.length(message)
@eca(i32, 3, buffer_id, message, message_length)
return
}
create := fn(): int {
msg := "\{01}Number\0";
msg := "\{01}Number\0"
msg_length := string.length(msg);
*msg = 0;
return @eca(int, 1, 0, msg, msg_length);
*msg = 0
return @eca(int, 1, 0, msg, msg_length)
}

8
sysdata/libraries/stn/src/lib.hb
View file

@ -1,4 +1,4 @@
string := @use("rel:string.hb");
log := @use("rel:log.hb");
memory := @use("rel:memory.hb");
buffer := @use("rel:buffer.hb");
string := @use("rel:string.hb")
log := @use("rel:log.hb")
memory := @use("rel:memory.hb")
buffer := @use("rel:buffer.hb")

19
sysdata/libraries/stn/src/log.hb
View file

@ -1,15 +1,14 @@
string := @use("rel:string.hb");
string := @use("rel:string.hb")
log := fn(message: ^u8, level: u8): void {
message_length := string.length(message);
*(message + message_length) = level;
@eca(i32, 3, 1, message, message_length + 1);
return;
*(message + message_length) = level
@eca(i32, 3, 1, message, message_length + 1)
return
}
error:= fn(message: ^u8):void return log(message, 0);
warn:= fn(message: ^u8):void return log(message, 1);
info:= fn(message: ^u8):void return log(message, 2);
debug:= fn(message: ^u8):void return log(message, 3);
trace:= fn(message: ^u8):void return log(message, 4);
error := fn(message: ^u8): void return log(message, 0)
warn := fn(message: ^u8): void return log(message, 1)
info := fn(message: ^u8): void return log(message, 2)
debug := fn(message: ^u8): void return log(message, 3)
trace := fn(message: ^u8): void return log(message, 4)

14
sysdata/libraries/stn/src/memory.hb
View file

@ -1,18 +1,18 @@
request_page := fn(page_count: u8): ^u8 {
msg := "\{00}\{01}xxxxxxxx\0";
msg := "\{00}\{01}xxxxxxxx\0"
msg_page_count := msg + 1;
*msg_page_count = page_count;
return @eca(^u8, 3, 2, msg, 12);
*msg_page_count = page_count
return @eca(^u8, 3, 2, msg, 12)
}
release_page := fn(ptr: ^u8, page_count: u8): void {
msg := "\{01}\{00}xxxxxxxx\0";
msg := "\{01}\{00}xxxxxxxx\0"
msg_page_count := msg + 1;
*msg_page_count = page_count;
*msg_page_count = page_count
msg_ptr := @as(^^u8, @bitcast(msg + 2));
*msg_ptr = ptr;
*msg_ptr = ptr
return @eca(void, 3, 2, msg, 12);
return @eca(void, 3, 2, msg, 12)
}

52
sysdata/libraries/stn/src/string.hb
View file

@ -1,51 +1,51 @@
length := fn(ptr: ^u8): int {
len := 0;
len := 0
loop if *ptr == 0 break else {
len += 1;
ptr += 1;
len += 1
ptr += 1
}
return len;
return len
}
display_int := fn(num: int, p: ^u8): ^u8 {
i := 0;
i := 0
if num == 0 {
set(p, 48);
return p;
set(p, 48)
return p
}
loop {
if num == 0 break;
set(p + i, num % 10 + 48);
num /= 10;
i += 1;
if num == 0 break
set(p + i, num % 10 + 48)
num /= 10
i += 1
}
reverse(p);
reverse(p)
//null terminate
set(p + i, 0);
return p;
set(p + i, 0)
return p
}
reverse := fn(s: ^u8): void {
//reverse a string, don't remove digits
len := 0;
len := 0
loop {
if *(s + len) == 0 break;
len += 1;
if *(s + len) == 0 break
len += 1
}
i := 0;
j := len - 1;
i := 0
j := len - 1
loop {
if i >= j break;
if i >= j break
temp := *(s + i);
*(s + i) = *(s + j);
*(s + j) = temp;
i += 1;
j -= 1;
*(s + j) = temp
i += 1
j -= 1
}
return;
return
}
set := fn(change: ^u8, new: int): void {
*(change) = new;
return;
*change = new
return
}

14
sysdata/programs/fb_driver/src/main.hb
View file

@ -1,15 +1,15 @@
frame_buffer := @as(^u8, @bitcast(18446603339442421760));
frame_buffer := @as(^u8, @bitcast(18446603339442421760))
main := fn(): int {
color := 17;
color := 17
loop {
len := (786432 * 4)+1;
len := 786432 * 4 + 1
loop if len == 0 break else {
fb := frame_buffer + len;
*fb = color;
len = len - 1;
color += len;
*fb = color
len -= 1
color += len
}
}
return 0;
return 0
}

40
sysdata/programs/tests/src/main.hb
View file

@ -1,8 +1,8 @@
stn := @use("../../../libraries/stn/src/lib.hb");
log := stn.log;
string := stn.string;
memory := stn.memory;
buffer := stn.buffer;
stn := @use("../../../libraries/stn/src/lib.hb")
log := stn.log
string := stn.string
memory := stn.memory
buffer := stn.buffer
/*
service_search := fn(): void {
@ -12,28 +12,18 @@ service_search := fn(): void {
}
*/
main := fn(): int {
// Create a buffer
buffer_id := buffer.create();
buffer.send_message(buffer_id);
memory_pages := memory.request_page(3);
buffer.receive_message(buffer_id, memory_pages, 4096*3);
log.info("abc\0");
memory.release_page(memory_pages, 3);
num := 2
buffer_id := buffer.create()
buffer.send_message(buffer_id)
memory_pages := memory.request_page(3)
buffer.receive_message(buffer_id, memory_pages, 4096 * 3)
log.info("abc\0")
memory.release_page(memory_pages, 3)
// todo: abstract this out
port_str := "\0\{70}\0";
a := @eca(u8, 3, 3, port_str, 2);
return 0;
port_str := "\0\{70}\0"
a := @eca(u8, 3, 3, port_str, 2)
return 0
}

30
sysdata/programs/time_driver/src/main.hb
View file

@ -1,21 +1,21 @@
stn := @use("../../../libraries/stn/src/lib.hb");
log := stn.log;
mem := stn.memory;
s := stn.string;
page := 0;
stn := @use("../../../libraries/stn/src/lib.hb")
log := stn.log
mem := stn.memory
s := stn.string
page := 0
main := fn(): void {
page += mem.request_page(1);
port_str := "\0\{47}\0";
a := @eca(u8, 3, 3, port_str, 2);
page += mem.request_page(1)
port_str := "\0\{47}\0"
a := @eca(u8, 3, 3, port_str, 2)
n := 5000000;
n := 5000000
loop {
if n == 0 break;
n -= 1;
stack_reclamation_edge_case := 0;
if n == 0 break
n -= 1
stack_reclamation_edge_case := 0
}
td := s.display_int(a, page);
log.debug(td);
return;
td := s.display_int(a, page)
log.debug(td)
return
}