TastyHeader

dotty.tools.tasty.TastyHeader

sealed abstract case class TastyHeader(uuid: UUID, majorVersion: Int, minorVersion: Int, experimentalVersion: Int, toolingVersion: String)

The Tasty Header consists of four fields:

uuid
contains a hash of the sections of the TASTy file
majorVersion
matching the TASTy format version that last broke backwards compatibility
minorVersion
matching the TASTy format version that last broke forward compatibility
experimentalVersion
0 for final compiler version
positive for between minor versions and forward compatibility is broken since the previous stable version.
toolingVersion
arbitrary string representing the tooling that produced the TASTy

Attributes

Source: TastyHeaderUnpickler.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

In this article

Generated with