Option Base 0
Option Default None
Option Explicit On

Const BASE% = 0
Dim counter% = 0

test_copy_given_overlap()

Sub test_copy_given_overlap()
 Local buf%(array.new%(4)) ' 32-bytes
 Local pbuf% = Peek(VarAddr buf%())

 buf%(BASE%)     = &h0
 buf%(BASE% + 1) = &hFF01020304050607
 buf%(BASE% + 2) = &h08090A0B0C0D0E0F
 buf%(BASE% + 3) = &h0
 assert_hex_equals(0, Peek(Integer pbuf%))
 assert_hex_equals(&hFF01020304050607, Peek(Integer pbuf% + 8))
 assert_hex_equals(&h08090A0B0C0D0E0F, Peek(Integer pbuf% + 16))
 assert_hex_equals(0, Peek(Integer pbuf% + 24))

 ' Copy onto itself.
 Memory Copy pbuf%, pbuf%, 32

 assert_hex_equals(0, Peek(Integer pbuf%))
 assert_hex_equals(&hFF01020304050607, Peek(Integer pbuf% + 8))
 assert_hex_equals(&h08090A0B0C0D0E0F, Peek(Integer pbuf% + 16))
 assert_hex_equals(0, Peek(Integer pbuf% + 24))

 buf%(BASE%)     = &h0
 buf%(BASE% + 1) = &hFF01020304050607
 buf%(BASE% + 2) = &h08090A0B0C0D0E0F
 buf%(BASE% + 3) = &h0

 ' Copy where pdst < psrc.
 Memory Copy pbuf% + 8, pbuf% + 5, 16

 assert_hex_equals(&h0506070000000000, Peek(Integer pbuf%))
 assert_hex_equals(&h0D0E0FFF01020304, Peek(Integer pbuf% + 8))
 assert_hex_equals(&h08090A08090A0B0C, Peek(Integer pbuf% + 16))
 assert_hex_equals(&h0,                Peek(Integer pbuf% + 24))

 buf%(BASE%)     = &h0
 buf%(BASE% + 1) = &hFF01020304050607
 buf%(BASE% + 2) = &h08090A0B0C0D0E0F
 buf%(BASE% + 3) = &h0

 If Mm.Device$ = "MMB4L" Then
   ' Copy where pdst > psrc.
   ' Colour Maximite 2 doesn't handle this correctly.
   Memory Copy pbuf% + 8, pbuf% + 11, 16

   assert_hex_equals(&h0,                Peek(Integer pbuf%))
   assert_hex_equals(&h0304050607050607, Peek(Integer pbuf% + 8))
   assert_hex_equals(&h0B0C0D0E0FFF0102, Peek(Integer pbuf% + 16))
   assert_hex_equals(&h000000000008090A, Peek(Integer pbuf% + 24))
 EndIf
End Sub

Function array.new%(capacity%)
 array.new% = capacity% + Mm.Info(Option Base) - 1
End Function

Sub assert_hex_equals(expected%, actual%, chars%)
 Inc counter%
 Print "[" + Str$(counter%) + "] ";
 If expected% <> actual% Then
   Local s$
   Cat s$, "Assert equals failed, expected &h"
   Cat s$, Hex$(expected%, chars%)
   Cat s$, " but actually &h"
   Cat s$, Hex$(actual%, chars%)
   Print s$
 Else
   Print "OK"
 EndIf
End Sub

[1] OK
[2] OK
[3] OK
[4] OK
[5] OK
[6] OK
[7] OK
[8] OK
[9] Assert equals failed, expected &h506070000000000 but actually &h90A080000000000
[10] Assert equals failed, expected &hD0E0FFF01020304 but actually &hA08090A08090A08
[11] Assert equals failed, expected &h8090A08090A0B0C but actually &h8090A08090A0809
[12] OK

> drive "a:"
> ? Mm.Info(FileSize "bootcount")
4
> drive "b:"
> ? Mm.Info(FileSize "tst_inc.bas")
/tst_inc.bas    <===== *** This should not be here ***
605

Option Base 0
Option Default None
Option Explicit On

' Setup a test file.
Dim f$ = "test_file.txt"
Open f$ For Output As #1
Print #1, "Hello World";
Close #1

Open f$ For Append As #1
If Eof(#1) <> 1 Then ? "[1] FAIL" Else ? "[1] OK"
? Loc(#1)
' Should start with r/w pointer one past the end.
If Loc(#1) <> 12 Then ? "[2] FAIL" Else ? "[2] OK"
Close #1

Open f$ For Random As #1
If Eof(#1) <> 1 Then ? "[3] FAIL" Else ? "[3] OK"
' Should start with r/w pointer one past the end.
If Loc(#1) <> 12 Then ? "[4] FAIL" Else ? "[4] OK"
Close #1

PicoMite MMBasic Version 5.07.07RC7
Copyright 2011-2023 Geoff Graham
Copyright 2016-2023 Peter Mather

> ? Mm.Info(Drive)
A:
> ? Mm.Info(Exists Dir "B:")
1
> ? Mm.Info(Drive)
B:    <==== WTF!!!

PicoMite MMBasic Version 5.07.07RC7
Copyright 2011-2023 Geoff Graham
Copyright 2016-2023 Peter Mather

> ? Mm.Info(Drive)
A:
> ? Mm.Info(Exists Dir ".")
1
> ? Mm.Info(Exists Dir "..")
1
> ? Mm.Info(Exists Dir "")
1
> ? Mm.Info(Exists File ".")
0
> ? Mm.Info(Exists File "..")
0
> ? Mm.Info(Exists File "")
0
> Drive "B:"
> ? Mm.Info(Exists Dir ".")
0    <==== WRONG
> ? Mm.Info(Exists Dir "..")
0    <==== WRONG
> ? Mm.Info(Exists Dir "")
1
> ? Mm.Info(Exists File ".")
0
> ? Mm.Info(Exists File "..")
0