Constructors

Members

[+] class DottyUnpickler

A class for unpickling Tasty trees and symbols.

[+] final object DottyUnpickler

[+] class NameBuffer

[+] final object NameBuffer

[+] class PositionPickler

[+] class PositionUnpickler

Unpickler for tree positions

[+] class TastyBuffer

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 n...

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.

[+] final object TastyBuffer

[+] final object TastyFormat

[+] class TastyPickler

[+] class TastyPrinter

[+] class 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 n...

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.

[+] final object 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 n...

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.

[+] class TastyUnpickler

[+] final object TastyUnpickler

[+] class TreeBuffer

[+] class TreePickler

[+] class TreeUnpickler

Unpickler for typed trees

[+] final object TreeUnpickler