session

python.session.Session

record Session

A debugging session: what its views show and the run for the debugger.

python.session.DebugStop

def DebugStop : Type

Where the debugger stopped.

python.session.Stopping

def Stopping : Type

Where the debugger stopped, with how many times the run to there entered each node.

python.session.Session.noShows

def Session.noShows : Shows

Nothing shown (a program that could not be read).

python.session.Session.unsupported

def Session.unsupported (shows : Shows) (what : String) : Session

A session that cannot run, its views showing shows: it stops at once with the reason what.

python.session.load

def load (source : String) : Session

A session for the program whose syntax tree’s JSON is source, at its start with no input yet.

python.session.Session.with

def Session.with (x : Session) (d : DebugRun) : Session

The session x with its run replaced by d.

python.session.Session.withConfiguration

def Session.withConfiguration (x : Session) (c : Configuration Run Signal python.Stop) : Session

The session x with its configuration replaced by c.

python.session.Session.breakpoints

def Session.breakpoints (text : String) : List String

The breakpoints in text: one node per line.

python.session.run

def run (kind : Nat) (breakpoints : String) (closed : Nat) (fuel : Nat) (x : Session) : Stopping

Runs the session x to the next stop for at most fuel steps: kind 0 continue, 1 step in, 2 step over, 3 step out; closed 1 when no more input comes; breakpoints one node per line.

python.session.stopConf

def stopConf (x : Session) (s : Stopping) : Session

The session x resumed from the stop s (unchanged when the run cannot go on).

python.session.stopKind

def stopKind (s : Stopping) : Nat

Which kind of stop s is (the debugging host reads this, not the constructor).

python.session.stopNode

def stopNode (s : Stopping) : String

The node a stop is at (an uncaught exception’s is where it was raised).

python.session.Session.resumable

def Session.resumable (s : DebugStop) : Bool

Whether the stop s is one the run goes on from (a breakpoint or a step).

python.session.Session.stateAt

def Session.stateAt (s : DebugStop) : Option Run

The state at the stop s.

python.session.stopOut

def stopOut (s : Stopping) : String

The output so far at the stop s.

python.session.stopErr

def stopErr (s : Stopping) : String

The error output so far at the stop s.

python.session.Session.exception

def Session.exception (e : Raised) : Json

The uncaught exception e as JSON: its type, its message and where it was raised.

python.session.stopDetail

def stopDetail (s : Stopping) : String

A stop’s details as JSON: the reason for a behavior the model does not specify, or the uncaught exception.

python.session.stopVisits

def stopVisits (s : Stopping) : String

How many times the run to this stop entered each node, as JSON {"<node>": n} (the debugging host adds them up for a session’s coverage).

python.session.Session.withInput

def Session.withInput (text : String) (c : Configuration Run Signal python.Stop) : Configuration Run Signal python.Stop

The run in c with text as more input.

python.session.feed

def feed (text : String) (x : Session) : Session

The session x with text as more input.

python.session.globals

def globals (x : Session) : String

The global variables of the session x as JSON.

python.session.frames

def frames (at : String) (x : Session) : String

The calls of the session x, stopped at the node at, as JSON.

python.session.setVarErr

def setVarErr (n : Nat) (id : String) (text : String) (x : Session) : String

Why the variable id of the n-th call in the session x cannot be set from text (empty when it can).

python.session.setVarConf

def setVarConf (n : Nat) (id : String) (text : String) (x : Session) : Session

The session x with the variable id of the n-th call set from text (unchanged when it cannot be).

python.session.lines

def lines (table : String) (x : Session) : Session

The session x with the host’s table of the lines of nodes (JSON: an object from a node to its line): a step then stops once on a line with several statements, as CPython does.

python.session.env

def env (x : Session) : String

The environment the host shows for the session x (a Python program has none apart from its globals).