final object SourcePosition
extends Function3

A source position is comprised of a position in a source file

Constructors

Members

def $lessinit$greater$default$3 : NoSourcePosition.type
def apply ( source: SourceFile , pos: Position , outer: SourcePosition ) : R
def unapply ( x$1: SourcePosition ) : SourcePosition