Compare commits
166 Commits
c118a4d7ef
...
add-bool
| Author | SHA1 | Date | |
|---|---|---|---|
| 0ac26711ac | |||
| 8446ae6186 | |||
| c511ebcb15 | |||
| 00b0f13d3e | |||
| 13d35e54f5 | |||
| 770f6b05b4 | |||
| 2ee954e18f | |||
| cdfccb0f1c | |||
| 5d5d3fd31c | |||
| 190a89fbb3 | |||
| e991b5af67 | |||
| 5a3d0e19ea | |||
| fbc55534f6 | |||
| b6e180f466 | |||
| 8f5f25780e | |||
| f08213cd49 | |||
| 2194198693 | |||
| 5c2b8a0582 | |||
| 4575fa229b | |||
| cbfb513933 | |||
| f10327356e | |||
| f402b46b1c | |||
| c3d0f33700 | |||
| ba2dc6b53f | |||
| 2e03867c66 | |||
| 7a03d8d6b5 | |||
| b2504cda2d | |||
| f6b12d43fb | |||
| c185f5058f | |||
| 813d219580 | |||
| b44d364f0f | |||
| 405b458702 | |||
| 5778616965 | |||
| f5de450c39 | |||
| aebc6972ad | |||
| ef3f5cf4bb | |||
| 3f51beddb6 | |||
| 56c376cd4e | |||
| 19f02d6137 | |||
| 7df18f7d26 | |||
| 84b96ed8f3 | |||
| 85a66a3e70 | |||
| 81391ef101 | |||
| 92040a1bc4 | |||
| 1bb565c6fe | |||
| c4ab60515b | |||
| 8b0915dff1 | |||
| 785b48085d | |||
| 419c3651bf | |||
| 8dac25035f | |||
| b7bdaba694 | |||
| 45dfdb255e | |||
| 5b1448be3e | |||
| 12fbfa6293 | |||
| 44fb561758 | |||
| 04c352fad6 | |||
| 0ea7e222cc | |||
| ae79a32309 | |||
| e28ab4dc6b | |||
| 80161b37f7 | |||
| 9d40b81e00 | |||
| 80c7d25c73 | |||
| 743a5d4ae0 | |||
| ea17e354a3 | |||
| 4dc8a30ebd | |||
| 15c5f0b2b8 | |||
| 087b6b6690 | |||
| 77bfc45fea | |||
| de6099fadc | |||
| 0097dbeedd | |||
| 2db7ff88c2 | |||
| 4fd15c79a4 | |||
| d6f6a3485c | |||
| 5d0b95d59a | |||
| 756bc79c16 | |||
| a59870cc69 | |||
| 782472aa8f | |||
| 52aa07a98f | |||
| 94041f2abc | |||
| 423f547da3 | |||
| 9278bdcb43 | |||
| 0acf44886a | |||
| a4da33536c | |||
| 2180d29615 | |||
| 2209763666 | |||
| 96c8d7924f | |||
| fdf0aa89a4 | |||
| 1bded9852d | |||
| 8beb9de256 | |||
| dc72cc2010 | |||
| 0e03f84b8a | |||
| 02196edf61 | |||
| 1058615f6f | |||
| 024edfa922 | |||
| fe973af99c | |||
| 52f0d6932e | |||
| 8e14a2c3f1 | |||
| 4fbb70081a | |||
| a108e53cb6 | |||
| 57c30ac669 | |||
| a270c22cb9 | |||
| a99d4dee66 | |||
| c18e251b4a | |||
| 170f79c914 | |||
| 77c6b67d65 | |||
| 195d0f9725 | |||
| fa4f591126 | |||
| 12142706e1 | |||
| 30e9ead1ab | |||
| 1118b11bcd | |||
| 7343cf5853 | |||
| a9f583d2e7 | |||
| c4dd129fc5 | |||
| 2cbf58d558 | |||
| 7dcfc08678 | |||
| 711ac30486 | |||
| b15c3aa76c | |||
| a1bfae443c | |||
| df3fe1280d | |||
| 41b3376fa3 | |||
| fae702edfd | |||
| c86f9b03f2 | |||
| dcbfbe9141 | |||
| 40444ee2f4 | |||
| 59cc90166f | |||
| f222fb02b7 | |||
| 6ecc33a46b | |||
| 5d84636b55 | |||
| f009a970cd | |||
| 8b63166ba1 | |||
| 3ef7de118b | |||
| 51ed6aed9f | |||
| 6017ac1fa3 | |||
| b8047585fb | |||
| ad3973dd9e | |||
| 0f626b2e93 | |||
| 272e47224d | |||
| 2c57423838 | |||
| e2b9e809a8 | |||
| 7e8b272ef0 | |||
| a257902705 | |||
| 4955f66ad6 | |||
| f646207ab1 | |||
| b50a199842 | |||
| b826cbf83e | |||
| b73f9fa7ce | |||
| d3d7b07a74 | |||
| daa6a44179 | |||
| af7669c783 | |||
| 2305814e10 | |||
| 5a3296a842 | |||
| 3bf365a7a9 | |||
| e48be0bc15 | |||
| a210f6112c | |||
| 9ff317d443 | |||
| cdba8ee601 | |||
| e75d7534c1 | |||
| 8a0ae9b03f | |||
| 9bc90b0e17 | |||
| c70c23d137 | |||
| a9d5bb83a2 | |||
| f1df5fa84d | |||
| 76a8f9444a | |||
| 0f20c4cdab | |||
| 1b82f2cd83 | |||
| 6ba70ed046 |
2
.gitignore
vendored
Normal file
2
.gitignore
vendored
Normal file
@@ -0,0 +1,2 @@
|
|||||||
|
/generate/test
|
||||||
|
/debug
|
||||||
@@ -1,43 +1,66 @@
|
|||||||
package main
|
package main
|
||||||
|
|
||||||
import "os"
|
import "os"
|
||||||
import "fmt"
|
|
||||||
import "strings"
|
import "strings"
|
||||||
import "path/filepath"
|
import "path/filepath"
|
||||||
|
import "git.tebibyte.media/sashakoshka/go-cli"
|
||||||
|
import "git.tebibyte.media/sashakoshka/goparse"
|
||||||
import "git.tebibyte.media/sashakoshka/hopp/generate"
|
import "git.tebibyte.media/sashakoshka/hopp/generate"
|
||||||
|
|
||||||
func main() {
|
func main() {
|
||||||
name := os.Args[0]
|
flagOutput := cli.NewInputFlag('o', "output", "The output file", "", cli.ValString)
|
||||||
if len(os.Args) != 3 {
|
flagPackageName := cli.NewInputFlag('p', "package-name", "The package name of the file", "", cli.ValString)
|
||||||
fmt.Fprintf(os.Stderr, "Usage: %s SOURCE DESTINATION\n", name)
|
command := cli.New("Compile PDL files to program source code",
|
||||||
|
flagOutput,
|
||||||
|
flagPackageName)
|
||||||
|
command.Syntax = "FILE [OPTIONS]..."
|
||||||
|
command.ParseOrExit(os.Args)
|
||||||
|
|
||||||
|
if len(command.Args) != 1 {
|
||||||
|
command.Usage()
|
||||||
os.Exit(2)
|
os.Exit(2)
|
||||||
}
|
}
|
||||||
source := os.Args[1]
|
source := command.Args[0]
|
||||||
destination := os.Args[2]
|
destination := flagOutput.Value
|
||||||
|
if destination == "" {
|
||||||
input, err := os.Open(source)
|
destination = "protocol.go"
|
||||||
handleErr(1, err)
|
|
||||||
defer input.Close()
|
|
||||||
protocol, err := generate.ParseReader(input)
|
|
||||||
handleErr(1, err)
|
|
||||||
|
|
||||||
absDestination, err := filepath.Abs(destination)
|
|
||||||
handleErr(1, err)
|
|
||||||
packageName := cleanPackageName(strings.ReplaceAll(
|
|
||||||
strings.ToLower(filepath.Base(absDestination)),
|
|
||||||
" ", "_"))
|
|
||||||
destination = filepath.Join(os.Args[2], "generated.go")
|
|
||||||
|
|
||||||
output, err := os.Create(destination)
|
|
||||||
handleErr(1, err)
|
|
||||||
err = protocol.Generate(output, packageName)
|
|
||||||
handleErr(1, err)
|
|
||||||
fmt.Fprintf(os.Stderr, "%s: OK\n", name)
|
|
||||||
}
|
}
|
||||||
|
|
||||||
func handleErr(code int, err error) {
|
input, err := os.Open(source)
|
||||||
|
handleErr(command, 1, err)
|
||||||
|
defer input.Close()
|
||||||
|
protocol, err := generate.ParseReader(source, input)
|
||||||
|
handleErr(command, 1, err)
|
||||||
|
|
||||||
|
packageName := flagPackageName.Value
|
||||||
|
if packageName == "" {
|
||||||
|
absDestination, err := filepath.Abs(destination)
|
||||||
|
handleErr(command, 1, err)
|
||||||
|
base := filepath.Base(absDestination)
|
||||||
|
if scrounged, ok := scroungeForPackageName(base); ok {
|
||||||
|
packageName = scrounged
|
||||||
|
} else {
|
||||||
|
packageName = strings.ReplaceAll(
|
||||||
|
strings.ToLower(base),
|
||||||
|
" ", "_")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
packageName = cleanPackageName(packageName)
|
||||||
|
|
||||||
|
output, err := os.Create(destination)
|
||||||
|
handleErr(command, 1, err)
|
||||||
|
generator := generate.Generator {
|
||||||
|
Output: output,
|
||||||
|
PackageName: packageName,
|
||||||
|
}
|
||||||
|
_, err = generator.Generate(protocol)
|
||||||
|
handleErr(command, 1, err)
|
||||||
|
command.Println(output, "OK")
|
||||||
|
}
|
||||||
|
|
||||||
|
func handleErr(command *cli.Cli, code int, err error) {
|
||||||
if err != nil {
|
if err != nil {
|
||||||
fmt.Fprintf(os.Stderr, "%s: %v\n", os.Args[0], err)
|
command.Errorln(parse.Format(err))
|
||||||
os.Exit(code)
|
os.Exit(code)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -56,3 +79,32 @@ func cleanPackageName(str string) string {
|
|||||||
}
|
}
|
||||||
return string(buffer[:j])
|
return string(buffer[:j])
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func scroungeForPackageName(dir string) (string, bool) {
|
||||||
|
entries, err := os.ReadDir(dir)
|
||||||
|
if err != nil { return "", false}
|
||||||
|
for _, entry := range entries {
|
||||||
|
if !entry.Type().IsRegular() { continue }
|
||||||
|
file, err := os.Open(filepath.Join(dir, entry.Name()))
|
||||||
|
if err != nil { continue }
|
||||||
|
defer file.Close()
|
||||||
|
// FIXME: it is entirely possible that the only file will have
|
||||||
|
// a shitload of doc comments preceeding the package name, and
|
||||||
|
// those comments are usually huge so this is bad
|
||||||
|
buffer := [512]byte { }
|
||||||
|
n, _ := file.Read(buffer[:])
|
||||||
|
text := string(buffer[:n])
|
||||||
|
|
||||||
|
packageIndex := strings.Index(text, "package")
|
||||||
|
if packageIndex < 0 { continue }
|
||||||
|
text = text[packageIndex:]
|
||||||
|
|
||||||
|
newlineIndex := strings.Index(text, "\n")
|
||||||
|
if packageIndex > 0 { text = text[:newlineIndex] }
|
||||||
|
|
||||||
|
fields := strings.Fields(text)
|
||||||
|
if len(fields) < 2 { continue }
|
||||||
|
return fields[1], true
|
||||||
|
}
|
||||||
|
return "", false
|
||||||
|
}
|
||||||
|
|||||||
47
codec.go
Normal file
47
codec.go
Normal file
@@ -0,0 +1,47 @@
|
|||||||
|
package hopp
|
||||||
|
|
||||||
|
import "fmt"
|
||||||
|
|
||||||
|
type anyInt16 interface { ~uint16 | ~int16 }
|
||||||
|
type anyInt64 interface { ~uint64 | ~int64 }
|
||||||
|
|
||||||
|
// decodeI16 decodes a 16 bit integer from the given data.
|
||||||
|
func decodeI16[T anyInt16](data []byte) (T, error) {
|
||||||
|
if len(data) != 2 { return 0, fmt.Errorf("decoding int16: %w", ErrWrongBufferLength) }
|
||||||
|
return T(data[0]) << 8 | T(data[1]), nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// encodeI16 encodes a 16 bit integer into the given buffer.
|
||||||
|
func encodeI16[T anyInt16](buffer []byte, value T) error {
|
||||||
|
if len(buffer) != 2 { return fmt.Errorf("encoding int16: %w", ErrWrongBufferLength) }
|
||||||
|
buffer[0] = byte(value >> 8)
|
||||||
|
buffer[1] = byte(value)
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// decodeI64 decodes a 64 bit integer from the given data.
|
||||||
|
func decodeI64[T anyInt64](data []byte) (T, error) {
|
||||||
|
if len(data) != 8 { return 0, fmt.Errorf("decoding int64: %w", ErrWrongBufferLength) }
|
||||||
|
return T(data[0]) << 56 |
|
||||||
|
T(data[1]) << 48 |
|
||||||
|
T(data[2]) << 40 |
|
||||||
|
T(data[3]) << 32 |
|
||||||
|
T(data[4]) << 24 |
|
||||||
|
T(data[5]) << 16 |
|
||||||
|
T(data[6]) << 8 |
|
||||||
|
T(data[7]), nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// encodeI64 encodes a 64 bit integer into the given buffer.
|
||||||
|
func encodeI64[T anyInt64](buffer []byte, value T) error {
|
||||||
|
if len(buffer) != 8 { return fmt.Errorf("encoding int64: %w", ErrWrongBufferLength) }
|
||||||
|
buffer[0] = byte(value >> 56)
|
||||||
|
buffer[1] = byte(value >> 48)
|
||||||
|
buffer[2] = byte(value >> 40)
|
||||||
|
buffer[3] = byte(value >> 32)
|
||||||
|
buffer[4] = byte(value >> 24)
|
||||||
|
buffer[5] = byte(value >> 16)
|
||||||
|
buffer[6] = byte(value >> 8)
|
||||||
|
buffer[7] = byte(value)
|
||||||
|
return nil
|
||||||
|
}
|
||||||
@@ -2,7 +2,7 @@ package hopp
|
|||||||
|
|
||||||
import "io"
|
import "io"
|
||||||
import "net"
|
import "net"
|
||||||
// import "time"
|
import "time"
|
||||||
|
|
||||||
const defaultSizeLimit int64 = 1024 * 1024 // 1 megabyte
|
const defaultSizeLimit int64 = 1024 * 1024 // 1 megabyte
|
||||||
|
|
||||||
@@ -23,8 +23,13 @@ type Conn interface {
|
|||||||
// be called in a loop to avoid the connection locking up.
|
// be called in a loop to avoid the connection locking up.
|
||||||
AcceptTrans() (Trans, error)
|
AcceptTrans() (Trans, error)
|
||||||
|
|
||||||
|
// SetDeadline operates is [net.Conn.SetDeadline] but for OpenTrans
|
||||||
|
// and AcceptTrans calls.
|
||||||
|
SetDeadline(t time.Time) error
|
||||||
// SetSizeLimit sets a limit (in bytes) for how large messages can be.
|
// SetSizeLimit sets a limit (in bytes) for how large messages can be.
|
||||||
// By default, this limit is 1 megabyte.
|
// By default, this limit is 1 megabyte. Note that this is only
|
||||||
|
// enforced when sending and receiving byte slices, and it does not
|
||||||
|
// apply to [Trans.SendWriter] or [Trans.ReceiveReader].
|
||||||
SetSizeLimit(limit int64)
|
SetSizeLimit(limit int64)
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -40,8 +45,6 @@ type Trans interface {
|
|||||||
// unique within the connection. This method is safe for concurrent use.
|
// unique within the connection. This method is safe for concurrent use.
|
||||||
ID() int64
|
ID() int64
|
||||||
|
|
||||||
// TODO: add methods for setting send and receive deadlines
|
|
||||||
|
|
||||||
// Send sends a message. This method is not safe for concurrent use.
|
// Send sends a message. This method is not safe for concurrent use.
|
||||||
Send(method uint16, data []byte) error
|
Send(method uint16, data []byte) error
|
||||||
// SendWriter sends data written to an [io.Writer]. The writer must be
|
// SendWriter sends data written to an [io.Writer]. The writer must be
|
||||||
@@ -57,4 +60,12 @@ type Trans interface {
|
|||||||
// previously opened through this function will be discarded. This
|
// previously opened through this function will be discarded. This
|
||||||
// method is not safe for concurrent use, and neither is its result.
|
// method is not safe for concurrent use, and neither is its result.
|
||||||
ReceiveReader() (method uint16, data io.Reader, err error)
|
ReceiveReader() (method uint16, data io.Reader, err error)
|
||||||
|
|
||||||
|
// See the documentation for [net.Conn.SetDeadline].
|
||||||
|
SetDeadline(time.Time) error
|
||||||
|
// TODO
|
||||||
|
// // See the documentation for [net.Conn.SetReadDeadline].
|
||||||
|
// SetReadDeadline(t time.Time) error
|
||||||
|
// // See the documentation for [net.Conn.SetWriteDeadline].
|
||||||
|
// SetWriteDeadline(t time.Time) error
|
||||||
}
|
}
|
||||||
|
|||||||
128
design/branched-generated-encoder.md
Normal file
128
design/branched-generated-encoder.md
Normal file
@@ -0,0 +1,128 @@
|
|||||||
|
# Branched Generated Decoder
|
||||||
|
|
||||||
|
Pasted here because Tebitea is down
|
||||||
|
|
||||||
|
## The problem
|
||||||
|
|
||||||
|
TAPE is designed so that the decoder can gloss over data it does not understand.
|
||||||
|
Technically the protocol allows for this, but I completely forgot to implement
|
||||||
|
this in the generated decoder, oops. This would be trivial if TAPE messages were
|
||||||
|
still flat tables, but they aren't, because those aren't useful enough. So,
|
||||||
|
let's analyze the problem.
|
||||||
|
|
||||||
|
## When it happens
|
||||||
|
|
||||||
|
There are two reasons something might not match up with the expected data:
|
||||||
|
|
||||||
|
The first and most obvious is unrecognized keys. If the key is not in the set of
|
||||||
|
recognized keys for a KTV, it should leave the corresponding struct field blank.
|
||||||
|
Once #6 has been implemented, throw an error if the data was not optional.
|
||||||
|
|
||||||
|
The second is wrong types. If we are expecting KTV and get SBA, we should leave
|
||||||
|
the data as empty. The aforementioned concern about #6 also applies here. We
|
||||||
|
don't need to worry about special cases at the structure root, because it would
|
||||||
|
be technically possible to make the structure root an option, so it really is
|
||||||
|
just a normal value. Until #6, we will leave that blank too.
|
||||||
|
|
||||||
|
## Preliminary ideas
|
||||||
|
|
||||||
|
The first is going to be pretty simple. All we need to do is have a skimmer
|
||||||
|
function that skims over TAPE data very, and then call that on the KTV value
|
||||||
|
each time we run into a mystery key. It should only return an error if the
|
||||||
|
structure of the data is malformed in such a way that it cannot continue to the
|
||||||
|
next one. This should be stored in the tape package alongside the dynamic
|
||||||
|
decoding functions, because they will essentially function the same way and
|
||||||
|
could probably share lots of code.
|
||||||
|
|
||||||
|
The second is a bit more complicated because of the existence of KTV and OTA
|
||||||
|
because they are aggregate types. Go types work a bit differently, as if you
|
||||||
|
have an array of an array of an array of ints, that information is represented
|
||||||
|
in one place, whereas TAPE doesn't really do that. All of that information is
|
||||||
|
sort of buried within the data structure, so we don't know what we will be
|
||||||
|
decoding before we actually do it. Whenever we encounter a type we don't expect,
|
||||||
|
we would need to abort decoding of the entire data structure, and then skim over
|
||||||
|
whatever detritus is left, which would literally be in a half-decoded state. The
|
||||||
|
fact that the code is generated flat and thus cannot use return or defer
|
||||||
|
statements contributes to the complexity of this problem. We need to go up, but
|
||||||
|
we can't. There is no up, only forward.
|
||||||
|
|
||||||
|
Of course, the dynamic decoder does not have this problem in the first place
|
||||||
|
because it doesn't expect anything, and constructs the destination to fit
|
||||||
|
whatever it sees in the TAPE structure as it is decoding it. KTVs are completely
|
||||||
|
dynamic because they are implemented as maps, so the only time it needs to
|
||||||
|
completely comprehend a type is with OTAs. There is a function called typeOf
|
||||||
|
that gets the type of the current tag and returns it as a reflect.Type, which
|
||||||
|
necessitates recursion and peeking at OTAs and their elements.
|
||||||
|
|
||||||
|
We could try to do the same thing in the generated decoder, comparing the
|
||||||
|
determined type against the expected type to try to figure out whether we should
|
||||||
|
decode an array or a table, etc. This is immediately problematic as it requires
|
||||||
|
memory to be allocated, both for the peek buffer and the resulting tree of type
|
||||||
|
information. If we end up with some crazy way to keep track of the types, that's
|
||||||
|
only one half of the allocation problem and we would still be spending extra
|
||||||
|
cycles going over all of that twice.
|
||||||
|
|
||||||
|
## Performance constraints
|
||||||
|
|
||||||
|
The generated decoder is supposed to blaze through data, and it can't do that if
|
||||||
|
it does all the singing and dancing that the dynamic decoder does. It's time for
|
||||||
|
some performance constraints:
|
||||||
|
|
||||||
|
- No allocations, except as required to build the destination for the data
|
||||||
|
- No redundant work
|
||||||
|
- So, no freaking peeking
|
||||||
|
- It should take well under 500 lines of generated code to decode one message of
|
||||||
|
reasonable size (i.e. be careful not to bloat the binary)
|
||||||
|
|
||||||
|
I'm not really going to do my usual thing here of making a slow version and
|
||||||
|
speeding it up over time based on evidence and experimentation because these
|
||||||
|
constraints inform the design so much it would be impossible to continue without
|
||||||
|
them. I am 99% confident that these constraints will allow for an acceptable
|
||||||
|
baseline of performance (for generated code) and we can still profile and
|
||||||
|
micro-optimize later. This is good enough for me.
|
||||||
|
Heavy solution
|
||||||
|
|
||||||
|
There is a solution that might work very well which involves completely redoing
|
||||||
|
the generated decoding code. We could create a function for every source type to
|
||||||
|
destination type mapping that exists in protocol, and then compose them all
|
||||||
|
together. The decoding methods for each message or type would be wrappers around
|
||||||
|
the correct function for their root TAPE -> Go type mapping. The main benefit of
|
||||||
|
this is it would make this problem a lot more manageable because the interface
|
||||||
|
points between the data would be represented by function boundaries. This would
|
||||||
|
allow the use of return and defer statements, and would allow more code sharing,
|
||||||
|
producing a smaller binary. Go would probably inline these where needed.
|
||||||
|
|
||||||
|
Would this work? Probably. More investigation is required to make sure. I want
|
||||||
|
to stop re-writing things I don't need to. On the other hand, it is just the
|
||||||
|
decoder.
|
||||||
|
|
||||||
|
## Light solution
|
||||||
|
|
||||||
|
TODO: find a solution that satisfies the performance constraints, keeps the same
|
||||||
|
identical interface, and works off the same code. I am convinced this is doable,
|
||||||
|
and it might even allow us to extract more data from an unexpected structure.
|
||||||
|
However, continuing this way might introduce unmanageable complexity. It is
|
||||||
|
already a little unmanageable and I am just one pony (kind of).
|
||||||
|
|
||||||
|
## Implementation
|
||||||
|
|
||||||
|
Heavy solution is going to work here, applied to only the points of
|
||||||
|
`Generator.generateDecodeValue` where it decodes an aggregate data structure.
|
||||||
|
That way, only minimal amounts of code need to be redone.
|
||||||
|
|
||||||
|
Whenever a branch needs to happen, a call shall be generated, a deferred
|
||||||
|
implementation request shall be added to a special FIFO queue within the
|
||||||
|
generator. After generating data structures and their root decoding functions,
|
||||||
|
the generator shall pick away at this queue until no requests remain. The
|
||||||
|
generator shall accept new items during this process, so that recursion is
|
||||||
|
possible. This is all to ensure it is only ever writing one function at a time
|
||||||
|
|
||||||
|
The functions shall take a pointer to a type that accepts any type like (~) the
|
||||||
|
destination's base type. We should also probably just call
|
||||||
|
`Generator.generateDecodeValue` directly on user defined types this way, keeping
|
||||||
|
their public `Decode` methods just for convenience.
|
||||||
|
|
||||||
|
The tape package shall contain a skimming function that takes a decoder and a
|
||||||
|
tag, and recursively consumes the decoder given the context of the tag. This
|
||||||
|
shall be utilized by the decoder functions to skip over values if their tags
|
||||||
|
or keys do not match up with what is expected.
|
||||||
@@ -7,12 +7,12 @@ PDL allows defining a protocol using HOPP and TAPE.
|
|||||||
| Syntax | TN | CN | Description
|
| Syntax | TN | CN | Description
|
||||||
| ---------- | ------- | -: | -----------
|
| ---------- | ------- | -: | -----------
|
||||||
| I5 | SI | |
|
| I5 | SI | |
|
||||||
| I8 | LI | 0 |
|
| I8 | LSI | 0 |
|
||||||
| I16 | LI | 1 |
|
| I16 | LSI | 1 |
|
||||||
| I32 | LI | 3 |
|
| I32 | LSI | 3 |
|
||||||
| I64 | LI | 7 |
|
| I64 | LSI | 7 |
|
||||||
| I128[^2] | LI | 15 |
|
| I128[^2] | LSI | 15 |
|
||||||
| I256[^2] | LI | 31 |
|
| I256[^2] | LSI | 31 |
|
||||||
| U5 | SI | |
|
| U5 | SI | |
|
||||||
| U8 | LI | 0 |
|
| U8 | LI | 0 |
|
||||||
| U16 | LI | 1 |
|
| U16 | LI | 1 |
|
||||||
@@ -25,11 +25,13 @@ PDL allows defining a protocol using HOPP and TAPE.
|
|||||||
| F64 | FP | 7 |
|
| F64 | FP | 7 |
|
||||||
| F128[^2] | FP | 15 |
|
| F128[^2] | FP | 15 |
|
||||||
| F256[^2] | FP | 31 |
|
| F256[^2] | FP | 31 |
|
||||||
|
| Bool | SI | |
|
||||||
| String | SBA/LBA | * | UTF-8 string
|
| String | SBA/LBA | * | UTF-8 string
|
||||||
| Buffer | SBA/LBA | * | Byte array
|
| Buffer | SBA/LBA | * | Byte array
|
||||||
| []\<TYPE\> | OTA | * | Array of any type[^1]
|
| []\<TYPE\> | OTA | * | Array of any type[^1]
|
||||||
| Table | KTV | * | Table with undefined schema
|
| Table | KTV | * | Table with undefined schema
|
||||||
| {...} | KTV | * | Table with defined schema
|
| {...} | KTV | * | Table with defined schema
|
||||||
|
| Any | * | * | Value of an undefined type
|
||||||
|
|
||||||
[^1]: Excluding SI and SBA. I5 and U5 cannot be used in an array, but String and
|
[^1]: Excluding SI and SBA. I5 and U5 cannot be used in an array, but String and
|
||||||
Buffer are simply forced to use their "long" variant.
|
Buffer are simply forced to use their "long" variant.
|
||||||
@@ -51,6 +53,7 @@ structures. They are separated by whitespace.
|
|||||||
| RBrace | `}` | A right curly brace.
|
| RBrace | `}` | A right curly brace.
|
||||||
| LBracket | `[` | A left square bracket.
|
| LBracket | `[` | A left square bracket.
|
||||||
| RBracket | `]` | A right square bracket.
|
| RBracket | `]` | A right square bracket.
|
||||||
|
| Comment | `\/\/.*$` | A doc comment starting with a double-slash.
|
||||||
|
|
||||||
## Syntax
|
## Syntax
|
||||||
|
|
||||||
@@ -67,18 +70,27 @@ an Ident token respectively. A message consists of the method code (Method), the
|
|||||||
message name (Ident), and the message's root type. This is usually a table, but
|
message name (Ident), and the message's root type. This is usually a table, but
|
||||||
can be anything.
|
can be anything.
|
||||||
|
|
||||||
|
Messages, types, and table fields can all have doc comments preceding them,
|
||||||
|
which are used to generate documentation for the protocol. The syntax is the
|
||||||
|
same as Go's (for now). Comments aren't allowed anywhere else.
|
||||||
|
|
||||||
Here is an example of all that:
|
Here is an example of all that:
|
||||||
|
|
||||||
```
|
```
|
||||||
|
// Connect is sent from the client to the server as the first message of an
|
||||||
|
// authenticated transaction.
|
||||||
M0000 Connect {
|
M0000 Connect {
|
||||||
0000 Name String,
|
0000 Name String,
|
||||||
0001 Password String,
|
0001 Password String,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// UserList is sent from the server to the client in response to a Connect
|
||||||
|
// message.
|
||||||
M0001 UserList {
|
M0001 UserList {
|
||||||
0000 Users []User,
|
0000 Users []User,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// User holds profile information about a single user.
|
||||||
User {
|
User {
|
||||||
0000 Name String,
|
0000 Name String,
|
||||||
0001 Bio String,
|
0001 Bio String,
|
||||||
@@ -98,7 +110,7 @@ Below is an EBNF description of the language.
|
|||||||
<field> -> <key> <ident> <type>
|
<field> -> <key> <ident> <type>
|
||||||
<type> -> <ident>
|
<type> -> <ident>
|
||||||
| "[" "]" <type>
|
| "[" "]" <type>
|
||||||
| "{" (<field> ",")* [<field>] "}"
|
| "{" (<comment>* <field> ",")* [<comment>* <field>] "}"
|
||||||
<message> -> <method> <ident> <type>
|
<message> -> <comment>* <method> <ident> <type>
|
||||||
<typedef> -> <ident> <type>
|
<typedef> -> <comment>* <ident> <type>
|
||||||
```
|
```
|
||||||
|
|||||||
@@ -75,16 +75,16 @@ connection. Thus, the value may range from 0 to 31 if unsigned, and from -16 to
|
|||||||
17 if signed.
|
17 if signed.
|
||||||
|
|
||||||
#### Large Integer (LI)
|
#### Large Integer (LI)
|
||||||
LI encodes an integer of up to 256 bits, which are stored in the payload. The CN
|
LI encodes an integer of up to 256 bits, which are stored in the payload. The
|
||||||
determine the length of the payload in bytes. The integer is big-endian. Whether
|
length of the payload (in bytes) is CN + 1. The integer is big-endian. Whether
|
||||||
the payload is interpreted as unsigned or as signed two's complement is semantic
|
the payload is interpreted as unsigned or as signed two's complement is semantic
|
||||||
information and must be agreed upon by both sides of the connection. Thus, the
|
information and must be agreed upon by both sides of the connection. Thus, the
|
||||||
value may range from 0 to 31 if unsigned, and from -16 to 17 if signed.
|
value may range from 0 to 31 if unsigned, and from -16 to 17 if signed.
|
||||||
|
|
||||||
#### Floating Point (FP)
|
#### Floating Point (FP)
|
||||||
FP encodes an IEEE 754 floating point number of up to 256 bits, which are stored
|
FP encodes an IEEE 754 floating point number of up to 256 bits, which are stored
|
||||||
in the payload. The CN determines the length of the payload in bytes, and it may
|
in the payload. The length of the payload (in bytes) is CN + 1. The only
|
||||||
only be one of these values: 16, 32, 64, 128, or 256.
|
supported bit widths for floats are as follows: 16, 32, 64, 128, and 256.
|
||||||
|
|
||||||
#### Small Byte Array (SBA)
|
#### Small Byte Array (SBA)
|
||||||
SBA encodes an array of up to 32 bytes, which are stored in the paylod. The
|
SBA encodes an array of up to 32 bytes, which are stored in the paylod. The
|
||||||
@@ -98,15 +98,16 @@ in bytes is determined by the CN.
|
|||||||
#### One-Tag Array (OTA)
|
#### One-Tag Array (OTA)
|
||||||
OTA encodes an array of up to 2^256 items, which are stored in the payload after
|
OTA encodes an array of up to 2^256 items, which are stored in the payload after
|
||||||
the length field and the item tag, where the length field comes first. Each item
|
the length field and the item tag, where the length field comes first. Each item
|
||||||
must be the same length, as they all share the same tag. The length of the data
|
must be the same length, as they all share the same tag. The length of the
|
||||||
length field in bytes is determined by the CN.
|
length field (in bytes) is CN + 1.
|
||||||
|
|
||||||
#### Key-Tag-Value Table (KTV)
|
#### Key-Tag-Value Table (KTV)
|
||||||
KTV encodes a table of up to 2^256 key/value pairs, which are stored in the
|
KTV encodes a table of up to 2^256 key/value pairs, which are stored in the
|
||||||
payload after the length field. The pairs themselves consist of a 16-bit
|
payload after the length field. The pairs themselves consist of a 16-bit
|
||||||
unsigned big-endian key followed by a tag and then the payload. Pair values can
|
unsigned big-endian key followed by a tag and then the payload. Pair values can
|
||||||
be of different types and sizes. The order of the pairs is not significant and
|
be of different types and sizes. The order of the pairs is not significant and
|
||||||
should never be treated as such.
|
should never be treated as such. The length of the length field (in bytes) is
|
||||||
|
CN + 1.
|
||||||
|
|
||||||
## Transports
|
## Transports
|
||||||
A transport is a protocol that HOPP connections can run on top of. HOPP
|
A transport is a protocol that HOPP connections can run on top of. HOPP
|
||||||
|
|||||||
1
error.go
1
error.go
@@ -9,6 +9,7 @@ type Error string; const (
|
|||||||
ErrIntegerOverflow Error = "integer overflow"
|
ErrIntegerOverflow Error = "integer overflow"
|
||||||
ErrMessageMalformed Error = "message is malformed"
|
ErrMessageMalformed Error = "message is malformed"
|
||||||
ErrTablePairMissing Error = "required table pair is missing"
|
ErrTablePairMissing Error = "required table pair is missing"
|
||||||
|
ErrWrongBufferLength Error = "wrong buffer length"
|
||||||
)
|
)
|
||||||
|
|
||||||
// Error implements the error interface.
|
// Error implements the error interface.
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
458
generate/generate_test.go
Normal file
458
generate/generate_test.go
Normal file
@@ -0,0 +1,458 @@
|
|||||||
|
package generate
|
||||||
|
|
||||||
|
// import "fmt"
|
||||||
|
import "testing"
|
||||||
|
|
||||||
|
// TODO: once everything has been ironed out, test that the public API of the
|
||||||
|
// generator is equal to something specific
|
||||||
|
|
||||||
|
var exampleProtocol = defaultProtocol()
|
||||||
|
|
||||||
|
func init() {
|
||||||
|
exampleProtocol.Messages[0x0000] = Message {
|
||||||
|
Name: "Connect",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "Name", Type: TypeString { } },
|
||||||
|
0x0001: Field { Name: "Password", Type: TypeString { } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
exampleProtocol.Messages[0x0001] = Message {
|
||||||
|
Name: "UserList",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "Users", Type: TypeArray { Element: TypeNamed { Name: "User" } } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
exampleProtocol.Messages[0x0002] = Message {
|
||||||
|
Name: "Pulse",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "Index", Type: TypeInt { Bits: 5 } },
|
||||||
|
0x0001: Field { Name: "Offset", Type: TypeInt { Bits: 16, Signed: true }},
|
||||||
|
0x0002: Field { Name: "X", Type: TypeFloat { Bits: 16 }},
|
||||||
|
0x0003: Field { Name: "Y", Type: TypeFloat { Bits: 32 }},
|
||||||
|
0x0004: Field { Name: "Z", Type: TypeFloat { Bits: 64 }},
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
exampleProtocol.Messages[0x0003] = Message {
|
||||||
|
Name: "NestedArray",
|
||||||
|
Type: TypeArray { Element: TypeArray { Element: TypeInt { Bits: 8 } } },
|
||||||
|
}
|
||||||
|
exampleProtocol.Messages[0x0004] = Message {
|
||||||
|
Name: "Integers",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "U5", Type: TypeInt { Bits: 5 } },
|
||||||
|
0x0001: Field { Name: "U8", Type: TypeInt { Bits: 8 } },
|
||||||
|
0x0002: Field { Name: "U16", Type: TypeInt { Bits: 16 } },
|
||||||
|
0x0003: Field { Name: "U32", Type: TypeInt { Bits: 32 } },
|
||||||
|
0x0004: Field { Name: "U64", Type: TypeInt { Bits: 64 } },
|
||||||
|
0x0006: Field { Name: "I8", Type: TypeInt { Bits: 8, Signed: true } },
|
||||||
|
0x0007: Field { Name: "I16", Type: TypeInt { Bits: 16, Signed: true } },
|
||||||
|
0x0008: Field { Name: "I32", Type: TypeInt { Bits: 32, Signed: true } },
|
||||||
|
0x0009: Field { Name: "I64", Type: TypeInt { Bits: 64, Signed: true } },
|
||||||
|
0x000B: Field { Name: "NI8", Type: TypeInt { Bits: 8, Signed: true } },
|
||||||
|
0x000C: Field { Name: "NI16",Type: TypeInt { Bits: 16, Signed: true } },
|
||||||
|
0x000D: Field { Name: "NI32",Type: TypeInt { Bits: 32, Signed: true } },
|
||||||
|
0x000E: Field { Name: "NI64",Type: TypeInt { Bits: 64, Signed: true } },
|
||||||
|
0x000F: Field { Name: "Bool",Type: TypeBool { } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
exampleProtocol.Messages[0x0005] = Message {
|
||||||
|
Name: "Dynamic",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "AU8", Type: TypeAny { } },
|
||||||
|
0x0001: Field { Name: "AU16", Type: TypeAny { } },
|
||||||
|
0x0002: Field { Name: "AU32", Type: TypeAny { } },
|
||||||
|
0x0003: Field { Name: "AU64", Type: TypeAny { } },
|
||||||
|
0x0004: Field { Name: "AI8", Type: TypeAny { } },
|
||||||
|
0x0005: Field { Name: "AI16", Type: TypeAny { } },
|
||||||
|
0x0006: Field { Name: "AI32", Type: TypeAny { } },
|
||||||
|
0x0007: Field { Name: "AI64", Type: TypeAny { } },
|
||||||
|
0x0008: Field { Name: "AF32", Type: TypeAny { } },
|
||||||
|
0x0009: Field { Name: "AF64", Type: TypeAny { } },
|
||||||
|
0x000A: Field { Name: "AString", Type: TypeAny { } },
|
||||||
|
0x000B: Field { Name: "AArray", Type: TypeAny { } },
|
||||||
|
0x000C: Field { Name: "ATable", Type: TypeAny { } },
|
||||||
|
0x000D: Field { Name: "T0", Type: TypeTable { } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
exampleProtocol.Types["User"] = Typedef {
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "Name", Type: TypeString { } },
|
||||||
|
0x0001: Field { Name: "Bio", Type: TypeString { } },
|
||||||
|
0x0002: Field { Name: "Followers", Type: TypeInt { Bits: 32 } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestGenerateRunEncodeDecode(test *testing.T) {
|
||||||
|
testGenerateRun(test, &exampleProtocol, "encode-decode", `
|
||||||
|
// imports
|
||||||
|
`, `
|
||||||
|
log.Println("MessageConnect")
|
||||||
|
messageConnect := MessageConnect {
|
||||||
|
Name: "rarity",
|
||||||
|
Password: "gems",
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messageConnect,
|
||||||
|
tu.S(0xE0, 0x02).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x86, 'r', 'a', 'r', 'i', 't', 'y' },
|
||||||
|
[]byte { 0x00, 0x01, 0x84, 'g', 'e', 'm', 's' },
|
||||||
|
))
|
||||||
|
log.Println("MessageUserList")
|
||||||
|
messageUserList := MessageUserList {
|
||||||
|
Users: []User {
|
||||||
|
User {
|
||||||
|
Name: "rarity",
|
||||||
|
Bio: "asdjads",
|
||||||
|
Followers: 0x324,
|
||||||
|
},
|
||||||
|
User {
|
||||||
|
Name: "deez nuts",
|
||||||
|
Bio: "logy",
|
||||||
|
Followers: 0x8000,
|
||||||
|
},
|
||||||
|
User {
|
||||||
|
Name: "creekflow",
|
||||||
|
Bio: "im creekflow",
|
||||||
|
Followers: 0x3894,
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messageUserList,
|
||||||
|
tu.S(0xE0, 0x01, 0x00, 0x00,
|
||||||
|
0xC0, 0x03, 0xE0,
|
||||||
|
).Add(0x03).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x86, 'r', 'a', 'r', 'i', 't', 'y' },
|
||||||
|
[]byte { 0x00, 0x01, 0x87, 'a', 's', 'd', 'j', 'a', 'd', 's' },
|
||||||
|
[]byte { 0x00, 0x02, 0x23, 0x00, 0x00, 0x03, 0x24 },
|
||||||
|
).Add(0x03).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x89, 'd', 'e', 'e', 'z', ' ', 'n', 'u', 't', 's' },
|
||||||
|
[]byte { 0x00, 0x01, 0x84, 'l', 'o', 'g', 'y' },
|
||||||
|
[]byte { 0x00, 0x02, 0x23, 0x00, 0x00, 0x80, 0x00 },
|
||||||
|
).Add(0x03).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x89, 'c', 'r', 'e', 'e', 'k', 'f', 'l', 'o', 'w' },
|
||||||
|
[]byte { 0x00, 0x01, 0x8C, 'i', 'm', ' ', 'c', 'r', 'e', 'e', 'k', 'f',
|
||||||
|
'l', 'o', 'w' },
|
||||||
|
[]byte { 0x00, 0x02, 0x23, 0x00, 0x00, 0x38, 0x94 },
|
||||||
|
))
|
||||||
|
log.Println("MessagePulse")
|
||||||
|
messagePulse := MessagePulse {
|
||||||
|
Index: 9,
|
||||||
|
Offset: -0x3521,
|
||||||
|
X: 45.375,
|
||||||
|
Y: 294.1,
|
||||||
|
Z: 384729384.234892034,
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messagePulse,
|
||||||
|
tu.S(0xE0, 0x05).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x09 },
|
||||||
|
[]byte { 0x00, 0x01, 0x41, 0xCA, 0xDF },
|
||||||
|
[]byte { 0x00, 0x02, 0x61, 0x51, 0xAC },
|
||||||
|
[]byte { 0x00, 0x03, 0x63, 0x43, 0x93, 0x0C, 0xCD },
|
||||||
|
[]byte { 0x00, 0x04, 0x67, 0x41, 0xB6, 0xEE, 0x81, 0x28, 0x3C, 0x21, 0xE2 },
|
||||||
|
))
|
||||||
|
log.Println("MessageNestedArray")
|
||||||
|
uint8s := func(n int) []uint8 {
|
||||||
|
array := make([]uint8, n)
|
||||||
|
for index := range array {
|
||||||
|
array[index] = uint8(index + 1) | 0xF0
|
||||||
|
}
|
||||||
|
return array
|
||||||
|
}
|
||||||
|
messageNestedArray := MessageNestedArray {
|
||||||
|
uint8s(6),
|
||||||
|
uint8s(35),
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messageNestedArray,
|
||||||
|
tu.S(0xC0, 0x02, 0xC0,
|
||||||
|
0x06, 0x20, 0xF1, 0xF2, 0xF3, 0xF4, 0xF5, 0xF6,
|
||||||
|
35, 0x20, 0xF1, 0xF2, 0xF3, 0xF4, 0xF5, 0xF6,
|
||||||
|
0xF7, 0xF8, 0xF9, 0xFA, 0xFB, 0xFC,
|
||||||
|
0xFD, 0xFE, 0xFF, 0xF0, 0xF1, 0xF2,
|
||||||
|
0xF3, 0xF4, 0xF5, 0xF6, 0xF7, 0xF8,
|
||||||
|
0xF9, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE,
|
||||||
|
0xFF, 0xF0, 0xF1, 0xF2, 0xF3))
|
||||||
|
log.Println("MessageIntegers")
|
||||||
|
messageIntegers := MessageIntegers {
|
||||||
|
U5: 0x13,
|
||||||
|
U8: 0xC9,
|
||||||
|
U16: 0x34C9,
|
||||||
|
U32: 0x10E134C9,
|
||||||
|
U64: 0x639109BC10E134C9,
|
||||||
|
I8: 0x35,
|
||||||
|
I16: 0x34C9,
|
||||||
|
I32: 0x10E134C9,
|
||||||
|
I64: 0x639109BC10E134C9,
|
||||||
|
NI8: -0x35,
|
||||||
|
NI16: -0x34C9,
|
||||||
|
NI32: -0x10E134C9,
|
||||||
|
NI64: -0x639109BC10E134C9,
|
||||||
|
Bool: true,
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messageIntegers,
|
||||||
|
tu.S(0xE0, 14).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x13 },
|
||||||
|
[]byte { 0x00, 0x01, 0x20, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x02, 0x21, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x03, 0x23, 0x10, 0xE1, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x04, 0x27, 0x63, 0x91, 0x09, 0xBC, 0x10, 0xE1, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x06, 0x40, 0x35 },
|
||||||
|
[]byte { 0x00, 0x07, 0x41, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x08, 0x43, 0x10, 0xE1, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x09, 0x47, 0x63, 0x91, 0x09, 0xBC, 0x10, 0xE1, 0x34, 0xC9 },
|
||||||
|
[]byte { 0x00, 0x0B, 0x40, 0xCB },
|
||||||
|
[]byte { 0x00, 0x0C, 0x41, 0xCB, 0x37 },
|
||||||
|
[]byte { 0x00, 0x0D, 0x43, 0xEF, 0x1E, 0xCB, 0x37 },
|
||||||
|
[]byte { 0x00, 0x0E, 0x47, 0x9C, 0x6E, 0xF6, 0x43, 0xEF, 0x1E, 0xCB, 0x37 },
|
||||||
|
[]byte { 0x00, 0x0F, 0x01 },
|
||||||
|
))
|
||||||
|
log.Println("MessageDynamic")
|
||||||
|
messageDynamic := MessageDynamic {
|
||||||
|
AU8: uint8(0x23),
|
||||||
|
AU16: uint16(0x3247),
|
||||||
|
AU32: uint32(0x87324523),
|
||||||
|
AU64: uint64(0x3284029034098234),
|
||||||
|
AI8: int8(0x23),
|
||||||
|
AI16: int16(0x3247),
|
||||||
|
AI32: int32(0x57324523),
|
||||||
|
AI64: int64(0x3284029034098234),
|
||||||
|
AF32: float32(2342.2378),
|
||||||
|
AF64: float64(324.8899992),
|
||||||
|
AString: "fox bed",
|
||||||
|
AArray: []int16 { 0x7, 0x6, 0x5, 0x4 },
|
||||||
|
ATable: map[uint16] any {
|
||||||
|
0x0001: int8(0x8),
|
||||||
|
0x0002: float64(4.4),
|
||||||
|
},
|
||||||
|
T0: map[uint16] any {
|
||||||
|
0x0001: float32(489.5),
|
||||||
|
0x0002: "hi",
|
||||||
|
0x0003: uint16(0x3992),
|
||||||
|
},
|
||||||
|
}
|
||||||
|
testEncodeDecode(
|
||||||
|
&messageDynamic,
|
||||||
|
tu.S(0xE0, 14).AddVar(
|
||||||
|
[]byte { 0x00, 0x00, 0x20, 0x23 },
|
||||||
|
[]byte { 0x00, 0x01, 0x21, 0x32, 0x47 },
|
||||||
|
[]byte { 0x00, 0x02, 0x23, 0x87, 0x32, 0x45, 0x23 },
|
||||||
|
[]byte { 0x00, 0x03, 0x27, 0x32, 0x84, 0x02, 0x90, 0x34, 0x09, 0x82, 0x34 },
|
||||||
|
[]byte { 0x00, 0x04, 0x40, 0x23 },
|
||||||
|
[]byte { 0x00, 0x05, 0x41, 0x32, 0x47 },
|
||||||
|
[]byte { 0x00, 0x06, 0x43, 0x57, 0x32, 0x45, 0x23 },
|
||||||
|
[]byte { 0x00, 0x07, 0x47, 0x32, 0x84, 0x02, 0x90, 0x34, 0x09, 0x82, 0x34 },
|
||||||
|
[]byte { 0x00, 0x08, 0x63, 0x45, 0x12, 0x63, 0xCE },
|
||||||
|
[]byte { 0x00, 0x09, 0x67, 0x40, 0x74, 0x4E, 0x3D, 0x6F, 0xCD, 0x17, 0x75 },
|
||||||
|
[]byte { 0x00, 0x0A, 0x87, 'f', 'o', 'x', ' ', 'b', 'e', 'd' },
|
||||||
|
[]byte { 0x00, 0x0B, 0xC0, 0x04, 0x41,
|
||||||
|
0x00, 0x07,
|
||||||
|
0x00, 0x06,
|
||||||
|
0x00, 0x05,
|
||||||
|
0x00, 0x04 },
|
||||||
|
[]byte { 0x00, 0x0C, 0xE0, 0x02,
|
||||||
|
0x00, 0x01, 0x40, 0x08,
|
||||||
|
0x00, 0x02, 0x67, 0x40, 0x11, 0x99, 0x99, 0x99, 0x99, 0x99, 0x9A },
|
||||||
|
[]byte { 0x00, 0x0D, 0xE0, 0x03, // ERR
|
||||||
|
0x00, 0x01, 0x63, 0x43, 0xF4, 0xC0, 0x00,
|
||||||
|
0x00, 0x02, 0x82, 'h', 'i',
|
||||||
|
0x00, 0x03, 0x21, 0x39, 0x92 },
|
||||||
|
))
|
||||||
|
`)
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestGenerateRunDecodeWrongType(test *testing.T) {
|
||||||
|
protocol := defaultProtocol()
|
||||||
|
protocol.Messages[0x0000] = Message {
|
||||||
|
Name: "Uint5",
|
||||||
|
Type: TypeInt { Bits: 5 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0001] = Message {
|
||||||
|
Name: "Uint8",
|
||||||
|
Type: TypeInt { Bits: 8 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0002] = Message {
|
||||||
|
Name: "Uint16",
|
||||||
|
Type: TypeInt { Bits: 16 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0003] = Message {
|
||||||
|
Name: "Uint32",
|
||||||
|
Type: TypeInt { Bits: 32 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0004] = Message {
|
||||||
|
Name: "Uint64",
|
||||||
|
Type: TypeInt { Bits: 64 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0005] = Message {
|
||||||
|
Name: "Int8",
|
||||||
|
Type: TypeInt { Bits: 8 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0006] = Message {
|
||||||
|
Name: "Int16",
|
||||||
|
Type: TypeInt { Bits: 16 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0007] = Message {
|
||||||
|
Name: "Int32",
|
||||||
|
Type: TypeInt { Bits: 32 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0008] = Message {
|
||||||
|
Name: "Int64",
|
||||||
|
Type: TypeInt { Bits: 64 },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x0009] = Message {
|
||||||
|
Name: "String",
|
||||||
|
Type: TypeString { },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x000A] = Message {
|
||||||
|
Name: "Buffer",
|
||||||
|
Type: TypeBuffer { },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x000B] = Message {
|
||||||
|
Name: "StringArray",
|
||||||
|
Type: TypeArray { Element: TypeString { } },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x000C] = Message {
|
||||||
|
Name: "Table",
|
||||||
|
Type: TypeTable { },
|
||||||
|
}
|
||||||
|
protocol.Messages[0x000D] = Message {
|
||||||
|
Name: "TableDefined",
|
||||||
|
Type: TypeTableDefined {
|
||||||
|
Fields: map[uint16] Field {
|
||||||
|
0x0000: Field { Name: "Name", Type: TypeString { } },
|
||||||
|
0x0001: Field { Name: "Password", Type: TypeString { } },
|
||||||
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
testGenerateRun(test, &protocol, "decode-wrong-type", `
|
||||||
|
// imports
|
||||||
|
`, `
|
||||||
|
datas := [][]byte {
|
||||||
|
/* int8 */ []byte { byte(tape.LSI.WithCN(0)), 0x45 },
|
||||||
|
/* int16 */ []byte { byte(tape.LSI.WithCN(1)), 0x45, 0x67 },
|
||||||
|
/* int32 */ []byte { byte(tape.LSI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB },
|
||||||
|
/* int64 */ []byte { byte(tape.LSI.WithCN(7)), 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23 },
|
||||||
|
/* uint5 */ []byte { byte(tape.SI.WithCN(12)) },
|
||||||
|
/* uint8 */ []byte { byte(tape.LI.WithCN(0)), 0x45 },
|
||||||
|
/* uint16 */ []byte { byte(tape.LI.WithCN(1)), 0x45, 0x67 },
|
||||||
|
/* uint32 */ []byte { byte(tape.LI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB },
|
||||||
|
/* uint64 */ []byte { byte(tape.LI.WithCN(7)), 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23 },
|
||||||
|
/* string */ []byte { byte(tape.SBA.WithCN(7)), 'p', 'u', 'p', 'e', 'v', 'e', 'r' },
|
||||||
|
/* []byte */ []byte { byte(tape.SBA.WithCN(5)), 'b', 'l', 'a', 'r', 'g' },
|
||||||
|
/* []string */ []byte {
|
||||||
|
byte(tape.OTA.WithCN(0)), 2, byte(tape.LBA.WithCN(0)),
|
||||||
|
0x08, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23,
|
||||||
|
0x05, 0x11, 0x11, 0x11, 0x11, 0x11,
|
||||||
|
},
|
||||||
|
/* map[uint16] any */ []byte {
|
||||||
|
byte(tape.KTV.WithCN(0)), 2,
|
||||||
|
0x02, 0x23, byte(tape.LSI.WithCN(1)), 0x45, 0x67,
|
||||||
|
0x02, 0x23, byte(tape.LI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB,
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
for index, data := range datas {
|
||||||
|
log.Printf("data %2d %v [%s]", index, tape.Tag(data[0]), tu.HexBytes(data[1:]))
|
||||||
|
// integers should only assign to other integers
|
||||||
|
if index > 8 {
|
||||||
|
cas := func(destination Message) {
|
||||||
|
n, err := destination.Decode(tape.NewDecoder(bytes.NewBuffer(data)))
|
||||||
|
if err != nil { log.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
reflectValue := reflect.ValueOf(destination).Elem()
|
||||||
|
if reflectValue.CanInt() {
|
||||||
|
if reflectValue.Int() != 0 {
|
||||||
|
log.Fatalf(
|
||||||
|
"destination not zero: %v",
|
||||||
|
reflectValue.Elem().Interface())
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
if reflectValue.Uint() != 0 {
|
||||||
|
log.Fatalf(
|
||||||
|
"destination not zero: %v",
|
||||||
|
reflectValue.Elem().Interface())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if n != len(data) {
|
||||||
|
log.Fatalf("n not equal: %d != %d", n, len(data))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
log.Println("- MessageInt8")
|
||||||
|
{ var dest MessageInt8; cas(&dest) }
|
||||||
|
log.Println("- MessageInt16")
|
||||||
|
{ var dest MessageInt16; cas(&dest) }
|
||||||
|
log.Println("- MessageInt32")
|
||||||
|
{ var dest MessageInt32; cas(&dest) }
|
||||||
|
log.Println("- MessageInt64")
|
||||||
|
{ var dest MessageInt64; cas(&dest) }
|
||||||
|
log.Println("- MessageUint8")
|
||||||
|
{ var dest MessageUint8; cas(&dest) }
|
||||||
|
log.Println("- MessageUint16")
|
||||||
|
{ var dest MessageUint16; cas(&dest) }
|
||||||
|
log.Println("- MessageUint32")
|
||||||
|
{ var dest MessageUint32; cas(&dest) }
|
||||||
|
log.Println("- MessageUint64")
|
||||||
|
{ var dest MessageUint64; cas(&dest) }
|
||||||
|
}
|
||||||
|
arrayCase := func(destination Message) {
|
||||||
|
n, err := destination.Decode(tape.NewDecoder(bytes.NewBuffer(data)),)
|
||||||
|
if err != nil { log.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
reflectDestination := reflect.ValueOf(destination)
|
||||||
|
reflectValue := reflectDestination.Elem()
|
||||||
|
if reflectValue.Len() != 0 {
|
||||||
|
log.Fatalf("len(destination) not zero: %v", reflectValue.Interface())
|
||||||
|
}
|
||||||
|
if n != len(data) {
|
||||||
|
log.Fatalf("n not equal: %d != %d", n, len(data))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
anyCase := func(destination Message) {
|
||||||
|
n, err := destination.Decode(tape.NewDecoder(bytes.NewBuffer(data)),)
|
||||||
|
if err != nil { log.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
reflectDestination := reflect.ValueOf(destination)
|
||||||
|
reflectValue := reflectDestination.Elem()
|
||||||
|
if reflectValue == reflect.Zero(reflectValue.Type()) {
|
||||||
|
log.Fatalf("len(destination) not zero: %v", reflectValue.Interface())
|
||||||
|
}
|
||||||
|
if n != len(data) {
|
||||||
|
log.Fatalf("n not equal: %d != %d", n, len(data))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
// SBA/LBA types should only assign to other SBA/LBA types
|
||||||
|
if index != 9 && index != 10 {
|
||||||
|
log.Println("- MessageString")
|
||||||
|
{ var dest MessageString; arrayCase(&dest) }
|
||||||
|
log.Println("- MessageBuffer")
|
||||||
|
{ var dest MessageBuffer; arrayCase(&dest) }
|
||||||
|
}
|
||||||
|
// arrays should only assign to other arrays
|
||||||
|
if index != 11 {
|
||||||
|
log.Println("- MessageStringArray")
|
||||||
|
{ var dest MessageStringArray; arrayCase(&dest) }
|
||||||
|
}
|
||||||
|
// tables should only assign to other tables
|
||||||
|
if index != 12 {
|
||||||
|
log.Println("- MessageTable")
|
||||||
|
{ var dest = make(MessageTable); arrayCase(&dest) }
|
||||||
|
log.Println("- MessageTableDefined")
|
||||||
|
{ var dest MessageTableDefined; anyCase(&dest) }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
`)
|
||||||
|
}
|
||||||
@@ -15,6 +15,7 @@ const (
|
|||||||
TokenRBrace
|
TokenRBrace
|
||||||
TokenLBracket
|
TokenLBracket
|
||||||
TokenRBracket
|
TokenRBracket
|
||||||
|
TokenComment
|
||||||
)
|
)
|
||||||
|
|
||||||
var tokenNames = map[parse.TokenKind] string {
|
var tokenNames = map[parse.TokenKind] string {
|
||||||
@@ -26,6 +27,7 @@ var tokenNames = map[parse.TokenKind] string {
|
|||||||
TokenRBrace: "RBrace",
|
TokenRBrace: "RBrace",
|
||||||
TokenLBracket: "LBracket",
|
TokenLBracket: "LBracket",
|
||||||
TokenRBracket: "RBracket",
|
TokenRBracket: "RBracket",
|
||||||
|
TokenComment: "Comment",
|
||||||
}
|
}
|
||||||
|
|
||||||
func Lex(fileName string, reader io.Reader) (parse.Lexer, error) {
|
func Lex(fileName string, reader io.Reader) (parse.Lexer, error) {
|
||||||
@@ -81,6 +83,18 @@ func (this *lexer) nextInternal() (token parse.Token, err error) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
unexpected := func() error {
|
||||||
|
if unicode.IsPrint(this.rune) {
|
||||||
|
return parse.Errorf (
|
||||||
|
this.pos(), "unexpected rune '%c'",
|
||||||
|
this.rune)
|
||||||
|
} else {
|
||||||
|
return parse.Errorf (
|
||||||
|
this.pos(), "unexpected rune %U",
|
||||||
|
this.rune)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
defer func () {
|
defer func () {
|
||||||
newPos := this.pos()
|
newPos := this.pos()
|
||||||
newPos.End -- // TODO figure out why tf we have to do this
|
newPos.End -- // TODO figure out why tf we have to do this
|
||||||
@@ -133,14 +147,21 @@ func (this *lexer) nextInternal() (token parse.Token, err error) {
|
|||||||
token.Kind = TokenRBracket
|
token.Kind = TokenRBracket
|
||||||
appendRune()
|
appendRune()
|
||||||
if this.eof { err = nil; return }
|
if this.eof { err = nil; return }
|
||||||
case unicode.IsPrint(this.rune):
|
// Comment
|
||||||
err = parse.Errorf (
|
case this.rune == '/':
|
||||||
this.pos(), "unexpected rune '%c'",
|
token.Kind = TokenComment
|
||||||
this.rune)
|
appendRune()
|
||||||
|
if this.eof { return }
|
||||||
|
if this.rune != '/' {
|
||||||
|
err = unexpected()
|
||||||
|
return
|
||||||
|
}
|
||||||
|
for this.rune != '\n' {
|
||||||
|
appendRune()
|
||||||
|
if this.eof { err = nil; return }
|
||||||
|
}
|
||||||
default:
|
default:
|
||||||
err = parse.Errorf (
|
err = unexpected()
|
||||||
this.pos(), "unexpected rune %U",
|
|
||||||
this.rune)
|
|
||||||
}
|
}
|
||||||
|
|
||||||
return
|
return
|
||||||
|
|||||||
@@ -6,14 +6,21 @@ import "git.tebibyte.media/sashakoshka/goparse"
|
|||||||
|
|
||||||
func TestLex(test *testing.T) {
|
func TestLex(test *testing.T) {
|
||||||
lexer, err := Lex("test.pdl", strings.NewReader(`
|
lexer, err := Lex("test.pdl", strings.NewReader(`
|
||||||
|
// User holds profile information about a single user.
|
||||||
M0001 User {
|
M0001 User {
|
||||||
0000 Name String,
|
0000 Name String,
|
||||||
|
// dog water comment
|
||||||
|
|
||||||
|
// Users is asdkjsagkj why
|
||||||
|
//
|
||||||
|
// wow
|
||||||
0001 Users []User,
|
0001 Users []User,
|
||||||
0002 Followers U32,
|
0002 Followers U32,
|
||||||
}`))
|
}`))
|
||||||
if err != nil { test.Fatal(parse.Format(err)) }
|
if err != nil { test.Fatal(parse.Format(err)) }
|
||||||
|
|
||||||
correctTokens := []parse.Token {
|
correctTokens := []parse.Token {
|
||||||
|
tok(TokenComment, "// User holds profile information about a single user."),
|
||||||
tok(TokenMethod, "0001"),
|
tok(TokenMethod, "0001"),
|
||||||
tok(TokenIdent, "User"),
|
tok(TokenIdent, "User"),
|
||||||
tok(TokenLBrace, "{"),
|
tok(TokenLBrace, "{"),
|
||||||
@@ -21,6 +28,10 @@ func TestLex(test *testing.T) {
|
|||||||
tok(TokenIdent, "Name"),
|
tok(TokenIdent, "Name"),
|
||||||
tok(TokenIdent, "String"),
|
tok(TokenIdent, "String"),
|
||||||
tok(TokenComma, ","),
|
tok(TokenComma, ","),
|
||||||
|
tok(TokenComment, "// dog water comment"),
|
||||||
|
tok(TokenComment, "// Users is asdkjsagkj why"),
|
||||||
|
tok(TokenComment, "// "),
|
||||||
|
tok(TokenComment, "// wow"),
|
||||||
tok(TokenKey, "0001"),
|
tok(TokenKey, "0001"),
|
||||||
tok(TokenIdent, "Users"),
|
tok(TokenIdent, "Users"),
|
||||||
tok(TokenLBracket, "["),
|
tok(TokenLBracket, "["),
|
||||||
|
|||||||
131
generate/misc_test.go
Normal file
131
generate/misc_test.go
Normal file
@@ -0,0 +1,131 @@
|
|||||||
|
package generate
|
||||||
|
|
||||||
|
import "os"
|
||||||
|
import "fmt"
|
||||||
|
import "os/exec"
|
||||||
|
import "testing"
|
||||||
|
import "path/filepath"
|
||||||
|
|
||||||
|
func testGenerateRun(test *testing.T, protocol *Protocol, title, imports, testCase string) {
|
||||||
|
// reset data directory
|
||||||
|
dir := filepath.Join("test", title)
|
||||||
|
err := os.RemoveAll(dir)
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
err = os.MkdirAll(dir, 0750)
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
|
||||||
|
// open files
|
||||||
|
sourceFile, err := os.Create(filepath.Join(dir, "protocol.go"))
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
defer sourceFile.Close()
|
||||||
|
mainFile, err := os.Create(filepath.Join(dir, "main.go"))
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
defer mainFile.Close()
|
||||||
|
|
||||||
|
// generate protocol
|
||||||
|
generator := Generator {
|
||||||
|
Output: sourceFile,
|
||||||
|
PackageName: "main",
|
||||||
|
}
|
||||||
|
_, err = generator.Generate(protocol)
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
|
||||||
|
// build static source files
|
||||||
|
imports = `
|
||||||
|
import "log"
|
||||||
|
import "bytes"
|
||||||
|
import "reflect"
|
||||||
|
import "git.tebibyte.media/sashakoshka/hopp/tape"
|
||||||
|
import tu "git.tebibyte.media/sashakoshka/hopp/internal/testutil"
|
||||||
|
` + imports
|
||||||
|
setup := `log.Println("*** BEGIN TEST CASE OUTPUT ***")`
|
||||||
|
teardown := `log.Println("--- END TEST CASE OUTPUT ---")`
|
||||||
|
static := `
|
||||||
|
func testEncode(message Message, correct tu.Snake) {
|
||||||
|
buffer := bytes.Buffer { }
|
||||||
|
encoder := tape.NewEncoder(&buffer)
|
||||||
|
n, err := message.Encode(encoder)
|
||||||
|
if err != nil { log.Fatalf("at %d: %v\n", n, err) }
|
||||||
|
encoder.Flush()
|
||||||
|
got := buffer.Bytes()
|
||||||
|
log.Printf("got: [%s]", tu.HexBytes(got))
|
||||||
|
log.Println("correct:", correct)
|
||||||
|
if n != len(got) {
|
||||||
|
log.Fatalf("n incorrect: %d != %d\n", n, len(got))
|
||||||
|
}
|
||||||
|
if ok, n := correct.Check(got); !ok {
|
||||||
|
log.Fatalln("not equal at", n)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func testDecode(correct Message, data any) {
|
||||||
|
var flat []byte
|
||||||
|
switch data := data.(type) {
|
||||||
|
case []byte: flat = data
|
||||||
|
case tu.Snake: flat = data.Flatten()
|
||||||
|
}
|
||||||
|
message := reflect.New(reflect.ValueOf(correct).Elem().Type()).Interface().(Message)
|
||||||
|
log.Println("before: ", message)
|
||||||
|
decoder := tape.NewDecoder(bytes.NewBuffer(flat))
|
||||||
|
n, err := message.Decode(decoder)
|
||||||
|
if err != nil { log.Fatalf("at %d: %v\n", n, err) }
|
||||||
|
log.Println("got: ", message)
|
||||||
|
log.Println("correct:", correct)
|
||||||
|
if n != len(flat) {
|
||||||
|
log.Fatalf("n incorrect: %d != %d\n", n, len(flat))
|
||||||
|
}
|
||||||
|
if !reflect.DeepEqual(message, correct) {
|
||||||
|
log.Fatalln("not equal")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// TODO: possibly combine the two above functions into this one,
|
||||||
|
// also take a data parameter here (snake)
|
||||||
|
func testEncodeDecode(message Message, data tu.Snake) {buffer := bytes.Buffer { }
|
||||||
|
log.Println("encoding:")
|
||||||
|
encoder := tape.NewEncoder(&buffer)
|
||||||
|
n, err := message.Encode(encoder)
|
||||||
|
if err != nil { log.Fatalf("at %d: %v\n", n, err) }
|
||||||
|
encoder.Flush()
|
||||||
|
got := buffer.Bytes()
|
||||||
|
log.Printf("got: [%s]", tu.HexBytes(got))
|
||||||
|
log.Println("correct:", data)
|
||||||
|
if n != len(got) {
|
||||||
|
log.Fatalf("n incorrect: %d != %d\n", n, len(got))
|
||||||
|
}
|
||||||
|
if ok, n := data.Check(got); !ok {
|
||||||
|
log.Fatalln("not equal at", n)
|
||||||
|
}
|
||||||
|
|
||||||
|
log.Println("decoding:")
|
||||||
|
destination := reflect.New(reflect.ValueOf(message).Elem().Type()).Interface().(Message)
|
||||||
|
flat := data.Flatten()
|
||||||
|
log.Println("before: ", tu.Describe(destination))
|
||||||
|
decoder := tape.NewDecoder(bytes.NewBuffer(flat))
|
||||||
|
n, err = destination.Decode(decoder)
|
||||||
|
if err != nil { log.Fatalf("at %d: %v\n", n, err) }
|
||||||
|
log.Println("got: ", tu.Describe(destination))
|
||||||
|
log.Println("correct:", tu.Describe(message))
|
||||||
|
if n != len(flat) {
|
||||||
|
log.Fatalf("n incorrect: %d != %d\n", n, len(flat))
|
||||||
|
}
|
||||||
|
if !reflect.DeepEqual(destination, message) {
|
||||||
|
log.Fatalln("not equal")
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
`
|
||||||
|
fmt.Fprintf(
|
||||||
|
mainFile, "package main\n%s\nfunc main() {\n%s\n%s\n%s\n}\n%s",
|
||||||
|
imports, setup, testCase, teardown, static)
|
||||||
|
|
||||||
|
// build and run test
|
||||||
|
command := exec.Command("go", "run", "./" + filepath.Join("generate", dir))
|
||||||
|
workingDirAbs, err := filepath.Abs("..")
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
command.Dir = workingDirAbs
|
||||||
|
command.Env = os.Environ()
|
||||||
|
output, err := command.CombinedOutput()
|
||||||
|
test.Logf("output of %v:\n%s", command, output)
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
}
|
||||||
@@ -1,6 +1,7 @@
|
|||||||
package generate
|
package generate
|
||||||
|
|
||||||
import "io"
|
import "io"
|
||||||
|
import "strings"
|
||||||
import "strconv"
|
import "strconv"
|
||||||
import "git.tebibyte.media/sashakoshka/goparse"
|
import "git.tebibyte.media/sashakoshka/goparse"
|
||||||
|
|
||||||
@@ -21,12 +22,12 @@ func Parse(lx parse.Lexer) (*Protocol, error) {
|
|||||||
func defaultProtocol() Protocol {
|
func defaultProtocol() Protocol {
|
||||||
return Protocol {
|
return Protocol {
|
||||||
Messages: make(map[uint16] Message),
|
Messages: make(map[uint16] Message),
|
||||||
Types: map[string] Type { },
|
Types: map[string] Typedef { },
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
func ParseReader(reader io.Reader) (*Protocol, error) {
|
func ParseReader(fileName string, reader io.Reader) (*Protocol, error) {
|
||||||
lx, err := Lex("test.pdl", reader)
|
lx, err := Lex(fileName, reader)
|
||||||
if err != nil { return nil, err }
|
if err != nil { return nil, err }
|
||||||
return Parse(lx)
|
return Parse(lx)
|
||||||
}
|
}
|
||||||
@@ -47,18 +48,28 @@ func (this *parser) parse() error {
|
|||||||
}
|
}
|
||||||
|
|
||||||
func (this *parser) parseTopLevel() error {
|
func (this *parser) parseTopLevel() error {
|
||||||
err := this.ExpectDesc("message or typedef", TokenMethod, TokenIdent)
|
doc := ""
|
||||||
|
for {
|
||||||
|
err := this.ExpectDesc("message or typedef", TokenMethod, TokenIdent, TokenComment)
|
||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
if this.EOF() { return nil }
|
if this.EOF() { return nil }
|
||||||
|
if this.Kind() == TokenComment {
|
||||||
|
if doc != "" { doc += "\n" }
|
||||||
|
doc += this.parseComment(this.Value())
|
||||||
|
this.Next()
|
||||||
|
} else {
|
||||||
|
break
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
switch this.Kind() {
|
switch this.Kind() {
|
||||||
case TokenMethod: return this.parseMessage()
|
case TokenMethod: return this.parseMessage(doc)
|
||||||
case TokenIdent: return this.parseTypedef()
|
case TokenIdent: return this.parseTypedef(doc)
|
||||||
}
|
}
|
||||||
panic("bug")
|
panic("bug")
|
||||||
}
|
}
|
||||||
|
|
||||||
func (this *parser) parseMessage() error {
|
func (this *parser) parseMessage(doc string) error {
|
||||||
err := this.Expect(TokenMethod)
|
err := this.Expect(TokenMethod)
|
||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
method, err := this.parseHexNumber(this.Value(), 0xFFFF)
|
method, err := this.parseHexNumber(this.Value(), 0xFFFF)
|
||||||
@@ -72,12 +83,13 @@ func (this *parser) parseMessage() error {
|
|||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
this.protocol.Messages[uint16(method)] = Message {
|
this.protocol.Messages[uint16(method)] = Message {
|
||||||
Name: name,
|
Name: name,
|
||||||
|
Doc: doc,
|
||||||
Type: typ,
|
Type: typ,
|
||||||
}
|
}
|
||||||
return nil
|
return nil
|
||||||
}
|
}
|
||||||
|
|
||||||
func (this *parser) parseTypedef() error {
|
func (this *parser) parseTypedef(doc string) error {
|
||||||
err := this.Expect(TokenIdent)
|
err := this.Expect(TokenIdent)
|
||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
name := this.Value()
|
name := this.Value()
|
||||||
@@ -85,7 +97,10 @@ func (this *parser) parseTypedef() error {
|
|||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
typ, err := this.parseType()
|
typ, err := this.parseType()
|
||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
this.protocol.Types[name] = typ
|
this.protocol.Types[name] = Typedef {
|
||||||
|
Doc: doc,
|
||||||
|
Type: typ,
|
||||||
|
}
|
||||||
return nil
|
return nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -95,6 +110,30 @@ func (this *parser) parseType() (Type, error) {
|
|||||||
|
|
||||||
switch this.Kind() {
|
switch this.Kind() {
|
||||||
case TokenIdent:
|
case TokenIdent:
|
||||||
|
switch this.Value() {
|
||||||
|
case "U8": return TypeInt { Bits: 8 }, this.Next()
|
||||||
|
case "U16": return TypeInt { Bits: 16 }, this.Next()
|
||||||
|
case "U32": return TypeInt { Bits: 32 }, this.Next()
|
||||||
|
case "U64": return TypeInt { Bits: 64 }, this.Next()
|
||||||
|
case "U128": return TypeInt { Bits: 128 }, this.Next()
|
||||||
|
case "U256": return TypeInt { Bits: 256 }, this.Next()
|
||||||
|
case "I8": return TypeInt { Bits: 8, Signed: true }, this.Next()
|
||||||
|
case "I16": return TypeInt { Bits: 16, Signed: true }, this.Next()
|
||||||
|
case "I32": return TypeInt { Bits: 32, Signed: true }, this.Next()
|
||||||
|
case "I64": return TypeInt { Bits: 64, Signed: true }, this.Next()
|
||||||
|
case "I128": return TypeInt { Bits: 128, Signed: true }, this.Next()
|
||||||
|
case "I256": return TypeInt { Bits: 256, Signed: true }, this.Next()
|
||||||
|
case "F16": return TypeFloat { Bits: 16 }, this.Next()
|
||||||
|
case "F32": return TypeFloat { Bits: 32 }, this.Next()
|
||||||
|
case "F64": return TypeFloat { Bits: 64 }, this.Next()
|
||||||
|
case "F128": return TypeFloat { Bits: 128 }, this.Next()
|
||||||
|
case "F256": return TypeFloat { Bits: 256 }, this.Next()
|
||||||
|
case "String": return TypeString { }, this.Next()
|
||||||
|
case "Buffer": return TypeBuffer { }, this.Next()
|
||||||
|
case "Table": return TypeTable { }, this.Next()
|
||||||
|
case "Any": return TypeAny { }, this.Next()
|
||||||
|
case "Bool": return TypeBool { }, this.Next()
|
||||||
|
}
|
||||||
return this.parseTypeNamed()
|
return this.parseTypeNamed()
|
||||||
case TokenLBracket:
|
case TokenLBracket:
|
||||||
return this.parseTypeArray()
|
return this.parseTypeArray()
|
||||||
@@ -134,12 +173,22 @@ func (this *parser) parseTypeTable() (TypeTableDefined, error) {
|
|||||||
Fields: make(map[uint16] Field),
|
Fields: make(map[uint16] Field),
|
||||||
}
|
}
|
||||||
for {
|
for {
|
||||||
err := this.ExpectDesc("table field", TokenKey, TokenRBrace)
|
doc := ""
|
||||||
|
for {
|
||||||
|
err := this.ExpectDesc("table field", TokenKey, TokenRBrace, TokenComment)
|
||||||
if err != nil { return TypeTableDefined { }, err }
|
if err != nil { return TypeTableDefined { }, err }
|
||||||
|
if this.Kind() == TokenComment {
|
||||||
|
if doc != "" { doc += "\n" }
|
||||||
|
doc += this.parseComment(this.Value())
|
||||||
|
this.Next()
|
||||||
|
} else {
|
||||||
|
break
|
||||||
|
}
|
||||||
|
}
|
||||||
if this.Is(TokenRBrace) {
|
if this.Is(TokenRBrace) {
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
key, field, err := this.parseField()
|
key, field, err := this.parseField(doc)
|
||||||
if err != nil { return TypeTableDefined { }, err }
|
if err != nil { return TypeTableDefined { }, err }
|
||||||
typ.Fields[key] = field
|
typ.Fields[key] = field
|
||||||
err = this.Expect(TokenComma, TokenRBrace)
|
err = this.Expect(TokenComma, TokenRBrace)
|
||||||
@@ -155,7 +204,7 @@ func (this *parser) parseTypeTable() (TypeTableDefined, error) {
|
|||||||
return typ, nil
|
return typ, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
func (this *parser) parseField() (uint16, Field, error) {
|
func (this *parser) parseField(doc string) (uint16, Field, error) {
|
||||||
err := this.Expect(TokenKey)
|
err := this.Expect(TokenKey)
|
||||||
if err != nil { return 0, Field { }, err }
|
if err != nil { return 0, Field { }, err }
|
||||||
key, err := this.parseHexNumber(this.Value(), 0xFFFF)
|
key, err := this.parseHexNumber(this.Value(), 0xFFFF)
|
||||||
@@ -169,6 +218,7 @@ func (this *parser) parseField() (uint16, Field, error) {
|
|||||||
if err != nil { return 0, Field { }, err }
|
if err != nil { return 0, Field { }, err }
|
||||||
return uint16(key), Field {
|
return uint16(key), Field {
|
||||||
Name: name,
|
Name: name,
|
||||||
|
Doc: doc,
|
||||||
Type: typ,
|
Type: typ,
|
||||||
}, nil
|
}, nil
|
||||||
}
|
}
|
||||||
@@ -183,3 +233,7 @@ func (this *parser) parseHexNumber(input string, maxValue int64) (int64, error)
|
|||||||
}
|
}
|
||||||
return number, nil
|
return number, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *parser) parseComment(input string) string {
|
||||||
|
return strings.TrimPrefix(strings.TrimPrefix(input, "//"), " ")
|
||||||
|
}
|
||||||
|
|||||||
@@ -9,45 +9,63 @@ func TestParse(test *testing.T) {
|
|||||||
correct := defaultProtocol()
|
correct := defaultProtocol()
|
||||||
correct.Messages[0x0000] = Message {
|
correct.Messages[0x0000] = Message {
|
||||||
Name: "Connect",
|
Name: "Connect",
|
||||||
|
Doc: "Connect is sent from the client to the server as the first message of an\nauthenticated transaction.",
|
||||||
Type: TypeTableDefined {
|
Type: TypeTableDefined {
|
||||||
Fields: map[uint16] Field {
|
Fields: map[uint16] Field {
|
||||||
0x0000: Field { Name: "Name", Type: TypeNamed { Name: "String" } },
|
0x0000: Field { Name: "Name", Type: TypeString { } },
|
||||||
0x0001: Field { Name: "Password", Type: TypeNamed { Name: "String" } },
|
0x0001: Field { Name: "Password", Type: TypeString { } },
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
correct.Messages[0x0001] = Message {
|
correct.Messages[0x0001] = Message {
|
||||||
Name: "UserList",
|
Name: "UserList",
|
||||||
|
Doc: "UserList is sent from the server to the client in response to a Connect\nmessage.",
|
||||||
Type: TypeTableDefined {
|
Type: TypeTableDefined {
|
||||||
Fields: map[uint16] Field {
|
Fields: map[uint16] Field {
|
||||||
0x0000: Field { Name: "Users", Type: TypeArray { Element: TypeNamed { Name: "User" } } },
|
0x0000: Field { Name: "Users", Type: TypeArray { Element: TypeNamed { Name: "User" } } },
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
correct.Types["User"] = TypeTableDefined {
|
correct.Types["User"] = Typedef {
|
||||||
|
Doc: "User holds profile information about a single user.",
|
||||||
|
Type: TypeTableDefined {
|
||||||
Fields: map[uint16] Field {
|
Fields: map[uint16] Field {
|
||||||
0x0000: Field { Name: "Name", Type: TypeNamed { Name: "String" } },
|
0x0000: Field { Name: "Name", Type: TypeString { } },
|
||||||
0x0001: Field { Name: "Bio", Type: TypeNamed { Name: "String" } },
|
0x0001: Field { Name: "Bio", Type: TypeString { } },
|
||||||
0x0002: Field { Name: "Followers", Type: TypeNamed { Name: "U32" } },
|
0x0002: Field { Name: "Followers", Type: TypeInt { Bits: 32 } },
|
||||||
|
0x0003: Field { Name: "Bouncy", Type: TypeBool { } },
|
||||||
},
|
},
|
||||||
|
},
|
||||||
|
}
|
||||||
|
correct.Types["Anything"] = Typedef {
|
||||||
|
Type: TypeAny { },
|
||||||
}
|
}
|
||||||
test.Log("CORRECT:", &correct)
|
test.Log("CORRECT:", &correct)
|
||||||
|
|
||||||
got, err := ParseReader(strings.NewReader(`
|
got, err := ParseReader("test.pdl", strings.NewReader(`
|
||||||
|
// Connect is sent from the client to the server as the first message of an
|
||||||
|
// authenticated transaction.
|
||||||
M0000 Connect {
|
M0000 Connect {
|
||||||
0000 Name String,
|
0000 Name String,
|
||||||
|
// Password is where you put your secrets, your shameful secrets
|
||||||
0001 Password String,
|
0001 Password String,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// UserList is sent from the server to the client in response to a Connect
|
||||||
|
// message.
|
||||||
M0001 UserList {
|
M0001 UserList {
|
||||||
0000 Users []User,
|
0000 Users []User,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// User holds profile information about a single user.
|
||||||
User {
|
User {
|
||||||
0000 Name String,
|
0000 Name String,
|
||||||
0001 Bio String,
|
0001 Bio String,
|
||||||
0002 Followers U32,
|
0002 Followers U32,
|
||||||
|
0003 Bouncy Bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Anything Any
|
||||||
`))
|
`))
|
||||||
if err != nil { test.Fatal(parse.Format(err)) }
|
if err != nil { test.Fatal(parse.Format(err)) }
|
||||||
test.Log("GOT: ", got)
|
test.Log("GOT: ", got)
|
||||||
|
|||||||
@@ -1,17 +1,28 @@
|
|||||||
package generate
|
package generate
|
||||||
|
|
||||||
|
import "fmt"
|
||||||
|
import "maps"
|
||||||
|
import "slices"
|
||||||
|
import "crypto/md5"
|
||||||
|
|
||||||
type Protocol struct {
|
type Protocol struct {
|
||||||
Messages map[uint16] Message
|
Messages map[uint16] Message
|
||||||
Types map[string] Type
|
Types map[string] Typedef
|
||||||
}
|
}
|
||||||
|
|
||||||
type Message struct {
|
type Message struct {
|
||||||
Name string
|
Name string
|
||||||
|
Doc string
|
||||||
|
Type Type
|
||||||
|
}
|
||||||
|
|
||||||
|
type Typedef struct {
|
||||||
|
Doc string
|
||||||
Type Type
|
Type Type
|
||||||
}
|
}
|
||||||
|
|
||||||
type Type interface {
|
type Type interface {
|
||||||
|
fmt.Stringer
|
||||||
}
|
}
|
||||||
|
|
||||||
type TypeInt struct {
|
type TypeInt struct {
|
||||||
@@ -19,29 +30,97 @@ type TypeInt struct {
|
|||||||
Signed bool
|
Signed bool
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (typ TypeInt) String() string {
|
||||||
|
output := ""
|
||||||
|
if typ.Signed {
|
||||||
|
output += "I"
|
||||||
|
} else {
|
||||||
|
output += "U"
|
||||||
|
}
|
||||||
|
output += fmt.Sprint(typ.Bits)
|
||||||
|
return output
|
||||||
|
}
|
||||||
|
|
||||||
type TypeFloat struct {
|
type TypeFloat struct {
|
||||||
Bits int
|
Bits int
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (typ TypeFloat) String() string {
|
||||||
|
return fmt.Sprintf("F%d", typ.Bits)
|
||||||
|
}
|
||||||
|
|
||||||
|
type TypeBool struct { }
|
||||||
|
|
||||||
|
func (TypeBool) String() string {
|
||||||
|
return "Bool"
|
||||||
|
}
|
||||||
|
|
||||||
type TypeString struct { }
|
type TypeString struct { }
|
||||||
|
|
||||||
|
func (TypeString) String() string {
|
||||||
|
return "String"
|
||||||
|
}
|
||||||
|
|
||||||
type TypeBuffer struct { }
|
type TypeBuffer struct { }
|
||||||
|
|
||||||
|
func (TypeBuffer) String() string {
|
||||||
|
return "Buffer"
|
||||||
|
}
|
||||||
|
|
||||||
type TypeArray struct {
|
type TypeArray struct {
|
||||||
Element Type
|
Element Type
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (typ TypeArray) String() string {
|
||||||
|
return fmt.Sprintf("[]%v", typ.Element)
|
||||||
|
}
|
||||||
|
|
||||||
type TypeTable struct { }
|
type TypeTable struct { }
|
||||||
|
|
||||||
|
func (TypeTable) String() string {
|
||||||
|
return "Table"
|
||||||
|
}
|
||||||
|
|
||||||
type TypeTableDefined struct {
|
type TypeTableDefined struct {
|
||||||
Fields map[uint16] Field
|
Fields map[uint16] Field
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (typ TypeTableDefined) String() string {
|
||||||
|
output := "{"
|
||||||
|
for _, key := range slices.Sorted(maps.Keys(typ.Fields)) {
|
||||||
|
output += fmt.Sprintf("%04X %v", key, typ.Fields[key])
|
||||||
|
}
|
||||||
|
output += "}"
|
||||||
|
return output
|
||||||
|
}
|
||||||
|
|
||||||
type Field struct {
|
type Field struct {
|
||||||
Name string
|
Name string
|
||||||
|
Doc string
|
||||||
Type Type
|
Type Type
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (field Field) String() string {
|
||||||
|
return fmt.Sprintf("%s %v", field.Name, field.Type)
|
||||||
|
}
|
||||||
|
|
||||||
type TypeNamed struct {
|
type TypeNamed struct {
|
||||||
Name string
|
Name string
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (typ TypeNamed) String() string {
|
||||||
|
return typ.Name
|
||||||
|
}
|
||||||
|
|
||||||
|
type TypeAny struct { }
|
||||||
|
|
||||||
|
func (typ TypeAny) String() string {
|
||||||
|
return "Any"
|
||||||
|
}
|
||||||
|
|
||||||
|
func HashType(typ Type) [16]byte {
|
||||||
|
// TODO: if we ever want to make the compiler more efficient, this would
|
||||||
|
// be a good place to start, complex string concatenation in a hot path
|
||||||
|
// (sorta)
|
||||||
|
return md5.Sum([]byte(typ.String()))
|
||||||
|
}
|
||||||
|
|||||||
1
go.mod
1
go.mod
@@ -3,6 +3,7 @@ module git.tebibyte.media/sashakoshka/hopp
|
|||||||
go 1.23.0
|
go 1.23.0
|
||||||
|
|
||||||
require (
|
require (
|
||||||
|
git.tebibyte.media/sashakoshka/go-cli v0.1.3
|
||||||
git.tebibyte.media/sashakoshka/go-util v0.9.1
|
git.tebibyte.media/sashakoshka/go-util v0.9.1
|
||||||
git.tebibyte.media/sashakoshka/goparse v0.2.0
|
git.tebibyte.media/sashakoshka/goparse v0.2.0
|
||||||
)
|
)
|
||||||
|
|||||||
2
go.sum
2
go.sum
@@ -1,3 +1,5 @@
|
|||||||
|
git.tebibyte.media/sashakoshka/go-cli v0.1.3 h1:tSkWjyx2JrGu6KotbXWSTKSYGGS1D4O3qwCrRoZuwbs=
|
||||||
|
git.tebibyte.media/sashakoshka/go-cli v0.1.3/go.mod h1:JFA3wSdRkXxa4iQJWHfe3DokiG7Dh2XUJBzPmuVlbuY=
|
||||||
git.tebibyte.media/sashakoshka/go-util v0.9.1 h1:eGAbLwYhOlh4aq/0w+YnJcxT83yPhXtxnYMzz6K7xGo=
|
git.tebibyte.media/sashakoshka/go-util v0.9.1 h1:eGAbLwYhOlh4aq/0w+YnJcxT83yPhXtxnYMzz6K7xGo=
|
||||||
git.tebibyte.media/sashakoshka/go-util v0.9.1/go.mod h1:0Q1t+PePdx6tFYkRuJNcpM1Mru7wE6X+it1kwuOH+6Y=
|
git.tebibyte.media/sashakoshka/go-util v0.9.1/go.mod h1:0Q1t+PePdx6tFYkRuJNcpM1Mru7wE6X+it1kwuOH+6Y=
|
||||||
git.tebibyte.media/sashakoshka/goparse v0.2.0 h1:uQmKvOCV2AOlCHEDjg9uclZCXQZzq2PxaXfZ1aIMiQI=
|
git.tebibyte.media/sashakoshka/goparse v0.2.0 h1:uQmKvOCV2AOlCHEDjg9uclZCXQZzq2PxaXfZ1aIMiQI=
|
||||||
|
|||||||
@@ -2,7 +2,9 @@ package testutil
|
|||||||
|
|
||||||
import "fmt"
|
import "fmt"
|
||||||
import "slices"
|
import "slices"
|
||||||
|
import "reflect"
|
||||||
import "strings"
|
import "strings"
|
||||||
|
import "unicode"
|
||||||
|
|
||||||
// Snake lets you compare blocks of data where the ordering of certain parts may
|
// Snake lets you compare blocks of data where the ordering of certain parts may
|
||||||
// be swapped every which way. It is designed for comparing the encoding of
|
// be swapped every which way. It is designed for comparing the encoding of
|
||||||
@@ -63,6 +65,18 @@ func (sn Snake) Check(data []byte) (ok bool, n int) {
|
|||||||
return true, n
|
return true, n
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Flatten returns the snake flattened to a byte array. The result of this
|
||||||
|
// function always satisfies the snake.
|
||||||
|
func (sn Snake) Flatten() []byte {
|
||||||
|
flat := []byte { }
|
||||||
|
for _, sector := range sn {
|
||||||
|
for _, variation := range sector {
|
||||||
|
flat = append(flat, variation...)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return flat
|
||||||
|
}
|
||||||
|
|
||||||
func (sn Snake) String() string {
|
func (sn Snake) String() string {
|
||||||
if len(sn) == 0 || len(sn[0]) == 0 || len(sn[0][0]) == 0 {
|
if len(sn) == 0 || len(sn[0]) == 0 || len(sn[0][0]) == 0 {
|
||||||
return "EMPTY"
|
return "EMPTY"
|
||||||
@@ -92,3 +106,85 @@ func HexBytes(data []byte) string {
|
|||||||
}
|
}
|
||||||
return out.String()
|
return out.String()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Describe returns a string representing the type and data of the given value.
|
||||||
|
func Describe(value any) string {
|
||||||
|
desc := describer { }
|
||||||
|
desc.describe(reflect.ValueOf(value))
|
||||||
|
return desc.String()
|
||||||
|
}
|
||||||
|
|
||||||
|
type describer struct {
|
||||||
|
strings.Builder
|
||||||
|
indent int
|
||||||
|
}
|
||||||
|
|
||||||
|
func (this *describer) describe(value reflect.Value) {
|
||||||
|
if !value.IsValid() {
|
||||||
|
this.printf("<invalid>")
|
||||||
|
return
|
||||||
|
}
|
||||||
|
value = reflect.ValueOf(value.Interface())
|
||||||
|
if !value.IsValid() {
|
||||||
|
this.printf("<invalid>")
|
||||||
|
return
|
||||||
|
}
|
||||||
|
switch value.Kind() {
|
||||||
|
case reflect.Array, reflect.Slice:
|
||||||
|
this.printf("[\n")
|
||||||
|
this.indent += 1
|
||||||
|
for index := 0; index < value.Len(); index ++ {
|
||||||
|
this.iprintf("")
|
||||||
|
this.describe(value.Index(index))
|
||||||
|
this.iprintf("\n")
|
||||||
|
}
|
||||||
|
this.indent -= 1
|
||||||
|
this.iprintf("]")
|
||||||
|
case reflect.Struct:
|
||||||
|
this.printf("struct {\n")
|
||||||
|
this.indent += 1
|
||||||
|
typ := value.Type()
|
||||||
|
for index := range typ.NumField() {
|
||||||
|
indexBuffer := [1]int { index }
|
||||||
|
field := typ.Field(index)
|
||||||
|
this.iprintf("%s: ", field.Name)
|
||||||
|
for _, char := range field.Name {
|
||||||
|
if unicode.IsUpper(char) {
|
||||||
|
this.describe(value.FieldByIndex(indexBuffer[:]))
|
||||||
|
} else {
|
||||||
|
this.printf("<private>")
|
||||||
|
}
|
||||||
|
break
|
||||||
|
}
|
||||||
|
this.iprintf("\n")
|
||||||
|
}
|
||||||
|
this.indent -= 1
|
||||||
|
this.iprintf("}")
|
||||||
|
case reflect.Map:
|
||||||
|
this.printf("map {\n")
|
||||||
|
this.indent += 1
|
||||||
|
iter := value.MapRange()
|
||||||
|
for iter.Next() {
|
||||||
|
this.iprintf("")
|
||||||
|
this.describe(iter.Key())
|
||||||
|
this.printf(": ")
|
||||||
|
this.describe(iter.Value())
|
||||||
|
this.iprintf("\n")
|
||||||
|
}
|
||||||
|
this.indent -= 1
|
||||||
|
this.iprintf("}")
|
||||||
|
case reflect.Pointer:
|
||||||
|
this.printf("& ")
|
||||||
|
this.describe(value.Elem())
|
||||||
|
default:
|
||||||
|
this.printf("<%v %v>", value.Type(), value.Interface())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func (this *describer) printf(format string, v ...any) {
|
||||||
|
fmt.Fprintf(this, format, v...)
|
||||||
|
}
|
||||||
|
|
||||||
|
func (this *describer) iprintf(format string, v ...any) {
|
||||||
|
fmt.Fprintf(this, strings.Repeat("\t", this.indent) + format, v...)
|
||||||
|
}
|
||||||
|
|||||||
52
message.go
52
message.go
@@ -1,52 +0,0 @@
|
|||||||
package hopp
|
|
||||||
|
|
||||||
import "fmt"
|
|
||||||
import "encoding"
|
|
||||||
import "git.tebibyte.media/sashakoshka/hopp/tape"
|
|
||||||
|
|
||||||
// Message is any object that can be sent or received over a HOPP connection.
|
|
||||||
type Message interface {
|
|
||||||
// Method returns the method number of the message. This must be unique
|
|
||||||
// within the protocol, and should not change between calls.
|
|
||||||
Method() uint16
|
|
||||||
encoding.BinaryMarshaler
|
|
||||||
encoding.BinaryUnmarshaler
|
|
||||||
}
|
|
||||||
|
|
||||||
var _ Message = new(MessageData)
|
|
||||||
|
|
||||||
// MessageData represents a message that organizes its data into table pairs. It
|
|
||||||
// can be used to alter a protocol at runtime, transmit data with arbitrary
|
|
||||||
// keys, etc. Bear in mind that is less performant than generating code because
|
|
||||||
// it has to make extra memory allocations and such.
|
|
||||||
type MessageData struct {
|
|
||||||
// Methd holds the method number. This should only be set once.
|
|
||||||
Methd uint16
|
|
||||||
// Pairs maps tags to values.
|
|
||||||
Pairs map[uint16] []byte
|
|
||||||
}
|
|
||||||
|
|
||||||
// Method returns the message's method field.
|
|
||||||
func (this *MessageData) Method() uint16 {
|
|
||||||
return this.Methd
|
|
||||||
}
|
|
||||||
|
|
||||||
// MarshalBinary implements the [encoding.BinaryMarshaler] interface. The
|
|
||||||
// message is encoded using TAPE (Table Pair Encoding).
|
|
||||||
func (this *MessageData) MarshalBinary() ([]byte, error) {
|
|
||||||
buffer, err := tape.EncodePairs(this.Pairs)
|
|
||||||
if err != nil { return nil, fmt.Errorf("marshaling MessageData: %w", err) }
|
|
||||||
return buffer, nil
|
|
||||||
}
|
|
||||||
|
|
||||||
// UnmarshalBinary implements the [encoding.BinaryUnmarshaler] interface. The
|
|
||||||
// message is decoded using TAPE (Table Pair Encoding).
|
|
||||||
func (this *MessageData) UnmarshalBinary(buffer []byte) error {
|
|
||||||
this.Pairs = make(map[uint16] []byte)
|
|
||||||
pairs, err := tape.DecodePairs(buffer)
|
|
||||||
if err != nil { return fmt.Errorf("unmarshaling MessageData: %w", err) }
|
|
||||||
for key, value := range pairs {
|
|
||||||
this.Pairs[key] = value
|
|
||||||
}
|
|
||||||
return nil
|
|
||||||
}
|
|
||||||
88
metadapta.go
88
metadapta.go
@@ -1,11 +1,12 @@
|
|||||||
package hopp
|
package hopp
|
||||||
|
|
||||||
import "io"
|
import "io"
|
||||||
|
import "os"
|
||||||
import "fmt"
|
import "fmt"
|
||||||
import "net"
|
import "net"
|
||||||
import "sync"
|
import "sync"
|
||||||
|
import "time"
|
||||||
import "sync/atomic"
|
import "sync/atomic"
|
||||||
import "git.tebibyte.media/sashakoshka/hopp/tape"
|
|
||||||
import "git.tebibyte.media/sashakoshka/go-util/sync"
|
import "git.tebibyte.media/sashakoshka/go-util/sync"
|
||||||
|
|
||||||
// TODO investigate why 30 never reaches the server, causing it to wait for ever
|
// TODO investigate why 30 never reaches the server, causing it to wait for ever
|
||||||
@@ -109,6 +110,10 @@ func (this *a) AcceptTrans() (Trans, error) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *a) SetDeadline(t time.Time) error {
|
||||||
|
return this.underlying.SetDeadline(t)
|
||||||
|
}
|
||||||
|
|
||||||
func (this *a) SetSizeLimit(limit int64) {
|
func (this *a) SetSizeLimit(limit int64) {
|
||||||
this.sizeLimit = limit
|
this.sizeLimit = limit
|
||||||
}
|
}
|
||||||
@@ -213,6 +218,10 @@ type transA struct {
|
|||||||
currentWriter io.Closer
|
currentWriter io.Closer
|
||||||
writeBuffer []byte
|
writeBuffer []byte
|
||||||
closed atomic.Bool
|
closed atomic.Bool
|
||||||
|
closeErr error
|
||||||
|
|
||||||
|
deadline *time.Timer
|
||||||
|
deadlineLock sync.Mutex
|
||||||
}
|
}
|
||||||
|
|
||||||
func (this *transA) Close() error {
|
func (this *transA) Close() error {
|
||||||
@@ -222,6 +231,11 @@ func (this *transA) Close() error {
|
|||||||
return err
|
return err
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *transA) closeWithError(err error) error {
|
||||||
|
this.closeErr = err
|
||||||
|
return this.Close()
|
||||||
|
}
|
||||||
|
|
||||||
func (this *transA) closeDontUnlist() (err error) {
|
func (this *transA) closeDontUnlist() (err error) {
|
||||||
// MUST be goroutine safe
|
// MUST be goroutine safe
|
||||||
this.incoming.Close()
|
this.incoming.Close()
|
||||||
@@ -270,9 +284,9 @@ func (this *transA) Receive() (method uint16, data []byte, err error) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
func (this *transA) ReceiveReader() (uint16, io.Reader, error) {
|
func (this *transA) ReceiveReader() (uint16, io.Reader, error) {
|
||||||
// if the transaction has been closed, return an io.EOF
|
// if the transaction has been closed, return an appropriate error.
|
||||||
if this.closed.Load() {
|
if err := this.errIfClosed(); err != nil {
|
||||||
return 0, nil, io.EOF
|
return 0, nil, err
|
||||||
}
|
}
|
||||||
|
|
||||||
// drain previous reader if necessary
|
// drain previous reader if necessary
|
||||||
@@ -290,6 +304,54 @@ func (this *transA) ReceiveReader() (uint16, io.Reader, error) {
|
|||||||
return method, reader, nil
|
return method, reader, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *transA) SetDeadline(t time.Time) error {
|
||||||
|
this.deadlineLock.Lock()
|
||||||
|
defer this.deadlineLock.Unlock()
|
||||||
|
|
||||||
|
if t == (time.Time { }) {
|
||||||
|
if this.deadline != nil {
|
||||||
|
this.deadline.Stop()
|
||||||
|
}
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
until := time.Until(t)
|
||||||
|
if this.deadline == nil {
|
||||||
|
this.deadline.Reset(until)
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
this.deadline = time.AfterFunc(until, func () {
|
||||||
|
this.closeWithError(os.ErrDeadlineExceeded)
|
||||||
|
})
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// TODO
|
||||||
|
// func (this *transA) SetReadDeadline(t time.Time) error {
|
||||||
|
// // TODO
|
||||||
|
// }
|
||||||
|
//
|
||||||
|
// func (this *transA) SetWriteDeadline(t time.Time) error {
|
||||||
|
// // TODO
|
||||||
|
// }
|
||||||
|
|
||||||
|
func (this *transA) errIfClosed() error {
|
||||||
|
if !this.closed.Load() {
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
return this.bestErr()
|
||||||
|
}
|
||||||
|
|
||||||
|
func (this *transA) bestErr() error {
|
||||||
|
if this.parent.err != nil {
|
||||||
|
return this.parent.err
|
||||||
|
}
|
||||||
|
if this.closeErr != nil {
|
||||||
|
return this.closeErr
|
||||||
|
}
|
||||||
|
return io.EOF
|
||||||
|
}
|
||||||
|
|
||||||
type readerA struct {
|
type readerA struct {
|
||||||
parent *transA
|
parent *transA
|
||||||
leftover []byte
|
leftover []byte
|
||||||
@@ -320,11 +382,7 @@ func (this *readerA) pull() (uint16, error) {
|
|||||||
// close and return error on failure
|
// close and return error on failure
|
||||||
this.eof = true
|
this.eof = true
|
||||||
this.parent.Close()
|
this.parent.Close()
|
||||||
if this.parent.parent.err == nil {
|
return 0, fmt.Errorf("could not receive message: %w", this.parent.bestErr())
|
||||||
return 0, fmt.Errorf("could not receive message: %w", io.EOF)
|
|
||||||
} else {
|
|
||||||
return 0, this.parent.parent.err
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
func (this *readerA) Read(buffer []byte) (int, error) {
|
func (this *readerA) Read(buffer []byte) (int, error) {
|
||||||
@@ -406,9 +464,9 @@ func encodeMessageA(
|
|||||||
return ErrPayloadTooLarge
|
return ErrPayloadTooLarge
|
||||||
}
|
}
|
||||||
buffer := make([]byte, 18 + len(data))
|
buffer := make([]byte, 18 + len(data))
|
||||||
tape.EncodeI64(buffer[:8], trans)
|
encodeI64(buffer[:8], trans)
|
||||||
tape.EncodeI16(buffer[8:10], method)
|
encodeI16(buffer[8:10], method)
|
||||||
tape.EncodeI64(buffer[10:18], uint64(len(data)))
|
encodeI64(buffer[10:18], uint64(len(data)))
|
||||||
copy(buffer[18:], data)
|
copy(buffer[18:], data)
|
||||||
_, err := writer.Write(buffer)
|
_, err := writer.Write(buffer)
|
||||||
return err
|
return err
|
||||||
@@ -427,11 +485,11 @@ func decodeMessageA(
|
|||||||
headerBuffer := [18]byte { }
|
headerBuffer := [18]byte { }
|
||||||
_, err = io.ReadFull(reader, headerBuffer[:])
|
_, err = io.ReadFull(reader, headerBuffer[:])
|
||||||
if err != nil { return 0, 0, false, nil, err }
|
if err != nil { return 0, 0, false, nil, err }
|
||||||
transID, err = tape.DecodeI64[int64](headerBuffer[:8])
|
transID, err = decodeI64[int64](headerBuffer[:8])
|
||||||
if err != nil { return 0, 0, false, nil, err }
|
if err != nil { return 0, 0, false, nil, err }
|
||||||
method, err = tape.DecodeI16[uint16](headerBuffer[8:10])
|
method, err = decodeI16[uint16](headerBuffer[8:10])
|
||||||
if err != nil { return 0, 0, false, nil, err }
|
if err != nil { return 0, 0, false, nil, err }
|
||||||
size, err := tape.DecodeI64[uint64](headerBuffer[10:18])
|
size, err := decodeI64[uint64](headerBuffer[10:18])
|
||||||
if err != nil { return 0, 0, false, nil, err }
|
if err != nil { return 0, 0, false, nil, err }
|
||||||
chunked, size = splitCCBSize(size)
|
chunked, size = splitCCBSize(size)
|
||||||
if size > uint64(sizeLimit) {
|
if size > uint64(sizeLimit) {
|
||||||
|
|||||||
22
metadaptb.go
22
metadaptb.go
@@ -2,10 +2,10 @@ package hopp
|
|||||||
|
|
||||||
import "io"
|
import "io"
|
||||||
import "net"
|
import "net"
|
||||||
|
import "time"
|
||||||
import "bytes"
|
import "bytes"
|
||||||
import "errors"
|
import "errors"
|
||||||
import "context"
|
import "context"
|
||||||
import "git.tebibyte.media/sashakoshka/hopp/tape"
|
|
||||||
|
|
||||||
// B implements METADAPT-B over a multiplexed stream-oriented transport such as
|
// B implements METADAPT-B over a multiplexed stream-oriented transport such as
|
||||||
// QUIC.
|
// QUIC.
|
||||||
@@ -51,6 +51,10 @@ func (this *b) SetSizeLimit(limit int64) {
|
|||||||
this.sizeLimit = limit
|
this.sizeLimit = limit
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *b) SetDeadline(t time.Time) error {
|
||||||
|
return this.underlying.SetDeadline(t)
|
||||||
|
}
|
||||||
|
|
||||||
func (this *b) newTrans(underlying Stream) *transB {
|
func (this *b) newTrans(underlying Stream) *transB {
|
||||||
return &transB {
|
return &transB {
|
||||||
sizeLimit: this.sizeLimit,
|
sizeLimit: this.sizeLimit,
|
||||||
@@ -125,6 +129,10 @@ func (this *transB) receiveReader() (uint16, int64, io.Reader, error) {
|
|||||||
return method, size, data, nil
|
return method, size, data, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func (this *transB) SetDeadline(t time.Time) error {
|
||||||
|
return this.underlying.SetDeadline(t)
|
||||||
|
}
|
||||||
|
|
||||||
type writerB struct {
|
type writerB struct {
|
||||||
parent *transB
|
parent *transB
|
||||||
buffer bytes.Buffer
|
buffer bytes.Buffer
|
||||||
@@ -150,12 +158,16 @@ type MultiConn interface {
|
|||||||
AcceptStream(context.Context) (Stream, error)
|
AcceptStream(context.Context) (Stream, error)
|
||||||
// OpenStream opens a new stream.
|
// OpenStream opens a new stream.
|
||||||
OpenStream() (Stream, error)
|
OpenStream() (Stream, error)
|
||||||
|
// See the documentation for [net.Conn.SetDeadline].
|
||||||
|
SetDeadline(time.Time) error
|
||||||
}
|
}
|
||||||
|
|
||||||
// Stream represents a single stream returned by a [MultiConn].
|
// Stream represents a single stream returned by a [MultiConn].
|
||||||
type Stream interface {
|
type Stream interface {
|
||||||
// See documentation for [net.Conn].
|
// See documentation for [net.Conn].
|
||||||
io.ReadWriteCloser
|
io.ReadWriteCloser
|
||||||
|
// See the documentation for [net.Conn.SetDeadline].
|
||||||
|
SetDeadline(time.Time) error
|
||||||
// ID returns the stream ID
|
// ID returns the stream ID
|
||||||
ID() int64
|
ID() int64
|
||||||
}
|
}
|
||||||
@@ -165,8 +177,8 @@ func encodeMessageB(writer io.Writer, sizeLimit int64, method uint16, data []byt
|
|||||||
return ErrPayloadTooLarge
|
return ErrPayloadTooLarge
|
||||||
}
|
}
|
||||||
buffer := make([]byte, 10 + len(data))
|
buffer := make([]byte, 10 + len(data))
|
||||||
tape.EncodeI16(buffer[:2], method)
|
encodeI16(buffer[:2], method)
|
||||||
tape.EncodeI64(buffer[2:10], uint64(len(data)))
|
encodeI64(buffer[2:10], uint64(len(data)))
|
||||||
copy(buffer[10:], data)
|
copy(buffer[10:], data)
|
||||||
_, err := writer.Write(buffer)
|
_, err := writer.Write(buffer)
|
||||||
return err
|
return err
|
||||||
@@ -187,9 +199,9 @@ func decodeMessageB(
|
|||||||
if errors.Is(err, io.EOF) { return 0, 0, nil, io.ErrUnexpectedEOF }
|
if errors.Is(err, io.EOF) { return 0, 0, nil, io.ErrUnexpectedEOF }
|
||||||
return 0, 0, nil, err
|
return 0, 0, nil, err
|
||||||
}
|
}
|
||||||
method, err = tape.DecodeI16[uint16](headerBuffer[:2])
|
method, err = decodeI16[uint16](headerBuffer[:2])
|
||||||
if err != nil { return 0, 0, nil, err }
|
if err != nil { return 0, 0, nil, err }
|
||||||
length, err := tape.DecodeI64[uint64](headerBuffer[2:10])
|
length, err := decodeI64[uint64](headerBuffer[2:10])
|
||||||
if err != nil { return 0, 0, nil, err }
|
if err != nil { return 0, 0, nil, err }
|
||||||
if length > uint64(sizeLimit) {
|
if length > uint64(sizeLimit) {
|
||||||
return 0, 0, nil, ErrPayloadTooLarge
|
return 0, 0, nil, ErrPayloadTooLarge
|
||||||
|
|||||||
@@ -112,6 +112,13 @@ func (this *Decoder) ReadUintN(bytes int) (value uint64, n int, err error) {
|
|||||||
return value, n, nil
|
return value, n, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// ReadFloat16 decodes a 16-bit floating point value from the input reader.
|
||||||
|
func (this *Decoder) ReadFloat16() (value float32, n int, err error) {
|
||||||
|
bits, nn, err := this.ReadUint16()
|
||||||
|
n += nn; if err != nil { return 0, n, err }
|
||||||
|
return math.Float32frombits(f16bitsToF32bits(bits)), n, nil
|
||||||
|
}
|
||||||
|
|
||||||
// ReadFloat32 decldes a 32-bit floating point value from the input reader.
|
// ReadFloat32 decldes a 32-bit floating point value from the input reader.
|
||||||
func (this *Decoder) ReadFloat32() (value float32, n int, err error) {
|
func (this *Decoder) ReadFloat32() (value float32, n int, err error) {
|
||||||
bits, nn, err := this.ReadUint32()
|
bits, nn, err := this.ReadUint32()
|
||||||
@@ -132,3 +139,54 @@ func (this *Decoder) ReadTag() (value Tag, n int, err error) {
|
|||||||
n += nn; if err != nil { return 0, n, err }
|
n += nn; if err != nil { return 0, n, err }
|
||||||
return Tag(uncasted), n, nil
|
return Tag(uncasted), n, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// f16bitsToF32bits returns uint32 (float32 bits) converted from specified uint16.
|
||||||
|
// Taken from https://github.com/x448/float16/blob/v0.8.4/float16
|
||||||
|
//
|
||||||
|
// MIT License
|
||||||
|
//
|
||||||
|
// Copyright (c) 2019 Montgomery Edwards⁴⁴⁸ and Faye Amacker
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
||||||
|
// of this software and associated documentation files (the "Software"), to deal
|
||||||
|
// in the Software without restriction, including without limitation the rights
|
||||||
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||||||
|
// copies of the Software, and to permit persons to whom the Software is
|
||||||
|
// furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all
|
||||||
|
// copies or substantial portions of the Software.
|
||||||
|
func f16bitsToF32bits(in uint16) uint32 {
|
||||||
|
// All 65536 conversions with this were confirmed to be correct
|
||||||
|
// by Montgomery Edwards⁴⁴⁸ (github.com/x448).
|
||||||
|
|
||||||
|
sign := uint32(in&0x8000) << 16 // sign for 32-bit
|
||||||
|
exp := uint32(in&0x7c00) >> 10 // exponenent for 16-bit
|
||||||
|
coef := uint32(in&0x03ff) << 13 // significand for 32-bit
|
||||||
|
|
||||||
|
if exp == 0x1f {
|
||||||
|
if coef == 0 {
|
||||||
|
// infinity
|
||||||
|
return sign | 0x7f800000 | coef
|
||||||
|
}
|
||||||
|
// NaN
|
||||||
|
return sign | 0x7fc00000 | coef
|
||||||
|
}
|
||||||
|
|
||||||
|
if exp == 0 {
|
||||||
|
if coef == 0 {
|
||||||
|
// zero
|
||||||
|
return sign
|
||||||
|
}
|
||||||
|
|
||||||
|
// normalize subnormal numbers
|
||||||
|
exp++
|
||||||
|
for coef&0x7f800000 == 0 {
|
||||||
|
coef <<= 1
|
||||||
|
exp--
|
||||||
|
}
|
||||||
|
coef &= 0x007fffff
|
||||||
|
}
|
||||||
|
|
||||||
|
return sign | ((exp + (0x7f - 0xf)) << 23) | coef
|
||||||
|
}
|
||||||
|
|||||||
420
tape/dynamic.go
420
tape/dynamic.go
@@ -8,10 +8,30 @@ package tape
|
|||||||
|
|
||||||
// TODO: test all of these smaller functions individually
|
// TODO: test all of these smaller functions individually
|
||||||
|
|
||||||
|
// For an explanation as to why this package always treats LBA/SBA as strings,
|
||||||
|
// refer to https://go.dev/blog/strings:
|
||||||
|
//
|
||||||
|
// It’s important to state right up front that a string holds arbitrary
|
||||||
|
// bytes. It is not required to hold Unicode text, UTF-8 text, or any other
|
||||||
|
// predefined format. As far as the content of a string is concerned, it is
|
||||||
|
// exactly equivalent to a slice of bytes.
|
||||||
|
//
|
||||||
|
// Arbitrary byte slices and blobs won't be as common of a use case as text
|
||||||
|
// data, and if you need that anyway you can just cast it to a byte slice.
|
||||||
|
|
||||||
import "fmt"
|
import "fmt"
|
||||||
import "reflect"
|
import "reflect"
|
||||||
|
|
||||||
var dummyMap map[uint16] any
|
var dummyMap map[uint16] any
|
||||||
|
var dummyBuffer []byte
|
||||||
|
|
||||||
|
type errCantAssign string
|
||||||
|
func (err errCantAssign) Error() string {
|
||||||
|
return string(err)
|
||||||
|
}
|
||||||
|
func errCantAssignf(format string, v ...any) errCantAssign {
|
||||||
|
return errCantAssign(fmt.Sprintf(format, v...))
|
||||||
|
}
|
||||||
|
|
||||||
// EncodeAny encodes an "any" value. Returns an error if the underlying type is
|
// EncodeAny encodes an "any" value. Returns an error if the underlying type is
|
||||||
// unsupported. Supported types are:
|
// unsupported. Supported types are:
|
||||||
@@ -24,26 +44,37 @@ var dummyMap map[uint16] any
|
|||||||
// - []<supported type>
|
// - []<supported type>
|
||||||
// - map[uint16]<supported type>
|
// - map[uint16]<supported type>
|
||||||
func EncodeAny(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
func EncodeAny(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
||||||
// TODO use reflection for all of this to ignore type names
|
|
||||||
// primitives
|
// primitives
|
||||||
switch value := value.(type) {
|
reflectValue := reflect.ValueOf(value)
|
||||||
case int: return encoder.WriteInt32(int32(value))
|
switch reflectValue.Kind() {
|
||||||
case uint: return encoder.WriteUint32(uint32(value))
|
case reflect.Int: return encoder.WriteInt32(int32(reflectValue.Int()))
|
||||||
case int8: return encoder.WriteInt8(value)
|
case reflect.Uint: return encoder.WriteUint32(uint32(reflectValue.Uint()))
|
||||||
case uint8: return encoder.WriteUint8(value)
|
case reflect.Int8: return encoder.WriteInt8(int8(reflectValue.Int()))
|
||||||
case int16: return encoder.WriteInt16(value)
|
case reflect.Uint8: return encoder.WriteUint8(uint8(reflectValue.Uint()))
|
||||||
case uint16: return encoder.WriteUint16(value)
|
case reflect.Int16: return encoder.WriteInt16(int16(reflectValue.Int()))
|
||||||
case int32: return encoder.WriteInt32(value)
|
case reflect.Uint16: return encoder.WriteUint16(uint16(reflectValue.Uint()))
|
||||||
case uint32: return encoder.WriteUint32(value)
|
case reflect.Int32: return encoder.WriteInt32(int32(reflectValue.Int()))
|
||||||
case int64: return encoder.WriteInt64(value)
|
case reflect.Uint32: return encoder.WriteUint32(uint32(reflectValue.Uint()))
|
||||||
case uint64: return encoder.WriteUint64(value)
|
case reflect.Int64: return encoder.WriteInt64(int64(reflectValue.Int()))
|
||||||
case string: return EncodeAny(encoder, []byte(value), tag)
|
case reflect.Uint64: return encoder.WriteUint64(uint64(reflectValue.Uint()))
|
||||||
case []byte:
|
case reflect.Float32: return encoder.WriteFloat32(float32(reflectValue.Float()))
|
||||||
|
case reflect.Float64: return encoder.WriteFloat64(float64(reflectValue.Float()))
|
||||||
|
case reflect.Bool: return // SI has no payload
|
||||||
|
case reflect.String:
|
||||||
|
if reflectValue.Len() > MaxStructureLength {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
|
return EncodeAny(encoder, []byte(reflectValue.String()), tag)
|
||||||
|
}
|
||||||
|
if reflectValue.CanConvert(reflect.TypeOf(dummyBuffer)) {
|
||||||
|
if reflectValue.Len() > MaxStructureLength {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
if tag.Is(LBA) {
|
if tag.Is(LBA) {
|
||||||
nn, err := encoder.WriteUintN(uint64(len(value)), tag.CN() + 1)
|
nn, err := encoder.WriteUintN(uint64(reflectValue.Len()), tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
}
|
}
|
||||||
nn, err := encoder.Write(value)
|
nn, err := encoder.Write(reflectValue.Bytes())
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
return n, nil
|
return n, nil
|
||||||
}
|
}
|
||||||
@@ -54,8 +85,13 @@ func EncodeAny(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
|||||||
case reflect.Slice:
|
case reflect.Slice:
|
||||||
return encodeAnySlice(encoder, value, tag)
|
return encodeAnySlice(encoder, value, tag)
|
||||||
// case reflect.Array:
|
// case reflect.Array:
|
||||||
|
// TODO: we can encode arrays. but can we decode into them?
|
||||||
|
// that's the fucken question. maybe we just do the first
|
||||||
// return encodeAnySlice(encoder, reflect.ValueOf(value).Slice(0, reflectType.Len()).Interface(), tag)
|
// return encodeAnySlice(encoder, reflect.ValueOf(value).Slice(0, reflectType.Len()).Interface(), tag)
|
||||||
case reflect.Map:
|
case reflect.Map:
|
||||||
|
if reflectValue.Len() > MaxStructureLength {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
if reflectType.Key() == reflect.TypeOf(uint16(0)) {
|
if reflectType.Key() == reflect.TypeOf(uint16(0)) {
|
||||||
return encodeAnyMap(encoder, value, tag)
|
return encodeAnyMap(encoder, value, tag)
|
||||||
}
|
}
|
||||||
@@ -64,9 +100,10 @@ func EncodeAny(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
|||||||
return n, fmt.Errorf("cannot encode type %T", value)
|
return n, fmt.Errorf("cannot encode type %T", value)
|
||||||
}
|
}
|
||||||
|
|
||||||
// DecodeAny decodes data and places it into destination, which must be a
|
// DecodeAnyInto decodes data and places it into destination, which must be a
|
||||||
// pointer to a supported type. See [EncodeAny] for a list of supported types.
|
// pointer to a supported type. See [EncodeAny] for a list of supported types.
|
||||||
func DecodeAny(decoder *Decoder, destination any, tag Tag) (n int, err error) {
|
// The head of the decoder must be at the start of the payload.
|
||||||
|
func DecodeAnyInto(decoder *Decoder, destination any, tag Tag) (n int, err error) {
|
||||||
reflectDestination := reflect.ValueOf(destination)
|
reflectDestination := reflect.ValueOf(destination)
|
||||||
if reflectDestination.Kind() != reflect.Pointer {
|
if reflectDestination.Kind() != reflect.Pointer {
|
||||||
return n, fmt.Errorf("expected pointer destination, not %v", destination)
|
return n, fmt.Errorf("expected pointer destination, not %v", destination)
|
||||||
@@ -74,6 +111,17 @@ func DecodeAny(decoder *Decoder, destination any, tag Tag) (n int, err error) {
|
|||||||
return decodeAny(decoder, reflectDestination.Elem(), tag)
|
return decodeAny(decoder, reflectDestination.Elem(), tag)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// DecodeAny is like [DecodeAnyInto], but it automatically creates the
|
||||||
|
// destination from the tag and data. The head of the decoder must be at the
|
||||||
|
// start of the payload.
|
||||||
|
func DecodeAny(decoder *Decoder, tag Tag) (value any, n int, err error) {
|
||||||
|
destination, err := skeletonPointer(decoder, tag)
|
||||||
|
if err != nil { return nil, n, err }
|
||||||
|
nn, err := decodeAny(decoder, destination.Elem(), tag)
|
||||||
|
n += nn; if err != nil { return nil, n, err }
|
||||||
|
return destination.Elem().Interface(), n, err
|
||||||
|
}
|
||||||
|
|
||||||
// unknownSlicePlaceholder is inserted by skeletonValue and informs the program
|
// unknownSlicePlaceholder is inserted by skeletonValue and informs the program
|
||||||
// that the destination for the slice needs to be generated based on the item
|
// that the destination for the slice needs to be generated based on the item
|
||||||
// tag in the OTA.
|
// tag in the OTA.
|
||||||
@@ -81,22 +129,41 @@ type unknownSlicePlaceholder struct { }
|
|||||||
var unknownSlicePlaceholderType = reflect.TypeOf(unknownSlicePlaceholder { })
|
var unknownSlicePlaceholderType = reflect.TypeOf(unknownSlicePlaceholder { })
|
||||||
|
|
||||||
// decodeAny is internal to [DecodeAny]. It takes in an addressable
|
// decodeAny is internal to [DecodeAny]. It takes in an addressable
|
||||||
// [reflect.Value] as the destination.
|
// [reflect.Value] as the destination. If the decoded value cannot fit in the
|
||||||
|
// destination, it skims over the payload, leaves the destination empty, and
|
||||||
|
// returns without an error. The head of the decoder must be at the start of the
|
||||||
|
// payload.
|
||||||
func decodeAny(decoder *Decoder, destination reflect.Value, tag Tag) (n int, err error) {
|
func decodeAny(decoder *Decoder, destination reflect.Value, tag Tag) (n int, err error) {
|
||||||
errWrongDestinationType := func(expected string) error {
|
n, err = decodeAnyOrError(decoder, destination, tag)
|
||||||
panic(fmt.Errorf(
|
if _, ok := err.(errCantAssign); ok {
|
||||||
// return fmt.Errorf(
|
if n > 0 { panic(fmt.Sprintf("decodeAnyOrError decoded more than it should: %d", n)) }
|
||||||
"expected %s destination, not %v",
|
nn, err := Skim(decoder, tag)
|
||||||
expected, destination))
|
n += nn; if err != nil { return n, err }
|
||||||
|
return n, nil
|
||||||
}
|
}
|
||||||
|
return n, err
|
||||||
|
}
|
||||||
|
|
||||||
|
// decodeAnyOrError is internal to [decodeAny]. It takes in an addressable
|
||||||
|
// [reflect.Value] as the destination. If the decoded value cannot fit in the
|
||||||
|
// destination, it decodes nothing and returns an error of type errCantAssign,
|
||||||
|
// except for the case of a mismatched OTA element tag, wherein it will skim
|
||||||
|
// over the rest of the payload, leave the destination empty, and return without
|
||||||
|
// an error. The head of the decoder must be at the start of the payload.
|
||||||
|
func decodeAnyOrError(decoder *Decoder, destination reflect.Value, tag Tag) (n int, err error) {
|
||||||
|
err = canSet(destination.Type(), tag)
|
||||||
|
if err != nil { return n, err }
|
||||||
|
|
||||||
switch tag.WithoutCN() {
|
switch tag.WithoutCN() {
|
||||||
case SI:
|
case SI:
|
||||||
// SI: (none)
|
// SI: (none)
|
||||||
err = setInt(destination, uint64(tag.CN()))
|
setUint(destination, uint64(tag.CN()), 1)
|
||||||
if err != nil { return n, err }
|
|
||||||
case LI:
|
case LI:
|
||||||
// LI: <value: IntN>
|
// LI: <value: IntN>
|
||||||
|
nn, err := decodeAndSetUint(decoder, destination, tag.CN() + 1)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
case LSI:
|
||||||
|
// LSI: <value: IntN>
|
||||||
nn, err := decodeAndSetInt(decoder, destination, tag.CN() + 1)
|
nn, err := decodeAndSetInt(decoder, destination, tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
case FP:
|
case FP:
|
||||||
@@ -105,56 +172,104 @@ func decodeAny(decoder *Decoder, destination reflect.Value, tag Tag) (n int, err
|
|||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
case SBA:
|
case SBA:
|
||||||
// SBA: <data: U8>*
|
// SBA: <data: U8>*
|
||||||
buffer := make([]byte, tag.CN())
|
length := tag.CN()
|
||||||
|
if length > MaxStructureLength {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
|
buffer := make([]byte, length)
|
||||||
nn, err := decoder.Read(buffer)
|
nn, err := decoder.Read(buffer)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
err = setByteArray(destination, buffer)
|
setString(destination, string(buffer))
|
||||||
if err != nil { return n, err }
|
|
||||||
case LBA:
|
case LBA:
|
||||||
// LBA: <length: UN> <data: U8>*
|
// LBA: <length: UN> <data: U8>*
|
||||||
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
|
if length > uint64(MaxStructureLength) {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
buffer := make([]byte, length)
|
buffer := make([]byte, length)
|
||||||
nn, err = decoder.Read(buffer)
|
nn, err = decoder.Read(buffer)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
err = setByteArray(destination, buffer)
|
setString(destination, string(buffer))
|
||||||
if err != nil { return n, err }
|
|
||||||
case OTA:
|
case OTA:
|
||||||
// OTA: <length: UN> <elementTag: tape.Tag> <values>*
|
// OTA: <length: UN> <elementTag: tape.Tag> <values>*
|
||||||
|
oldDestination := destination
|
||||||
|
if isTypeAny(destination.Type()) {
|
||||||
|
// need a skeleton value if we are assigning to any.
|
||||||
|
value, err := skeletonValue(decoder, tag)
|
||||||
|
if err != nil { return n, err }
|
||||||
|
destination = value
|
||||||
|
}
|
||||||
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
|
if length > uint64(MaxStructureLength) {
|
||||||
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
|
lengthCast, err := Uint64ToIntSafe(length)
|
||||||
|
if err != nil { return n, err }
|
||||||
oneTag, nn, err := decoder.ReadTag()
|
oneTag, nn, err := decoder.ReadTag()
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
if destination.Kind() != reflect.Slice {
|
if destination.Cap() < lengthCast {
|
||||||
return n, errWrongDestinationType("slice")
|
destination.Grow(lengthCast - destination.Cap())
|
||||||
}
|
}
|
||||||
if destination.Cap() < int(length) {
|
// skip the rest of the array if the one tag doesn't
|
||||||
destination.Grow(int(length) - destination.Cap())
|
// match up with the destination
|
||||||
|
err = canSet(destination.Type().Elem(), oneTag)
|
||||||
|
if _, ok := err.(errCantAssign); ok {
|
||||||
|
for _ = range length {
|
||||||
|
nn, err := Skim(decoder, oneTag)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
}
|
}
|
||||||
destination.SetLen(int(length))
|
break
|
||||||
|
}
|
||||||
|
if err != nil { return n, err }
|
||||||
|
destination.SetLen(lengthCast)
|
||||||
for index := range length {
|
for index := range length {
|
||||||
nn, err := decodeAny(decoder, destination.Index(int(index)), oneTag)
|
nn, err := decodeAny(decoder, destination.Index(int(index)), oneTag)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn
|
||||||
|
if _, ok := err.(errCantAssign); ok {
|
||||||
|
continue
|
||||||
|
} else if err != nil {
|
||||||
|
return n, err
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
oldDestination.Set(destination)
|
||||||
case KTV:
|
case KTV:
|
||||||
// KTV: <length: UN> (<key: U16> <tag: Tag> <value>)*
|
// KTV: <length: UN> (<key: U16> <tag: Tag> <value>)*
|
||||||
table := destination
|
|
||||||
if table.Type() != reflect.TypeOf(dummyMap) {
|
|
||||||
return n, errWrongDestinationType("map[uint16] any")
|
|
||||||
}
|
|
||||||
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
table.Clear()
|
if length > uint64(MaxStructureLength) {
|
||||||
for _ = range length {
|
return 0, ErrTooLong
|
||||||
|
}
|
||||||
|
lengthCast, err := Uint64ToIntSafe(length)
|
||||||
|
if err != nil { return n, err }
|
||||||
|
|
||||||
|
// im fucking so done dude. im so fucking done. this was
|
||||||
|
// supposed to only run when we need it but i guess it runs all
|
||||||
|
// the time, because when we get a map destination (a valid,
|
||||||
|
// allocated one) we break apart on SetMapIndex because of a nil
|
||||||
|
// map. yeah thats right. a fucking nil map panic. on the map we
|
||||||
|
// just allocated. but running this unconditionally (whether or
|
||||||
|
// not we receive an empty any value) actually makes it fucking
|
||||||
|
// work. go figure().
|
||||||
|
//
|
||||||
|
// (the map allocation functionality in skeletonPointer was
|
||||||
|
// removed after this comment was written)
|
||||||
|
value := reflect.MakeMapWithSize(reflect.TypeOf(dummyMap), lengthCast)
|
||||||
|
destination.Set(value)
|
||||||
|
destination = value
|
||||||
|
|
||||||
|
destination.Clear()
|
||||||
|
for _ = range lengthCast {
|
||||||
key, nn, err := decoder.ReadUint16()
|
key, nn, err := decoder.ReadUint16()
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
itemTag, nn, err := decoder.ReadTag()
|
itemTag, nn, err := decoder.ReadTag()
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
value, err := skeletonValue(decoder, itemTag)
|
value, err := skeletonPointer(decoder, itemTag)
|
||||||
if err != nil { return n, err }
|
if err != nil { return n, err }
|
||||||
nn, err = decodeAny(decoder, value.Elem(), itemTag)
|
nn, err = decodeAny(decoder, value.Elem(), itemTag)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
table.SetMapIndex(reflect.ValueOf(key), value.Elem())
|
destination.SetMapIndex(reflect.ValueOf(key), value.Elem())
|
||||||
}
|
}
|
||||||
default:
|
default:
|
||||||
return n, fmt.Errorf("unknown TN %d", tag.TN())
|
return n, fmt.Errorf("unknown TN %d", tag.TN())
|
||||||
@@ -166,30 +281,48 @@ func decodeAny(decoder *Decoder, destination reflect.Value, tag Tag) (n int, err
|
|||||||
// underlying type is unsupported. See [EncodeAny] for a list of supported
|
// underlying type is unsupported. See [EncodeAny] for a list of supported
|
||||||
// types.
|
// types.
|
||||||
func TagAny(value any) (Tag, error) {
|
func TagAny(value any) (Tag, error) {
|
||||||
// TODO use reflection for all of this to ignore type names
|
return tagAny(reflect.ValueOf(value))
|
||||||
|
}
|
||||||
|
|
||||||
|
func tagAny(reflectValue reflect.Value) (Tag, error) {
|
||||||
// primitives
|
// primitives
|
||||||
switch value := value.(type) {
|
switch reflectValue.Kind() {
|
||||||
case int, uint: return LI.WithCN(3), nil
|
case reflect.Int: return LSI.WithCN(3), nil
|
||||||
case int8, uint8: return LI.WithCN(0), nil
|
case reflect.Int8: return LSI.WithCN(0), nil
|
||||||
case int16, uint16: return LI.WithCN(1), nil
|
case reflect.Int16: return LSI.WithCN(1), nil
|
||||||
case int32, uint32: return LI.WithCN(3), nil
|
case reflect.Int32: return LSI.WithCN(3), nil
|
||||||
case int64, uint64: return LI.WithCN(7), nil
|
case reflect.Int64: return LSI.WithCN(7), nil
|
||||||
case string: return bufferLenTag(len(value)), nil
|
case reflect.Uint: return LI.WithCN(3), nil
|
||||||
case []byte: return bufferLenTag(len(value)), nil
|
case reflect.Uint8: return LI.WithCN(0), nil
|
||||||
|
case reflect.Uint16: return LI.WithCN(1), nil
|
||||||
|
case reflect.Uint32: return LI.WithCN(3), nil
|
||||||
|
case reflect.Uint64: return LI.WithCN(7), nil
|
||||||
|
case reflect.Float32: return FP.WithCN(3), nil
|
||||||
|
case reflect.Float64: return FP.WithCN(7), nil
|
||||||
|
case reflect.Bool:
|
||||||
|
if reflectValue.Bool() {
|
||||||
|
return SI.WithCN(1), nil
|
||||||
|
} else {
|
||||||
|
return SI.WithCN(0), nil
|
||||||
|
}
|
||||||
|
case reflect.String: return bufferLenTag(reflectValue.Len()), nil
|
||||||
|
}
|
||||||
|
if reflectValue.CanConvert(reflect.TypeOf(dummyBuffer)) {
|
||||||
|
return bufferLenTag(reflectValue.Len()), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
// aggregates
|
// aggregates
|
||||||
reflectType := reflect.TypeOf(value)
|
reflectType := reflectValue.Type()
|
||||||
switch reflectType.Kind() {
|
switch reflectType.Kind() {
|
||||||
case reflect.Slice: return OTA.WithCN(IntBytes(uint64(reflect.ValueOf(value).Len())) - 1), nil
|
case reflect.Slice: return OTA.WithCN(IntBytes(uint64(reflectValue.Len())) - 1), nil
|
||||||
case reflect.Array: return OTA.WithCN(reflectType.Len()), nil
|
case reflect.Array: return OTA.WithCN(reflectType.Len()), nil
|
||||||
case reflect.Map:
|
case reflect.Map:
|
||||||
if reflectType.Key() == reflect.TypeOf(uint16(0)) {
|
if reflectType.Key() == reflect.TypeOf(uint16(0)) {
|
||||||
return KTV.WithCN(IntBytes(uint64(reflect.ValueOf(value).Len())) - 1), nil
|
return KTV.WithCN(IntBytes(uint64(reflectValue.Len())) - 1), nil
|
||||||
}
|
}
|
||||||
return 0, fmt.Errorf("cannot encode map key %T, key must be uint16", value)
|
return 0, fmt.Errorf("cannot encode map key %v, key must be uint16", reflectType.Key())
|
||||||
}
|
}
|
||||||
return 0, fmt.Errorf("cannot get tag of type %T", value)
|
return 0, fmt.Errorf("cannot get tag of type %v", reflectType)
|
||||||
}
|
}
|
||||||
|
|
||||||
func encodeAnySlice(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
func encodeAnySlice(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
||||||
@@ -198,11 +331,10 @@ func encodeAnySlice(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
|||||||
nn, err := encoder.WriteUintN(uint64(reflectValue.Len()), tag.CN() + 1)
|
nn, err := encoder.WriteUintN(uint64(reflectValue.Len()), tag.CN() + 1)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
reflectType := reflect.TypeOf(value)
|
reflectType := reflect.TypeOf(value)
|
||||||
oneTag, err := TagAny(reflect.Zero(reflectType.Elem()).Interface())
|
oneTag, err := tagAny(reflect.Zero(reflectType.Elem()))
|
||||||
if err != nil { return n, err }
|
if err != nil { return n, err }
|
||||||
for index := 0; index < reflectValue.Len(); index += 1 {
|
for index := 0; index < reflectValue.Len(); index += 1 {
|
||||||
item := reflectValue.Index(index).Interface()
|
itemTag, err := tagAny(reflectValue.Index(index))
|
||||||
itemTag, err := TagAny(item)
|
|
||||||
if err != nil { return n, err }
|
if err != nil { return n, err }
|
||||||
if itemTag.CN() > oneTag.CN() { oneTag = itemTag }
|
if itemTag.CN() > oneTag.CN() { oneTag = itemTag }
|
||||||
}
|
}
|
||||||
@@ -224,11 +356,12 @@ func encodeAnyMap(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
|||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
iter := reflectValue.MapRange()
|
iter := reflectValue.MapRange()
|
||||||
for iter.Next() {
|
for iter.Next() {
|
||||||
|
reflectValue := iter.Value().Elem()
|
||||||
key := iter.Key().Interface().(uint16)
|
key := iter.Key().Interface().(uint16)
|
||||||
value := iter.Value().Interface()
|
value := reflectValue.Interface()
|
||||||
nn, err = encoder.WriteUint16(key)
|
nn, err = encoder.WriteUint16(key)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
itemTag, err := TagAny(value)
|
itemTag, err := tagAny(reflectValue)
|
||||||
if err != nil { return n, err }
|
if err != nil { return n, err }
|
||||||
nn, err = encoder.WriteUint8(uint8(itemTag))
|
nn, err = encoder.WriteUint8(uint8(itemTag))
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
@@ -238,46 +371,122 @@ func encodeAnyMap(encoder *Encoder, value any, tag Tag) (n int, err error) {
|
|||||||
return n, nil
|
return n, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func canSet(destination reflect.Type, tag Tag) error {
|
||||||
|
// anything can be assigned to `any`
|
||||||
|
if isTypeAny(destination) {
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
switch tag.WithoutCN() {
|
||||||
|
case SI, LI, LSI:
|
||||||
|
switch destination.Kind() {
|
||||||
|
case
|
||||||
|
reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64,
|
||||||
|
reflect.Uint, reflect.Uint8, reflect.Uint16, reflect.Uint32, reflect.Uint64,
|
||||||
|
reflect.Bool:
|
||||||
|
default:
|
||||||
|
return errCantAssignf("cannot assign integer to %v", destination)
|
||||||
|
}
|
||||||
|
case FP:
|
||||||
|
switch destination.Kind() {
|
||||||
|
case reflect.Float32, reflect.Float64:
|
||||||
|
default:
|
||||||
|
return errCantAssignf("cannot assign float to %v", destination)
|
||||||
|
}
|
||||||
|
case SBA, LBA:
|
||||||
|
if destination.Kind() == reflect.String { return nil }
|
||||||
|
if destination.Kind() != reflect.Slice {
|
||||||
|
return errCantAssignf("cannot assign byte array to %v", destination)
|
||||||
|
}
|
||||||
|
if destination.Elem() != reflect.TypeOf(byte(0)) {
|
||||||
|
return errCantAssignf("cannot convert %v to *[]byte", destination)
|
||||||
|
}
|
||||||
|
case OTA:
|
||||||
|
if destination.Kind() != reflect.Slice {
|
||||||
|
return errCantAssignf("cannot assign array to %v", destination)
|
||||||
|
}
|
||||||
|
case KTV:
|
||||||
|
cantAssign :=
|
||||||
|
destination.Kind() != reflect.Map ||
|
||||||
|
destination.Key().Kind() != reflect.Uint16 ||
|
||||||
|
!isTypeAny(destination.Elem())
|
||||||
|
if cantAssign {
|
||||||
|
return errCantAssignf("cannot assign table to %v", destination)
|
||||||
|
}
|
||||||
|
default:
|
||||||
|
return fmt.Errorf("unknown TN %d", tag.TN())
|
||||||
|
}
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
// setInt expects a settable destination.
|
// setInt expects a settable destination.
|
||||||
func setInt(destination reflect.Value, value uint64) error {
|
func setInt(destination reflect.Value, value int64, bytes int) {
|
||||||
switch {
|
switch {
|
||||||
case destination.CanInt():
|
case destination.CanInt():
|
||||||
destination.Set(reflect.ValueOf(int64(value)).Convert(destination.Type()))
|
destination.Set(reflect.ValueOf(int64(value)).Convert(destination.Type()))
|
||||||
case destination.CanUint():
|
case destination.CanUint():
|
||||||
destination.Set(reflect.ValueOf(value).Convert(destination.Type()))
|
destination.Set(reflect.ValueOf(value).Convert(destination.Type()))
|
||||||
default:
|
case isTypeAny(destination.Type()):
|
||||||
return fmt.Errorf("cannot assign integer to %T", destination.Interface())
|
switch {
|
||||||
|
case bytes > 4: destination.Set(reflect.ValueOf(int64(value)))
|
||||||
|
case bytes > 2: destination.Set(reflect.ValueOf(int32(value)))
|
||||||
|
case bytes > 1: destination.Set(reflect.ValueOf(int16(value)))
|
||||||
|
default: destination.Set(reflect.ValueOf(int8(value)))
|
||||||
|
}
|
||||||
|
default:
|
||||||
|
panic("setInt called on an unsupported type")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// setUint expects a settable destination.
|
||||||
|
func setUint(destination reflect.Value, value uint64, bytes int) {
|
||||||
|
switch {
|
||||||
|
case destination.Kind() == reflect.Bool:
|
||||||
|
destination.Set(reflect.ValueOf(value > 0))
|
||||||
|
case destination.CanInt():
|
||||||
|
destination.Set(reflect.ValueOf(int64(value)).Convert(destination.Type()))
|
||||||
|
case destination.CanUint():
|
||||||
|
destination.Set(reflect.ValueOf(value).Convert(destination.Type()))
|
||||||
|
case isTypeAny(destination.Type()):
|
||||||
|
switch {
|
||||||
|
case bytes > 4: destination.Set(reflect.ValueOf(uint64(value)))
|
||||||
|
case bytes > 2: destination.Set(reflect.ValueOf(uint32(value)))
|
||||||
|
case bytes > 1: destination.Set(reflect.ValueOf(uint16(value)))
|
||||||
|
default: destination.Set(reflect.ValueOf(uint8(value)))
|
||||||
|
}
|
||||||
|
default:
|
||||||
|
panic("setUint called on an unsupported type")
|
||||||
}
|
}
|
||||||
return nil
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// setFloat expects a settable destination.
|
// setFloat expects a settable destination.
|
||||||
func setFloat(destination reflect.Value, value float64) error {
|
func setFloat(destination reflect.Value, value float64) {
|
||||||
if !destination.CanFloat() {
|
|
||||||
return fmt.Errorf("cannot assign float to %T", destination.Interface())
|
|
||||||
}
|
|
||||||
destination.Set(reflect.ValueOf(value).Convert(destination.Type()))
|
destination.Set(reflect.ValueOf(value).Convert(destination.Type()))
|
||||||
return nil
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// setByteArrayexpects a settable destination.
|
// setByteArrayexpects a settable destination.
|
||||||
func setByteArray(destination reflect.Value, value []byte) error {
|
func setByteArray(destination reflect.Value, value []byte) {
|
||||||
typ := destination.Type()
|
destination.Set(reflect.ValueOf(value))
|
||||||
if typ.Kind() != reflect.Slice {
|
}
|
||||||
return fmt.Errorf("cannot assign %T to ", value)
|
|
||||||
}
|
// setString exepctes a settable destination
|
||||||
if typ.Elem() != reflect.TypeOf(byte(0)) {
|
func setString(destination reflect.Value, value string) {
|
||||||
return fmt.Errorf("cannot convert %T to *[]byte", value)
|
|
||||||
}
|
|
||||||
destination.Set(reflect.ValueOf(value))
|
destination.Set(reflect.ValueOf(value))
|
||||||
return nil
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// decodeAndSetInt expects a settable destination.
|
// decodeAndSetInt expects a settable destination.
|
||||||
func decodeAndSetInt(decoder *Decoder, destination reflect.Value, bytes int) (n int, err error) {
|
func decodeAndSetInt(decoder *Decoder, destination reflect.Value, bytes int) (n int, err error) {
|
||||||
|
value, nn, err := decoder.ReadIntN(bytes)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
setInt(destination, value, bytes)
|
||||||
|
return n, nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// decodeAndSetUint expects a settable destination.
|
||||||
|
func decodeAndSetUint(decoder *Decoder, destination reflect.Value, bytes int) (n int, err error) {
|
||||||
value, nn, err := decoder.ReadUintN(bytes)
|
value, nn, err := decoder.ReadUintN(bytes)
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
return n, setInt(destination, value)
|
setUint(destination, value, bytes)
|
||||||
|
return n, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
// decodeAndSetInt expects a settable destination.
|
// decodeAndSetInt expects a settable destination.
|
||||||
@@ -286,25 +495,38 @@ func decodeAndSetFloat(decoder *Decoder, destination reflect.Value, bytes int) (
|
|||||||
case 8:
|
case 8:
|
||||||
value, nn, err := decoder.ReadFloat64()
|
value, nn, err := decoder.ReadFloat64()
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
return n, setFloat(destination, float64(value))
|
setFloat(destination, float64(value))
|
||||||
|
return n, nil
|
||||||
case 4:
|
case 4:
|
||||||
value, nn, err := decoder.ReadFloat32()
|
value, nn, err := decoder.ReadFloat32()
|
||||||
n += nn; if err != nil { return n, err }
|
n += nn; if err != nil { return n, err }
|
||||||
return n, setFloat(destination, float64(value))
|
setFloat(destination, float64(value))
|
||||||
|
return n, nil
|
||||||
}
|
}
|
||||||
return n, fmt.Errorf("cannot decode float%d", bytes * 8)
|
return n, errCantAssignf("unsupported bit width float%d", bytes * 8)
|
||||||
}
|
}
|
||||||
|
|
||||||
// skeletonValue returns a pointer value. In order for it to be set, it must be
|
// skeletonValue returns an addressable value. It can be set directly. The head
|
||||||
// dereferenced using Elem().
|
// of the decoder must be at the start of the payload when calling.
|
||||||
func skeletonValue(decoder *Decoder, tag Tag) (reflect.Value, error) {
|
func skeletonValue(decoder *Decoder, tag Tag) (reflect.Value, error) {
|
||||||
|
ptr, err := skeletonPointer(decoder, tag)
|
||||||
|
if err != nil { return reflect.Value { }, err }
|
||||||
|
return ptr.Elem(), nil
|
||||||
|
}
|
||||||
|
|
||||||
|
// skeletonPointer returns a pointer value. In order for it to be set, it must
|
||||||
|
// be dereferenced using Elem(). The head of the decoder must be at the start of
|
||||||
|
// the payload when calling.
|
||||||
|
func skeletonPointer(decoder *Decoder, tag Tag) (reflect.Value, error) {
|
||||||
typ, err := typeOf(decoder, tag)
|
typ, err := typeOf(decoder, tag)
|
||||||
if err != nil { return reflect.Value { }, err }
|
if err != nil { return reflect.Value { }, err }
|
||||||
return reflect.New(typ), nil
|
value := reflect.New(typ)
|
||||||
|
return value, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
// typeOf returns the type of the current tag being decoded. It does not use up
|
// typeOf returns the type of the current tag being decoded. It does not use up
|
||||||
// the decoder, it only peeks.
|
// the decoder, it only peeks. The head of the decoder must be at the start of
|
||||||
|
// the payload when calling.
|
||||||
func typeOf(decoder *Decoder, tag Tag) (reflect.Type, error) {
|
func typeOf(decoder *Decoder, tag Tag) (reflect.Type, error) {
|
||||||
switch tag.WithoutCN() {
|
switch tag.WithoutCN() {
|
||||||
case SI:
|
case SI:
|
||||||
@@ -317,14 +539,22 @@ func typeOf(decoder *Decoder, tag Tag) (reflect.Type, error) {
|
|||||||
case 7: return reflect.TypeOf(uint64(0)), nil
|
case 7: return reflect.TypeOf(uint64(0)), nil
|
||||||
}
|
}
|
||||||
return nil, fmt.Errorf("unknown CN %d for LI", tag.CN())
|
return nil, fmt.Errorf("unknown CN %d for LI", tag.CN())
|
||||||
|
case LSI:
|
||||||
|
switch tag.CN() {
|
||||||
|
case 0: return reflect.TypeOf(int8(0)), nil
|
||||||
|
case 1: return reflect.TypeOf(int16(0)), nil
|
||||||
|
case 3: return reflect.TypeOf(int32(0)), nil
|
||||||
|
case 7: return reflect.TypeOf(int64(0)), nil
|
||||||
|
}
|
||||||
|
return nil, fmt.Errorf("unknown CN %d for LSI", tag.CN())
|
||||||
case FP:
|
case FP:
|
||||||
switch tag.CN() {
|
switch tag.CN() {
|
||||||
case 3: return reflect.TypeOf(float32(0)), nil
|
case 3: return reflect.TypeOf(float32(0)), nil
|
||||||
case 7: return reflect.TypeOf(float64(0)), nil
|
case 7: return reflect.TypeOf(float64(0)), nil
|
||||||
}
|
}
|
||||||
return nil, fmt.Errorf("unknown CN %d for FP", tag.CN())
|
return nil, fmt.Errorf("unknown CN %d for FP", tag.CN())
|
||||||
case SBA: return reflect.SliceOf(reflect.TypeOf(byte(0))), nil
|
case SBA: return reflect.TypeOf(""), nil
|
||||||
case LBA: return reflect.SliceOf(reflect.TypeOf(byte(0))), nil
|
case LBA: return reflect.TypeOf(""), nil
|
||||||
case OTA:
|
case OTA:
|
||||||
elemTag, dimension, err := peekSlice(decoder, tag)
|
elemTag, dimension, err := peekSlice(decoder, tag)
|
||||||
if err != nil { return nil, err }
|
if err != nil { return nil, err }
|
||||||
@@ -340,6 +570,12 @@ func typeOf(decoder *Decoder, tag Tag) (reflect.Type, error) {
|
|||||||
return nil, fmt.Errorf("unknown TN %d", tag.TN())
|
return nil, fmt.Errorf("unknown TN %d", tag.TN())
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// isTypeAny returns whether the given reflect.Type is an interface with no
|
||||||
|
// methods.
|
||||||
|
func isTypeAny(typ reflect.Type) bool {
|
||||||
|
return typ.Kind() == reflect.Interface && typ.NumMethod() == 0
|
||||||
|
}
|
||||||
|
|
||||||
// peekSlice returns the element tag and dimension count of the OTA currently
|
// peekSlice returns the element tag and dimension count of the OTA currently
|
||||||
// being decoded. It does not use up the decoder, it only peeks.
|
// being decoded. It does not use up the decoder, it only peeks.
|
||||||
func peekSlice(decoder *Decoder, tag Tag) (Tag, int, error) {
|
func peekSlice(decoder *Decoder, tag Tag) (Tag, int, error) {
|
||||||
|
|||||||
@@ -1,15 +1,77 @@
|
|||||||
package tape
|
package tape
|
||||||
|
|
||||||
import "fmt"
|
|
||||||
import "bytes"
|
import "bytes"
|
||||||
import "testing"
|
import "testing"
|
||||||
import "reflect"
|
import "reflect"
|
||||||
import tu "git.tebibyte.media/sashakoshka/hopp/internal/testutil"
|
import tu "git.tebibyte.media/sashakoshka/hopp/internal/testutil"
|
||||||
|
|
||||||
|
var samplePayloads = [][]byte {
|
||||||
|
/* int8 */ []byte { byte(LSI.WithCN(0)), 0x45 },
|
||||||
|
/* int16 */ []byte { byte(LSI.WithCN(1)), 0x45, 0x67 },
|
||||||
|
/* int32 */ []byte { byte(LSI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB },
|
||||||
|
/* int64 */ []byte { byte(LSI.WithCN(7)), 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23 },
|
||||||
|
/* uint5 */ []byte { byte(SI.WithCN(12)) },
|
||||||
|
/* uint8 */ []byte { byte(LI.WithCN(0)), 0x45 },
|
||||||
|
/* uint16 */ []byte { byte(LI.WithCN(1)), 0x45, 0x67 },
|
||||||
|
/* uint32 */ []byte { byte(LI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB },
|
||||||
|
/* uint64 */ []byte { byte(LI.WithCN(7)), 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23 },
|
||||||
|
/* bool */ []byte { byte(SI.WithCN(0)) },
|
||||||
|
/* bool */ []byte { byte(SI.WithCN(1)) },
|
||||||
|
/* string */ []byte { byte(SBA.WithCN(7)), 'p', 'u', 'p', 'e', 'v', 'e', 'r' },
|
||||||
|
/* []byte */ []byte { byte(SBA.WithCN(5)), 'b', 'l', 'a', 'r', 'g' },
|
||||||
|
/* []string */ []byte {
|
||||||
|
byte(OTA.WithCN(0)), 2, byte(LBA.WithCN(0)),
|
||||||
|
0x08, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF, 0x01, 0x23,
|
||||||
|
0x05, 0x11, 0x11, 0x11, 0x11, 0x11,
|
||||||
|
},
|
||||||
|
/* map[uint16] any */ []byte {
|
||||||
|
byte(KTV.WithCN(0)), 2,
|
||||||
|
0x02, 0x23, byte(LSI.WithCN(1)), 0x45, 0x67,
|
||||||
|
0x02, 0x24, byte(LI.WithCN(3)), 0x45, 0x67, 0x89, 0xAB,
|
||||||
|
},
|
||||||
|
/* map[uint16] any */ []byte {
|
||||||
|
byte(KTV.WithCN(0)), 3,
|
||||||
|
0x00, 0x01, 0x63, 0x43, 0xF4, 0xC0, 0x00,
|
||||||
|
0x00, 0x02, 0x82, 'h', 'i',
|
||||||
|
0x00, 0x03, 0x21, 0x39, 0x92,
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
var sampleValues = []any {
|
||||||
|
/* int8 */ int8(0x45),
|
||||||
|
/* int16 */ int16(0x4567),
|
||||||
|
/* int32 */ int32(0x456789AB),
|
||||||
|
/* int64 */ int64(0x456789ABCDEF0123),
|
||||||
|
/* uint5 */ uint8(12),
|
||||||
|
/* uint8 */ uint8(0x45),
|
||||||
|
/* uint16 */ uint16(0x4567),
|
||||||
|
/* uint32 */ uint32(0x456789AB),
|
||||||
|
/* uint64 */ uint64(0x456789ABCDEF0123),
|
||||||
|
/* bool */ false,
|
||||||
|
/* bool */ true,
|
||||||
|
/* string */ "pupever",
|
||||||
|
/* []byte */ "blarg",
|
||||||
|
/* []string */ []string {
|
||||||
|
"\x45\x67\x89\xAB\xCD\xEF\x01\x23",
|
||||||
|
"\x11\x11\x11\x11\x11",
|
||||||
|
},
|
||||||
|
/* map[uint16] any */ map[uint16] any {
|
||||||
|
0x0223: int16(0x4567),
|
||||||
|
0x0224: uint32(0x456789AB),
|
||||||
|
},
|
||||||
|
/* map[uint16] any */ map[uint16] any {
|
||||||
|
0x0001: float32(489.5),
|
||||||
|
0x0002: "hi",
|
||||||
|
0x0003: uint16(0x3992),
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
type userDefinedInteger int16
|
||||||
|
|
||||||
func TestEncodeAnyInt(test *testing.T) {
|
func TestEncodeAnyInt(test *testing.T) {
|
||||||
err := testEncodeAny(test, uint8(0xCA), LI.WithCN(0), tu.S(0xCA))
|
err := testEncodeAny(test, uint8(0xCA), LI.WithCN(0), tu.S(0xCA))
|
||||||
if err != nil { test.Fatal(err) }
|
if err != nil { test.Fatal(err) }
|
||||||
err = testEncodeAny(test, 400, LI.WithCN(3), tu.S(
|
err = testEncodeAny(test, 400, LSI.WithCN(3), tu.S(
|
||||||
0, 0, 0x1, 0x90,
|
0, 0, 0x1, 0x90,
|
||||||
))
|
))
|
||||||
if err != nil { test.Fatal(err) }
|
if err != nil { test.Fatal(err) }
|
||||||
@@ -22,15 +84,21 @@ func TestEncodeAnyTable(test *testing.T) {
|
|||||||
0x0000: "hi!",
|
0x0000: "hi!",
|
||||||
0xFFFF: []uint16 { 0xBEE5, 0x7777 },
|
0xFFFF: []uint16 { 0xBEE5, 0x7777 },
|
||||||
0x1234: [][]uint16 { []uint16 { 0x5 }, []uint16 { 0x17, 0xAAAA} },
|
0x1234: [][]uint16 { []uint16 { 0x5 }, []uint16 { 0x17, 0xAAAA} },
|
||||||
}, KTV.WithCN(0), tu.S(5).AddVar(
|
0x2345: [][]int16 { []int16 { 0x5 }, []int16 { 0x17, -0xAAA } },
|
||||||
|
0x3456: userDefinedInteger(0x3921),
|
||||||
|
0x1F1F: float32(67.26),
|
||||||
|
0x0F0F: float64(5.3),
|
||||||
|
0xAAAA: false,
|
||||||
|
0xBBBB: true,
|
||||||
|
}, KTV.WithCN(0), tu.S(11).AddVar(
|
||||||
[]byte {
|
[]byte {
|
||||||
0xF3, 0xB9,
|
0xF3, 0xB9,
|
||||||
byte(LI.WithCN(3)),
|
byte(LSI.WithCN(3)),
|
||||||
0, 0, 0, 1,
|
0, 0, 0, 1,
|
||||||
},
|
},
|
||||||
[]byte {
|
[]byte {
|
||||||
0x01, 0x02,
|
0x01, 0x02,
|
||||||
byte(LI.WithCN(3)),
|
byte(LSI.WithCN(3)),
|
||||||
0, 0, 0, 2,
|
0, 0, 0, 2,
|
||||||
},
|
},
|
||||||
[]byte {
|
[]byte {
|
||||||
@@ -52,21 +120,157 @@ func TestEncodeAnyTable(test *testing.T) {
|
|||||||
0, 0x17,
|
0, 0x17,
|
||||||
0xAA, 0xAA,
|
0xAA, 0xAA,
|
||||||
},
|
},
|
||||||
|
[]byte {
|
||||||
|
0x23, 0x45,
|
||||||
|
byte(OTA.WithCN(0)), 2, byte(OTA.WithCN(0)),
|
||||||
|
1, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x5,
|
||||||
|
2, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x17,
|
||||||
|
0xF5, 0x56,
|
||||||
|
},
|
||||||
|
[]byte {
|
||||||
|
0x34, 0x56,
|
||||||
|
byte(LSI.WithCN(1)),
|
||||||
|
0x39, 0x21,
|
||||||
|
},
|
||||||
|
[]byte {
|
||||||
|
0x1F, 0x1F,
|
||||||
|
byte(FP.WithCN(3)),
|
||||||
|
0x42, 0x86, 0x85, 0x1F,
|
||||||
|
},
|
||||||
|
[]byte {
|
||||||
|
0x0F, 0x0F,
|
||||||
|
byte(FP.WithCN(7)),
|
||||||
|
0x40, 0x15, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33,
|
||||||
|
},
|
||||||
|
[]byte {
|
||||||
|
0xAA, 0xAA,
|
||||||
|
byte(SI.WithCN(0)),
|
||||||
|
},
|
||||||
|
[]byte {
|
||||||
|
0xBB, 0xBB,
|
||||||
|
byte(SI.WithCN(1)),
|
||||||
|
},
|
||||||
))
|
))
|
||||||
if err != nil { test.Fatal(err) }
|
if err != nil { test.Fatal(err) }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func TestDecodeWrongType(test *testing.T) {
|
||||||
|
for index, data := range samplePayloads {
|
||||||
|
test.Logf("data %2d %v [%s]", index, Tag(data[0]), tu.HexBytes(data[1:]))
|
||||||
|
// integers should only assign to other integers
|
||||||
|
if index > 10 {
|
||||||
|
cas := func(destination any) {
|
||||||
|
n, err := DecodeAnyInto(NewDecoder(bytes.NewBuffer(data[1:])), destination, Tag(data[0]))
|
||||||
|
if err != nil { test.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
reflectValue := reflect.ValueOf(destination).Elem()
|
||||||
|
if reflectValue.CanInt() {
|
||||||
|
if reflectValue.Int() != 0 {
|
||||||
|
test.Fatalf("destination not zero: %v", reflectValue.Elem().Interface())
|
||||||
|
}
|
||||||
|
} else if reflectValue.Kind() != reflect.Bool {
|
||||||
|
if reflectValue.Uint() != 0 {
|
||||||
|
test.Fatalf("destination not zero: %v", reflectValue.Elem().Interface())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if n != len(data) - 1 {
|
||||||
|
test.Fatalf("n not equal: %d != %d", n, len(data) - 1)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
test.Log("- int8")
|
||||||
|
{ var dest int8; cas(&dest) }
|
||||||
|
test.Log("- int16")
|
||||||
|
{ var dest int16; cas(&dest) }
|
||||||
|
test.Log("- int32")
|
||||||
|
{ var dest int32; cas(&dest) }
|
||||||
|
test.Log("- int64")
|
||||||
|
{ var dest int64; cas(&dest) }
|
||||||
|
test.Log("- uint8")
|
||||||
|
{ var dest uint8; cas(&dest) }
|
||||||
|
test.Log("- uint16")
|
||||||
|
{ var dest uint16; cas(&dest) }
|
||||||
|
test.Log("- uint32")
|
||||||
|
{ var dest uint32; cas(&dest) }
|
||||||
|
test.Log("- uint64")
|
||||||
|
{ var dest uint64; cas(&dest) }
|
||||||
|
test.Log("- bool")
|
||||||
|
{ var dest bool; cas(&dest) }
|
||||||
|
}
|
||||||
|
arrayCase := func(destination any) {
|
||||||
|
n, err := DecodeAnyInto(NewDecoder(bytes.NewBuffer(data[1:])), destination, Tag(data[0]))
|
||||||
|
if err != nil { test.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
reflectDestination := reflect.ValueOf(destination)
|
||||||
|
reflectValue := reflectDestination.Elem()
|
||||||
|
if reflectValue.Len() != 0 {
|
||||||
|
test.Fatalf("len(destination) not zero: %v", reflectValue.Interface())
|
||||||
|
}
|
||||||
|
if n != len(data) - 1 {
|
||||||
|
test.Fatalf("n not equal: %d != %d", n, len(data) - 1)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
// SBA/LBA types should only assign to other SBA/LBA types
|
||||||
|
if index != 11 && index != 12 {
|
||||||
|
test.Log("- string")
|
||||||
|
{ var dest string; arrayCase(&dest) }
|
||||||
|
test.Log("- []byte")
|
||||||
|
{ var dest []byte; arrayCase(&dest) }
|
||||||
|
}
|
||||||
|
// arrays should only assign to other arrays
|
||||||
|
if index != 13 {
|
||||||
|
test.Log("- []string")
|
||||||
|
{ var dest []string; arrayCase(&dest) }
|
||||||
|
}
|
||||||
|
// tables should only assign to other tables
|
||||||
|
if index != 14 && index != 15 {
|
||||||
|
test.Log("- map[uint16] any")
|
||||||
|
{ var dest = map[uint16] any { }; arrayCase(&dest) }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
func TestEncodeDecodeAnyTable(test *testing.T) {
|
func TestEncodeDecodeAnyTable(test *testing.T) {
|
||||||
err := testEncodeDecodeAny(test, map[uint16] any {
|
err := testEncodeDecodeAny(test, map[uint16] any {
|
||||||
0xF3B9: 1,
|
0xF3B9: uint32(1),
|
||||||
0x0102: 2,
|
0x0102: uint32(2),
|
||||||
0x0000: []byte("hi!"),
|
0x0103: int64(23432),
|
||||||
|
0x0104: int64(-88777),
|
||||||
|
0x0000: "hi!",
|
||||||
0xFFFF: []uint16 { 0xBEE5, 0x7777 },
|
0xFFFF: []uint16 { 0xBEE5, 0x7777 },
|
||||||
0x1234: [][]uint16 { []uint16 { 0x5 }, []uint16 { 0x17, 0xAAAA} },
|
0x1234: [][]uint16 { []uint16 { 0x5 }, []uint16 { 0x17, 0xAAAA} },
|
||||||
|
0x1F1F: float32(67.26),
|
||||||
|
0x0F0F: float64(5.3),
|
||||||
}, nil)
|
}, nil)
|
||||||
if err != nil { test.Fatal(err) }
|
if err != nil { test.Fatal(err) }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func TestEncodeDecodeAnyDestination(test *testing.T) {
|
||||||
|
var destination any
|
||||||
|
for index, data := range samplePayloads {
|
||||||
|
if _, isBool := sampleValues[index].(bool); isBool {
|
||||||
|
// test is invalid for bools because they are never
|
||||||
|
// created as a skeleton value
|
||||||
|
continue
|
||||||
|
}
|
||||||
|
|
||||||
|
tag := Tag(data[0])
|
||||||
|
payload := data[1:]
|
||||||
|
test.Logf("data %2d %v [%s]", index, tag, tu.HexBytes(payload))
|
||||||
|
n, err := DecodeAnyInto(NewDecoder(bytes.NewBuffer(payload)), &destination, tag)
|
||||||
|
if err != nil { test.Fatalf("error: %v | n: %d", err, n) }
|
||||||
|
got := destination
|
||||||
|
correct := sampleValues[index]
|
||||||
|
test.Log("got: ", tu.Describe(got))
|
||||||
|
test.Log("correct:", tu.Describe(correct))
|
||||||
|
if !reflect.DeepEqual(got, correct) {
|
||||||
|
test.Fatalf("values not equal")
|
||||||
|
}
|
||||||
|
if n != len(payload) {
|
||||||
|
test.Fatalf("n not equal: %d != %d", n, len(payload))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
func TestPeekSlice(test *testing.T) {
|
func TestPeekSlice(test *testing.T) {
|
||||||
buffer := bytes.NewBuffer([]byte {
|
buffer := bytes.NewBuffer([]byte {
|
||||||
2, byte(OTA.WithCN(3)),
|
2, byte(OTA.WithCN(3)),
|
||||||
@@ -126,70 +330,68 @@ func TestPeekSliceOnce(test *testing.T) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
func encAny(value any) ([]byte, Tag, int, error) {
|
func TestTagAny(test *testing.T) {
|
||||||
tag, err := TagAny(value)
|
cases := [][2]any {
|
||||||
if err != nil { return nil, 0, 0, err }
|
[2]any { LSI.WithCN(3), int(9) },
|
||||||
buffer := bytes.Buffer { }
|
[2]any { LSI.WithCN(0), int8(9) },
|
||||||
encoder := NewEncoder(&buffer)
|
[2]any { LSI.WithCN(1), int16(9) },
|
||||||
n, err := EncodeAny(encoder, value, tag)
|
[2]any { LSI.WithCN(3), int32(9) },
|
||||||
if err != nil { return nil, 0, n, err }
|
[2]any { LSI.WithCN(7), int64(9) },
|
||||||
encoder.Flush()
|
[2]any { LI.WithCN(3), uint(9) },
|
||||||
return buffer.Bytes(), tag, n, nil
|
[2]any { LI.WithCN(0), uint8(9) },
|
||||||
|
[2]any { LI.WithCN(1), uint16(9) },
|
||||||
|
[2]any { LI.WithCN(3), uint32(9) },
|
||||||
|
[2]any { LI.WithCN(7), uint64(9) },
|
||||||
|
[2]any { FP.WithCN(3), float32(9) },
|
||||||
|
[2]any { FP.WithCN(7), float64(9) },
|
||||||
|
[2]any { SBA.WithCN(12), "small string" },
|
||||||
|
[2]any { SBA.WithCN(12), []byte("small string") },
|
||||||
|
[2]any { LBA.WithCN(0), "this is a very long string that is long" },
|
||||||
|
[2]any { LBA.WithCN(0), []byte("this is a very long string that is long") },
|
||||||
|
[2]any { LBA.WithCN(1), lipsum },
|
||||||
|
[2]any { OTA.WithCN(0), []int { 1, 2, 3, 4, 5 } },
|
||||||
|
[2]any { OTA.WithCN(0), []string { "1, 2, 3, 4, 5" } },
|
||||||
|
[2]any { KTV.WithCN(0), map[uint16] any {
|
||||||
|
0: 1,
|
||||||
|
1: "wow",
|
||||||
|
2: 10.238,
|
||||||
|
45: -9,
|
||||||
|
9: map[uint16] any { },
|
||||||
|
}},
|
||||||
|
}
|
||||||
|
for _, cas := range cases {
|
||||||
|
test.Log(cas)
|
||||||
|
got, err := TagAny(cas[1])
|
||||||
|
if err != nil { test.Fatal(err) }
|
||||||
|
if correct := cas[0].(Tag); correct != got {
|
||||||
|
test.Fatalf("wrong tag: %v != %v", got, correct)
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
func decAny(data []byte) (Tag, any, int, error) {
|
func TestDecodeAny(test *testing.T) {
|
||||||
destination := map[uint16] any { }
|
for index, payload := range samplePayloads {
|
||||||
tag, err := TagAny(destination)
|
if _, isBool := sampleValues[index].(bool); isBool {
|
||||||
if err != nil { return 0, nil, 0, err }
|
// test is invalid for bools because they are never
|
||||||
n, err := DecodeAny(NewDecoder(bytes.NewBuffer(data)), &destination, tag)
|
// created as a skeleton value
|
||||||
if err != nil { return 0, nil, n, err }
|
continue
|
||||||
return tag, destination, n, nil
|
|
||||||
}
|
}
|
||||||
|
|
||||||
func testEncodeAny(test *testing.T, value any, correctTag Tag, correctBytes tu.Snake) error {
|
correctValue := sampleValues[index]
|
||||||
bytes, tag, n, err := encAny(value)
|
data := payload[1:]
|
||||||
if err != nil { return err }
|
decoder := NewDecoder(bytes.NewBuffer(data))
|
||||||
|
tag := Tag(payload[0])
|
||||||
|
decoded, n, err := DecodeAny(decoder, tag)
|
||||||
test.Log("n: ", n)
|
test.Log("n: ", n)
|
||||||
test.Log("tag: ", tag)
|
test.Log("tag: ", tag)
|
||||||
test.Log("got: ", tu.HexBytes(bytes))
|
test.Log("got: ", tu.Describe(decoded))
|
||||||
test.Log("correct:", correctBytes)
|
test.Log("correct:", tu.Describe(correctValue))
|
||||||
if tag != correctTag {
|
if err != nil { test.Fatal(err) }
|
||||||
return fmt.Errorf("tag not equal")
|
|
||||||
}
|
|
||||||
if ok, n := correctBytes.Check(bytes); !ok {
|
|
||||||
return fmt.Errorf("bytes not equal: %d", n)
|
|
||||||
}
|
|
||||||
if n != len(bytes) {
|
|
||||||
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
|
||||||
}
|
|
||||||
return nil
|
|
||||||
}
|
|
||||||
|
|
||||||
func testEncodeDecodeAny(test *testing.T, value, correctValue any) error {
|
|
||||||
if correctValue == nil {
|
|
||||||
correctValue = value
|
|
||||||
}
|
|
||||||
|
|
||||||
test.Log("encoding...")
|
|
||||||
bytes, tag, n, err := encAny(value)
|
|
||||||
if err != nil { return err }
|
|
||||||
test.Log("n: ", n)
|
|
||||||
test.Log("tag:", tag)
|
|
||||||
test.Log("got:", tu.HexBytes(bytes))
|
|
||||||
test.Log("decoding...", tag)
|
|
||||||
if n != len(bytes) {
|
|
||||||
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
|
||||||
}
|
|
||||||
|
|
||||||
_, decoded, n, err := decAny(bytes)
|
|
||||||
if err != nil { return err }
|
|
||||||
test.Log("got: ", decoded)
|
|
||||||
test.Log("correct:", correctValue)
|
|
||||||
if !reflect.DeepEqual(decoded, correctValue) {
|
if !reflect.DeepEqual(decoded, correctValue) {
|
||||||
return fmt.Errorf("values not equal")
|
test.Fatal("values not equal")
|
||||||
|
}
|
||||||
|
if n != len(data) {
|
||||||
|
test.Fatalf("n not equal: %d != %d", n, len(data))
|
||||||
}
|
}
|
||||||
if n != len(bytes) {
|
|
||||||
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
|
||||||
}
|
}
|
||||||
return nil
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -102,6 +102,11 @@ func (this *Encoder) WriteUintN(value uint64, bytes int) (n int, err error) {
|
|||||||
return n, nil
|
return n, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// WriteFloat16 encodes a 16-bit floating point value to the output writer.
|
||||||
|
func (this *Encoder) WriteFloat16(value float32) (n int, err error) {
|
||||||
|
return this.WriteUint16(f32bitsToF16bits(math.Float32bits(value)))
|
||||||
|
}
|
||||||
|
|
||||||
// WriteFloat32 encodes a 32-bit floating point value to the output writer.
|
// WriteFloat32 encodes a 32-bit floating point value to the output writer.
|
||||||
func (this *Encoder) WriteFloat32(value float32) (n int, err error) {
|
func (this *Encoder) WriteFloat32(value float32) (n int, err error) {
|
||||||
return this.WriteUint32(math.Float32bits(value))
|
return this.WriteUint32(math.Float32bits(value))
|
||||||
@@ -116,3 +121,69 @@ func (this *Encoder) WriteFloat64(value float64) (n int, err error) {
|
|||||||
func (this *Encoder) WriteTag(value Tag) (n int, err error) {
|
func (this *Encoder) WriteTag(value Tag) (n int, err error) {
|
||||||
return this.WriteUint8(uint8(value))
|
return this.WriteUint8(uint8(value))
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// f32bitsToF16bits returns uint16 (Float16 bits) converted from the specified float32.
|
||||||
|
// Conversion rounds to nearest integer with ties to even.
|
||||||
|
// Taken from https://github.com/x448/float16/blob/v0.8.4/float16
|
||||||
|
//
|
||||||
|
// MIT License
|
||||||
|
//
|
||||||
|
// Copyright (c) 2019 Montgomery Edwards⁴⁴⁸ and Faye Amacker
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
||||||
|
// of this software and associated documentation files (the "Software"), to deal
|
||||||
|
// in the Software without restriction, including without limitation the rights
|
||||||
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||||||
|
// copies of the Software, and to permit persons to whom the Software is
|
||||||
|
// furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all
|
||||||
|
// copies or substantial portions of the Software.
|
||||||
|
func f32bitsToF16bits(u32 uint32) uint16 {
|
||||||
|
// Translated from Rust to Go by Montgomery Edwards⁴⁴⁸ (github.com/x448).
|
||||||
|
// All 4294967296 conversions with this were confirmed to be correct by x448.
|
||||||
|
// Original Rust implementation is by Kathryn Long (github.com/starkat99) with MIT license.
|
||||||
|
|
||||||
|
sign := u32 & 0x80000000
|
||||||
|
exp := u32 & 0x7f800000
|
||||||
|
coef := u32 & 0x007fffff
|
||||||
|
|
||||||
|
if exp == 0x7f800000 {
|
||||||
|
// NaN or Infinity
|
||||||
|
nanBit := uint32(0)
|
||||||
|
if coef != 0 {
|
||||||
|
nanBit = uint32(0x0200)
|
||||||
|
}
|
||||||
|
return uint16((sign >> 16) | uint32(0x7c00) | nanBit | (coef >> 13))
|
||||||
|
}
|
||||||
|
|
||||||
|
halfSign := sign >> 16
|
||||||
|
|
||||||
|
unbiasedExp := int32(exp>>23) - 127
|
||||||
|
halfExp := unbiasedExp + 15
|
||||||
|
|
||||||
|
if halfExp >= 0x1f {
|
||||||
|
return uint16(halfSign | uint32(0x7c00))
|
||||||
|
}
|
||||||
|
|
||||||
|
if halfExp <= 0 {
|
||||||
|
if 14-halfExp > 24 {
|
||||||
|
return uint16(halfSign)
|
||||||
|
}
|
||||||
|
coef := coef | uint32(0x00800000)
|
||||||
|
halfCoef := coef >> uint32(14-halfExp)
|
||||||
|
roundBit := uint32(1) << uint32(13-halfExp)
|
||||||
|
if (coef&roundBit) != 0 && (coef&(3*roundBit-1)) != 0 {
|
||||||
|
halfCoef++
|
||||||
|
}
|
||||||
|
return uint16(halfSign | halfCoef)
|
||||||
|
}
|
||||||
|
|
||||||
|
uHalfExp := uint32(halfExp) << 10
|
||||||
|
halfCoef := coef >> 13
|
||||||
|
roundBit := uint32(0x00001000)
|
||||||
|
if (coef&roundBit) != 0 && (coef&(3*roundBit-1)) != 0 {
|
||||||
|
return uint16((halfSign | uHalfExp | halfCoef) + 1)
|
||||||
|
}
|
||||||
|
return uint16(halfSign | uHalfExp | halfCoef)
|
||||||
|
}
|
||||||
|
|||||||
12
tape/error.go
Normal file
12
tape/error.go
Normal file
@@ -0,0 +1,12 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
// Error enumerates common errors in this package.
|
||||||
|
type Error string; const (
|
||||||
|
ErrTooLong Error = "data structure too long"
|
||||||
|
ErrTooLarge Error = "number too large"
|
||||||
|
)
|
||||||
|
|
||||||
|
// Error implements the error interface.
|
||||||
|
func (err Error) Error() string {
|
||||||
|
return string(err)
|
||||||
|
}
|
||||||
26
tape/limits.go
Normal file
26
tape/limits.go
Normal file
@@ -0,0 +1,26 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
// MaxStructureLength determines how long a TAPE data structure can be. This
|
||||||
|
// applies to:
|
||||||
|
//
|
||||||
|
// - OTA
|
||||||
|
// - SBA/LBA
|
||||||
|
// - KTV
|
||||||
|
//
|
||||||
|
// By default it is set at 2^20 (about a million).
|
||||||
|
// You shouldn't need to change this. If you do, it should only be set once at
|
||||||
|
// the start of the program.
|
||||||
|
var MaxStructureLength = 1024 * 1024
|
||||||
|
|
||||||
|
// MaxInt is the maximum value an int can hold. This varies depending on the
|
||||||
|
// system.
|
||||||
|
const MaxInt int = int(^uint(0) >> 1)
|
||||||
|
|
||||||
|
// Uint64ToIntSafe casts the input to an int if it can be done without overflow,
|
||||||
|
// or returns an error otherwise.
|
||||||
|
func Uint64ToIntSafe(input uint64) (int, error) {
|
||||||
|
if input > uint64(MaxInt) {
|
||||||
|
return 0, ErrTooLarge
|
||||||
|
}
|
||||||
|
return int(input), nil
|
||||||
|
}
|
||||||
75
tape/misc_test.go
Normal file
75
tape/misc_test.go
Normal file
@@ -0,0 +1,75 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
import "fmt"
|
||||||
|
import "bytes"
|
||||||
|
import "testing"
|
||||||
|
import "reflect"
|
||||||
|
import tu "git.tebibyte.media/sashakoshka/hopp/internal/testutil"
|
||||||
|
|
||||||
|
func encAny(value any) ([]byte, Tag, int, error) {
|
||||||
|
tag, err := TagAny(value)
|
||||||
|
if err != nil { return nil, 0, 0, err }
|
||||||
|
buffer := bytes.Buffer { }
|
||||||
|
encoder := NewEncoder(&buffer)
|
||||||
|
n, err := EncodeAny(encoder, value, tag)
|
||||||
|
if err != nil { return nil, 0, n, err }
|
||||||
|
encoder.Flush()
|
||||||
|
return buffer.Bytes(), tag, n, nil
|
||||||
|
}
|
||||||
|
|
||||||
|
func decAny(data []byte) (Tag, any, int, error) {
|
||||||
|
destination := map[uint16] any { }
|
||||||
|
tag, err := TagAny(destination)
|
||||||
|
if err != nil { return 0, nil, 0, err }
|
||||||
|
n, err := DecodeAnyInto(NewDecoder(bytes.NewBuffer(data)), &destination, tag)
|
||||||
|
if err != nil { return 0, nil, n, err }
|
||||||
|
return tag, destination, n, nil
|
||||||
|
}
|
||||||
|
|
||||||
|
func testEncodeAny(test *testing.T, value any, correctTag Tag, correctBytes tu.Snake) error {
|
||||||
|
bytes, tag, n, err := encAny(value)
|
||||||
|
if err != nil { return err }
|
||||||
|
test.Log("n: ", n)
|
||||||
|
test.Log("tag: ", tag)
|
||||||
|
test.Log("got: ", tu.HexBytes(bytes))
|
||||||
|
test.Log("correct:", correctBytes)
|
||||||
|
if tag != correctTag {
|
||||||
|
return fmt.Errorf("tag not equal: %v != %v", tag, correctTag)
|
||||||
|
}
|
||||||
|
if ok, n := correctBytes.Check(bytes); !ok {
|
||||||
|
return fmt.Errorf("bytes not equal at index %d", n)
|
||||||
|
}
|
||||||
|
if n != len(bytes) {
|
||||||
|
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
||||||
|
}
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
func testEncodeDecodeAny(test *testing.T, value, correctValue any) error {
|
||||||
|
if correctValue == nil {
|
||||||
|
correctValue = value
|
||||||
|
}
|
||||||
|
|
||||||
|
test.Log("encoding...")
|
||||||
|
bytes, tag, n, err := encAny(value)
|
||||||
|
if err != nil { return err }
|
||||||
|
test.Log("n: ", n)
|
||||||
|
test.Log("tag:", tag)
|
||||||
|
test.Log("got:", tu.HexBytes(bytes))
|
||||||
|
test.Log("decoding...", tag)
|
||||||
|
if n != len(bytes) {
|
||||||
|
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
||||||
|
}
|
||||||
|
|
||||||
|
_, decoded, n, err := decAny(bytes)
|
||||||
|
if err != nil { return err }
|
||||||
|
test.Log("got: ", tu.Describe(decoded))
|
||||||
|
test.Log("correct:", tu.Describe(correctValue))
|
||||||
|
if !reflect.DeepEqual(decoded, correctValue) {
|
||||||
|
return fmt.Errorf("values not equal")
|
||||||
|
}
|
||||||
|
if n != len(bytes) {
|
||||||
|
return fmt.Errorf("n not equal: %d != %d", n, len(bytes))
|
||||||
|
}
|
||||||
|
return nil
|
||||||
|
}
|
||||||
54
tape/skim.go
Normal file
54
tape/skim.go
Normal file
@@ -0,0 +1,54 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
import "fmt"
|
||||||
|
|
||||||
|
// Skim uses up data from a decoder to "skim" over one value (and all else
|
||||||
|
// contained within it) without actually putting the data anywhere.
|
||||||
|
func Skim(decoder *Decoder, tag Tag) (n int, err error) {
|
||||||
|
switch tag.WithoutCN() {
|
||||||
|
case SI:
|
||||||
|
// SI: (none)
|
||||||
|
return n, nil
|
||||||
|
case LI, LSI, FP:
|
||||||
|
// LI: <value: IntN>
|
||||||
|
// LSI: <value: IntN>
|
||||||
|
// FP: <value: FloatN>
|
||||||
|
nn, err := decoder.Discard(tag.CN() + 1)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
case SBA:
|
||||||
|
// SBA: <data: U8>*
|
||||||
|
nn, err := decoder.Discard(tag.CN())
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
case LBA:
|
||||||
|
// LBA: <length: UN> <data: U8>*
|
||||||
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
nn, err = decoder.Discard(int(length))
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
case OTA:
|
||||||
|
// OTA: <length: UN> <elementTag: tape.Tag> <values>*
|
||||||
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
oneTag, nn, err := decoder.ReadTag()
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
for _ = range length {
|
||||||
|
nn, err := Skim(decoder, oneTag)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
}
|
||||||
|
case KTV:
|
||||||
|
// KTV: <length: UN> (<key: U16> <tag: Tag> <value>)*
|
||||||
|
length, nn, err := decoder.ReadUintN(tag.CN() + 1)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
for _ = range length {
|
||||||
|
nn, err := decoder.Discard(2)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
itemTag, nn, err := decoder.ReadTag()
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
nn, err = Skim(decoder, itemTag)
|
||||||
|
n += nn; if err != nil { return n, err }
|
||||||
|
}
|
||||||
|
default:
|
||||||
|
return n, fmt.Errorf("unknown TN %d", tag.TN())
|
||||||
|
}
|
||||||
|
return n, nil
|
||||||
|
}
|
||||||
137
tape/skim_test.go
Normal file
137
tape/skim_test.go
Normal file
@@ -0,0 +1,137 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
import "bytes"
|
||||||
|
import "testing"
|
||||||
|
|
||||||
|
func TestSkimInteger(test *testing.T) {
|
||||||
|
data := []byte {
|
||||||
|
0x12, 0x45, 0x23, 0xF9,
|
||||||
|
}
|
||||||
|
mainDataLen := len(data)
|
||||||
|
// extra junk
|
||||||
|
data = append(data, 0x00, 0x01, 0x02, 0x03,)
|
||||||
|
|
||||||
|
n, err := Skim(NewDecoder(bytes.NewBuffer(data)), LI.WithCN(3))
|
||||||
|
if err != nil {
|
||||||
|
test.Fatal(err)
|
||||||
|
}
|
||||||
|
if got, correct := n, mainDataLen; got != correct {
|
||||||
|
test.Fatalf("n not equal: %d != %d", got, correct)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestSkimArray(test *testing.T) {
|
||||||
|
data := []byte {
|
||||||
|
2, byte(LI.WithCN(1)),
|
||||||
|
0xBE, 0xE5, 0x77, 0x77,
|
||||||
|
}
|
||||||
|
mainDataLen := len(data)
|
||||||
|
// extra junk
|
||||||
|
data = append(data, 0x00, 0x01, 0x02, 0x03,)
|
||||||
|
|
||||||
|
n, err := Skim(NewDecoder(bytes.NewBuffer(data)), OTA.WithCN(0))
|
||||||
|
if err != nil {
|
||||||
|
test.Fatal(err)
|
||||||
|
}
|
||||||
|
if got, correct := n, mainDataLen; got != correct {
|
||||||
|
test.Fatalf("n not equal: %d != %d", got, correct)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestSkimNestedArray(test *testing.T) {
|
||||||
|
data := []byte {
|
||||||
|
2, byte(OTA.WithCN(0)),
|
||||||
|
1, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x5,
|
||||||
|
2, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x17,
|
||||||
|
0xF5, 0x56,
|
||||||
|
}
|
||||||
|
mainDataLen := len(data)
|
||||||
|
// extra junk
|
||||||
|
data = append(data, 0x00, 0x01, 0x02, 0x03,)
|
||||||
|
|
||||||
|
n, err := Skim(NewDecoder(bytes.NewBuffer(data)), OTA.WithCN(0))
|
||||||
|
if err != nil {
|
||||||
|
test.Fatal(err)
|
||||||
|
}
|
||||||
|
if got, correct := n, mainDataLen; got != correct {
|
||||||
|
test.Fatalf("n not equal: %d != %d", got, correct)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestSkimTable(test *testing.T) {
|
||||||
|
data := []byte {
|
||||||
|
2,
|
||||||
|
0xF3, 0xB9,
|
||||||
|
byte(LSI.WithCN(3)),
|
||||||
|
0, 0, 0, 1,
|
||||||
|
|
||||||
|
0x01, 0x02,
|
||||||
|
byte(LSI.WithCN(3)),
|
||||||
|
0, 0, 0, 2,
|
||||||
|
}
|
||||||
|
mainDataLen := len(data)
|
||||||
|
// extra junk
|
||||||
|
data = append(data, 0x00, 0x01, 0x02, 0x03, 0x00, 0x01, 0x02, 0x03, 0x00, 0x01, 0x02, 0x03)
|
||||||
|
|
||||||
|
n, err := Skim(NewDecoder(bytes.NewBuffer(data)), KTV.WithCN(0))
|
||||||
|
if got, correct := n, mainDataLen; got != correct {
|
||||||
|
test.Fatalf("n not equal: %d != %d ... (%d)", got, correct, len(data))
|
||||||
|
}
|
||||||
|
if err != nil {
|
||||||
|
test.Fatal(err)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
func TestSkimTableComplex(test *testing.T) {
|
||||||
|
data := []byte {
|
||||||
|
7,
|
||||||
|
0xF3, 0xB9,
|
||||||
|
byte(LSI.WithCN(3)),
|
||||||
|
0, 0, 0, 1,
|
||||||
|
|
||||||
|
0x01, 0x02,
|
||||||
|
byte(LSI.WithCN(3)),
|
||||||
|
0, 0, 0, 2,
|
||||||
|
|
||||||
|
0, 0,
|
||||||
|
byte(SBA.WithCN(3)),
|
||||||
|
'h', 'i', '!',
|
||||||
|
|
||||||
|
0xFF, 0xFF,
|
||||||
|
byte(OTA.WithCN(0)), 2, byte(LI.WithCN(1)),
|
||||||
|
0xBE, 0xE5, 0x77, 0x77,
|
||||||
|
|
||||||
|
0x12, 0x34,
|
||||||
|
byte(OTA.WithCN(0)), 2, byte(OTA.WithCN(0)),
|
||||||
|
1, byte(LI.WithCN(1)),
|
||||||
|
0, 0x5,
|
||||||
|
2, byte(LI.WithCN(1)),
|
||||||
|
0, 0x17,
|
||||||
|
0xAA, 0xAA,
|
||||||
|
|
||||||
|
0x23, 0x45,
|
||||||
|
byte(OTA.WithCN(0)), 2, byte(OTA.WithCN(0)),
|
||||||
|
1, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x5,
|
||||||
|
2, byte(LSI.WithCN(1)),
|
||||||
|
0, 0x17,
|
||||||
|
0xF5, 0x56,
|
||||||
|
|
||||||
|
0x34, 0x56,
|
||||||
|
byte(LSI.WithCN(1)),
|
||||||
|
0x39, 0x21,
|
||||||
|
}
|
||||||
|
mainDataLen := len(data)
|
||||||
|
// extra junk
|
||||||
|
data = append(data, 0x00, 0x01, 0x02, 0x03, 0x00, 0x01, 0x02, 0x03, 0x00, 0x01, 0x02, 0x03)
|
||||||
|
|
||||||
|
n, err := Skim(NewDecoder(bytes.NewBuffer(data)), KTV.WithCN(0))
|
||||||
|
if got, correct := n, mainDataLen; got != correct {
|
||||||
|
test.Fatalf("n not equal: %d != %d ... (%d)", got, correct, len(data))
|
||||||
|
}
|
||||||
|
if err != nil {
|
||||||
|
test.Fatal(err)
|
||||||
|
}
|
||||||
|
}
|
||||||
11
tape/strings.go
Normal file
11
tape/strings.go
Normal file
@@ -0,0 +1,11 @@
|
|||||||
|
package tape
|
||||||
|
|
||||||
|
const lipsum = `Lorem ipsum dolor sit amet consectetur adipiscing elit. Quisque faucibus ex sapien vitae pellentesque sem placerat. In id cursus mi pretium tellus duis convallis. Tempus leo eu aenean sed diam urna tempor. Pulvinar vivamus fringilla lacus nec metus bibendum egestas. Iaculis massa nisl malesuada lacinia integer nunc posuere. Ut hendrerit semper vel class aptent taciti sociosqu. Ad litora torquent per conubia nostra inceptos himenaeos.
|
||||||
|
|
||||||
|
Lorem ipsum dolor sit amet consectetur adipiscing elit. Quisque faucibus ex sapien vitae pellentesque sem placerat. In id cursus mi pretium tellus duis convallis. Tempus leo eu aenean sed diam urna tempor. Pulvinar vivamus fringilla lacus nec metus bibendum egestas. Iaculis massa nisl malesuada lacinia integer nunc posuere. Ut hendrerit semper vel class aptent taciti sociosqu. Ad litora torquent per conubia nostra inceptos himenaeos.
|
||||||
|
|
||||||
|
Lorem ipsum dolor sit amet consectetur adipiscing elit. Quisque faucibus ex sapien vitae pellentesque sem placerat. In id cursus mi pretium tellus duis convallis. Tempus leo eu aenean sed diam urna tempor. Pulvinar vivamus fringilla lacus nec metus bibendum egestas. Iaculis massa nisl malesuada lacinia integer nunc posuere. Ut hendrerit semper vel class aptent taciti sociosqu. Ad litora torquent per conubia nostra inceptos himenaeos.
|
||||||
|
|
||||||
|
Lorem ipsum dolor sit amet consectetur adipiscing elit. Quisque faucibus ex sapien vitae pellentesque sem placerat. In id cursus mi pretium tellus duis convallis. Tempus leo eu aenean sed diam urna tempor. Pulvinar vivamus fringilla lacus nec metus bibendum egestas. Iaculis massa nisl malesuada lacinia integer nunc posuere. Ut hendrerit semper vel class aptent taciti sociosqu. Ad litora torquent per conubia nostra inceptos himenaeos.
|
||||||
|
|
||||||
|
Lorem ipsum dolor sit amet consectetur adipiscing elit. Quisque faucibus ex sapien vitae pellentesque sem placerat. In id cursus mi pretium tellus duis convallis. Tempus leo eu aenean sed diam urna tempor. Pulvinar vivamus fringilla lacus nec metus bibendum egestas. Iaculis massa nisl malesuada lacinia integer nunc posuere. Ut hendrerit semper vel class aptent taciti sociosqu. Ad litora torquent per conubia nostra inceptos himenaeos.`
|
||||||
34
tape/tag.go
34
tape/tag.go
@@ -2,19 +2,33 @@ package tape
|
|||||||
|
|
||||||
import "fmt"
|
import "fmt"
|
||||||
|
|
||||||
|
// TODO: fix #7
|
||||||
|
|
||||||
type Tag byte; const (
|
type Tag byte; const (
|
||||||
SI Tag = 0 << 5 // Small integer
|
SI Tag = 0 << 5 // Small integer
|
||||||
LI Tag = 1 << 5 // Large integer
|
LI Tag = 1 << 5 // Large unsigned integer
|
||||||
FP Tag = 2 << 5 // Floating point
|
LSI Tag = 2 << 5 // Large signed integer
|
||||||
SBA Tag = 3 << 5 // Small byte array
|
FP Tag = 3 << 5 // Floating point
|
||||||
LBA Tag = 4 << 5 // Large byte array
|
SBA Tag = 4 << 5 // Small byte array
|
||||||
OTA Tag = 5 << 5 // One-tag array
|
LBA Tag = 5 << 5 // Large byte array
|
||||||
KTV Tag = 6 << 5 // Key-tag-value table
|
OTA Tag = 6 << 5 // One-tag array
|
||||||
|
KTV Tag = 7 << 5 // Key-tag-value table
|
||||||
TNMask Tag = 0xE0 // The entire TN bitfield
|
TNMask Tag = 0xE0 // The entire TN bitfield
|
||||||
CNMask Tag = 0x1F // The entire CN bitfield
|
CNMask Tag = 0x1F // The entire CN bitfield
|
||||||
CNLimit Tag = 32 // All valid CNs are < CNLimit
|
CNLimit Tag = 32 // All valid CNs are < CNLimit
|
||||||
)
|
)
|
||||||
|
|
||||||
|
// what the first nybble of a tag means:
|
||||||
|
//
|
||||||
|
// 0-1 : SI
|
||||||
|
// 2-3 : LI
|
||||||
|
// 4-5 : LSI
|
||||||
|
// 6-7 : FP
|
||||||
|
// 8-9 : SBA
|
||||||
|
// A-B : LBA
|
||||||
|
// C-D : OTA
|
||||||
|
// E-F : KTV
|
||||||
|
|
||||||
func (tag Tag) TN() int {
|
func (tag Tag) TN() int {
|
||||||
return int(tag >> 5)
|
return int(tag >> 5)
|
||||||
}
|
}
|
||||||
@@ -40,6 +54,7 @@ func (tag Tag) String() string {
|
|||||||
switch tag.WithoutCN() {
|
switch tag.WithoutCN() {
|
||||||
case SI: tn = "SI"
|
case SI: tn = "SI"
|
||||||
case LI: tn = "LI"
|
case LI: tn = "LI"
|
||||||
|
case LSI: tn = "LSI"
|
||||||
case FP: tn = "FP"
|
case FP: tn = "FP"
|
||||||
case SBA: tn = "SBA"
|
case SBA: tn = "SBA"
|
||||||
case LBA: tn = "LBA"
|
case LBA: tn = "LBA"
|
||||||
@@ -54,10 +69,15 @@ func BufferTag(value []byte) Tag {
|
|||||||
return bufferLenTag(len(value))
|
return bufferLenTag(len(value))
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// StringTag returns the appropriate tag for a string.
|
||||||
|
func StringTag(value string) Tag {
|
||||||
|
return bufferLenTag(len(value))
|
||||||
|
}
|
||||||
|
|
||||||
func bufferLenTag(length int) Tag {
|
func bufferLenTag(length int) Tag {
|
||||||
if length < int(CNLimit) {
|
if length < int(CNLimit) {
|
||||||
return SBA.WithCN(length)
|
return SBA.WithCN(length)
|
||||||
} else {
|
} else {
|
||||||
return LBA.WithCN(IntBytes(uint64(length)))
|
return LBA.WithCN(IntBytes(uint64(length)) - 1)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user