MagicHeaderInfo

dotty.tools.dotc.util.WrappedSourceFile.MagicHeaderInfo

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class HasHeader(offset: Int, originalFile: SourceFile)
case NoHeader extends MagicHeaderInfo