tasty-query/dotty.tools.tasty/TastyHeaderUnpickler

TastyHeaderUnpickler

class TastyHeaderUnpickler(reader: TastyReader)
Companion
object
class Object
trait Matchable
class Any

Value members

Constructors

def this(bytes: Array[Byte])

Concrete methods

def isAtEnd: Boolean
def readFullHeader(): TastyHeader

reads and verifies the TASTy version, extracting the whole header

reads and verifies the TASTy version, extracting the whole header

def readHeader(): UUID

reads and verifies the TASTy version, extracting the UUID

reads and verifies the TASTy version, extracting the UUID