Application

io.github.kelvindev15.prolog.Application
object Application extends App

Attributes

Graph
Supertypes
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

final protected def args: Array[String]

The command line arguments passed to the application's main method.

The command line arguments passed to the application's main method.

Attributes

Inherited from:
App
final def main(args: Array[String]): Unit

The main method. This stores all arguments so that they can be retrieved with args and then executes all initialization code segments in the order in which they were passed to delayedInit.

The main method. This stores all arguments so that they can be retrieved with args and then executes all initialization code segments in the order in which they were passed to delayedInit.

Value parameters

args

the arguments passed to the main method

Attributes

Inherited from:
App

Deprecated and Inherited methods

override def delayedInit(body: => Unit): Unit

The init hook. This saves all initialization code for execution within main. This method is normally never called directly from user code. Instead it is called as compiler-generated code for those classes and objects (but not traits) that inherit from the DelayedInit trait and that do not themselves define a delayedInit method.

The init hook. This saves all initialization code for execution within main. This method is normally never called directly from user code. Instead it is called as compiler-generated code for those classes and objects (but not traits) that inherit from the DelayedInit trait and that do not themselves define a delayedInit method.

Value parameters

body

the initialization code to be stored for later execution

Attributes

Deprecated
[Since version 2.11.0] the delayedInit mechanism will disappear
Definition Classes
App -> DelayedInit
Inherited from:
App

Inherited fields

final val executionStart: Long

The time when the execution of this program started, in milliseconds since 1 January 1970 UTC.

The time when the execution of this program started, in milliseconds since 1 January 1970 UTC.

Attributes

Inherited from:
App