Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
4f4d585
commit 8028298
Showing
3 changed files
with
134 additions
and
132 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,133 @@ | ||
| namespace TeXFormulaLayout.Tests | ||
| open Expecto | ||
|
|
||
|
|
||
| module Power2ConstTests = | ||
| open TeXFormulaLayout.Power2Const | ||
|
|
||
| let twoN = pown 2 | ||
| [<Tests>] | ||
| let tests = testList "Power2Const" [ | ||
| test "all const" { | ||
| Expect.equal Two6 (twoN 6) "2^6" | ||
|
|
||
| Expect.equal Two7 (twoN 7) "2^7" | ||
| Expect.equal Two8 (twoN 8) "2^8" | ||
|
|
||
| Expect.equal Two15 (twoN 15) "2^15" | ||
| Expect.equal Two16 (twoN 16) "2^16" | ||
|
|
||
| Expect.equal Two23 (twoN 23) "2^23" | ||
| Expect.equal Two24 (twoN 24) "2^24" | ||
|
|
||
| Expect.equal Two29 (twoN 29) "2^29" | ||
| } | ||
| ] | ||
|
|
||
| module DviOut = | ||
| open TeXFormulaLayout.Tests.BytesOut | ||
| open TeXFormulaLayout.DviOutHelper | ||
| open TeXFormulaLayout.DviTypes | ||
| open TeXFormulaLayout.Power2Const | ||
|
|
||
| [<Tests>] | ||
| let tests = | ||
| testList "DviOutHelper" [ | ||
| test "outNat1" { | ||
| startMemDvi () | ||
| outNat1 0 | ||
| Expect.equal (getMemByteArray ()) [| 0uy |] "0" | ||
|
|
||
| startMemDvi () | ||
| outNat1 255 | ||
| Expect.equal (getMemByteArray ()) [| 255uy |] "255" | ||
|
|
||
| startMemDvi () | ||
| outNat1 0 | ||
| outNat1 255 | ||
| outNat1 127 | ||
| outNat1 128 | ||
| Expect.equal (getMemByteArray ()) [| 0uy; 255uy; 127uy; 128uy |] "[0,255,127,128]" | ||
| endMemDvi () | ||
| } | ||
|
|
||
| test "outNat2~4" { | ||
| startMemDvi () | ||
| outNat2 Two7 | ||
| Expect.equal (getMemByteArray ()) [| 0uy; 128uy |] "2^7" | ||
| startMemDvi () | ||
| outNat2 (Two15 - 1) | ||
| Expect.equal (getMemByteArray ()) [| 127uy; 255uy |] "2^15-1" | ||
|
|
||
| startMemDvi () | ||
| outNat3 Two15 | ||
| Expect.equal (getMemByteArray ()) [| 0uy; 128uy; 0uy |] "2^15" | ||
| startMemDvi () | ||
| outNat3 (Two23 - 1) | ||
| Expect.equal (getMemByteArray ()) [| 127uy; 255uy; 255uy |] "2^23-1" | ||
|
|
||
| startMemDvi () | ||
| outNat4 Two23 | ||
| Expect.equal (getMemByteArray ()) [| 0uy; 128uy; 0uy; 0uy |] "2^23" | ||
| startMemDvi () | ||
| outNat4 Int32Max | ||
| Expect.equal (getMemByteArray ()) [| 127uy; 255uy; 255uy; 255uy |] "2^31-1" | ||
| endMemDvi () | ||
| } | ||
|
|
||
| test "out2Zero" { | ||
| startMemDvi () | ||
| out2Zero 0 | ||
| Expect.equal (getMemByteArray ()) [| |] "[]" | ||
|
|
||
| startMemDvi () | ||
| out2Zero 1 | ||
| Expect.equal (getMemByteArray ()) [| 0uy |] "[0]" | ||
|
|
||
| startMemDvi () | ||
| out2Zero 3 | ||
| Expect.equal (getMemByteArray ()) [| 0uy; 0uy; 0uy; |] "[0,0,0]" | ||
| endMemDvi () | ||
| } | ||
|
|
||
| test "outStr" { | ||
| startMemDvi () | ||
| outStr "" | ||
| Expect.equal (getMemByteArray ()) [| |] "[]" | ||
|
|
||
| startMemDvi () | ||
| outStr "abc" | ||
| Expect.equal (getMemByteArray ()) [| 97uy; 98uy; 99uy; |] "[97,98,99]" | ||
|
|
||
| startMemDvi () | ||
| outStr "123" | ||
| Expect.equal (getMemByteArray ()) [| 49uy; 50uy; 51uy; |] "[49,50,51]" | ||
| endMemDvi () | ||
| } | ||
|
|
||
| test "outString" { | ||
| startMemDvi () | ||
| outString "" | ||
| Expect.equal (getMemByteArray ()) [| 0uy |] "[0]" | ||
|
|
||
| startMemDvi () | ||
| outString "abc" | ||
| Expect.equal (getMemByteArray ()) [| 3uy; 97uy; 98uy; 99uy; |] "[3,97,98,99]" | ||
|
|
||
| startMemDvi () | ||
| outString "123" | ||
| Expect.equal (getMemByteArray ()) [| 3uy; 49uy; 50uy; 51uy; |] "[3,49,50,51]" | ||
| endMemDvi () | ||
| } | ||
|
|
||
| test "dvicmd" { | ||
| startMemDvi () | ||
| dvicmd DVICmd.SET_CHAR_0 | ||
| Expect.equal (getMemByteArray ()) [| 0uy |] "[0]" | ||
|
|
||
| startMemDvi () | ||
| dvicmd DVICmd.POST_POST | ||
| Expect.equal (getMemByteArray ()) [| 249uy |] "[249]" | ||
| endMemDvi () | ||
| } | ||
| ] |> testSequenced |