ClassPath

dotty.tools.io.ClassPath$
See theClassPath companion trait
object ClassPath

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Deprecated classlikes

sealed abstract class ClassPathContext

Attributes

Deprecated
[Since version 2.12.0]
Graph
Supertypes
class Object
trait Matchable
class Any
sealed abstract class JavaContext

Attributes

Deprecated
[Since version 2.12.0]
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def expandDir(extdir: String): List[String]

Expand dir out to contents, a la extdir

Expand dir out to contents, a la extdir

Attributes

Expand manifest jar classpath entries: these are either urls, or paths relative to the location of the jar.

Expand manifest jar classpath entries: these are either urls, or paths relative to the location of the jar.

Attributes

def expandPath(path: String, expandStar: Boolean): List[String]

Expand path and possibly expanding stars

Expand path and possibly expanding stars

Attributes

def join(paths: String*): String

Join classpath using platform-dependent path separator

Join classpath using platform-dependent path separator

Attributes

def map(cp: String, f: String => String): String

Split the classpath, apply a transformation function, and reassemble it.

Split the classpath, apply a transformation function, and reassemble it.

Attributes

def specToURL(spec: String): Option[URL]
def split(path: String): List[String]

Split classpath using platform-dependent path separator

Split classpath using platform-dependent path separator

Attributes

Concrete fields