TastyReader
A byte array buffer that can be filled with bytes or natural numbers in TASTY format, and that supports reading and patching addresses represented as natural numbers.
Value parameters
- base
-
The index referenced by the logical zero address Addr(0)
- bytes
-
The array containing data
- end
-
The position one greater than the last byte to be read
- start
-
The position from which to read
Attributes
- Source
- TastyReader.scala
- Graph
-
- Supertypes
Members list
Value members
Constructors
Attributes
- Source
- TastyReader.scala
Concrete methods
Attributes
- Source
- TastyReader.scala
Perform op
while cindition cond
holds and collect results in a list.
Perform op
while cindition cond
holds and collect results in a list.
Attributes
- Source
- TastyReader.scala
The address of the next byte to read
the address one greater than the last brte to read
Set read position to the one pointed to by addr
If before given end
address, the result of op
, otherwise default
If before given end
address, the result of op
, otherwise default
Attributes
- Source
- TastyReader.scala
Attributes
- Source
- TastyReader.scala
Have all bytes been read?
Returns the next byte of data as a natural number without advancing the read position
Returns the next byte of data as a natural number without advancing the read position
Attributes
- Source
- TastyReader.scala
Read a natural number and return as an address
Read a byte of data.
Read the next n
bytes of data
.
Read a length number and return the absolute end address implied by it, given as
+Read a length number and return the absolute end address implied by it, given as
+Attributes
- Source
- TastyReader.scala
Read an integer number in 2's complement big endian format, base 128.
Read an integer number in 2's complement big endian format, base 128. All but the last digits have bit 0x80 set.
Attributes
- Source
- TastyReader.scala
Read a long integer number in 2's complement big endian format, base 128.
Read a long integer number in 2's complement big endian format, base 128.
Attributes
- Source
- TastyReader.scala
Read a natural number fitting in a Long in big endian format, base 128.
Read a natural number fitting in a Long in big endian format, base 128. All but the last digits have bit 0x80 set.
Attributes
- Source
- TastyReader.scala
Read a natural number and return as a NameRef
Read a natural number fitting in an Int in big endian format, base 128.
Read a natural number fitting in an Int in big endian format, base 128. All but the last digits have bit 0x80 set.
Attributes
- Source
- TastyReader.scala
Read an uncompressed Long stored in 8 bytes in big endian format
Read an uncompressed Long stored in 8 bytes in big endian format
Attributes
- Source
- TastyReader.scala
The address of the first byte to read, respectively byte that was read
The address of the first byte to read, respectively byte that was read
Attributes
- Source
- TastyReader.scala
A new reader over the same array with the same address base, but with specified start and end positions
A new reader over the same array with the same address base, but with specified start and end positions
Attributes
- Source
- TastyReader.scala
Perform op
until end
address is reached and collect results in a list.
Perform op
until end
address is reached and collect results in a list.
Attributes
- Source
- TastyReader.scala