tasty-query
API
Generated with
tasty-query/dotty.tools.tasty/TastyHeaderUnpickler

TastyHeaderUnpickler

dotty.tools.tasty.TastyHeaderUnpickler
See theTastyHeaderUnpickler companion object
class TastyHeaderUnpickler(reader: TastyReader)

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

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

Attributes

def readHeader(): UUID

reads and verifies the TASTy version, extracting the UUID

reads and verifies the TASTy version, extracting the UUID

Attributes

Generated with