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