Main

dotty.tools.scripting.Main$
object Main

Main entry point to the Scripting execution engine

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Main.type

Members list

Value members

Concrete methods

def main(args: Array[String]): Unit

Concrete fields

lazy val userDir: String

Extensions

Extensions

extension (path: String)
def norm: String
def toUrl: String