Session

ammonite.repl.api.Session
trait Session

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def delete(name: String): Unit

Deletes a named checkpoint, allowing it to be garbage collected if it is no longer accessible.

Deletes a named checkpoint, allowing it to be garbage collected if it is no longer accessible.

Attributes

def frames: List[Frame]

The current stack of frames

The current stack of frames

Attributes

def load(name: String): SessionChanged

Discards the last frames, effectively reverting your session to the last save-ed checkpoint. If a name is provided, it instead reverts your session to the checkpoint with that name.

Discards the last frames, effectively reverting your session to the last save-ed checkpoint. If a name is provided, it instead reverts your session to the checkpoint with that name.

Attributes

def pop(num: Int): SessionChanged

Resets you to the last save point. If you pass in num, it resets you to that many savepoints since the last one.

Resets you to the last save point. If you pass in num, it resets you to that many savepoints since the last one.

Attributes

def save(name: String): Unit

Checkpoints your current work, placing all future work into its own frames. If a name is provided, it can be used to quickly recover that checkpoint later.

Checkpoints your current work, placing all future work into its own frames. If a name is provided, it can be used to quickly recover that checkpoint later.

Attributes