esmeta
API
Generated with
esmeta/esmeta/esmeta.web/esmeta.web.service/DebuggerServiceLive

DebuggerServiceLive

esmeta.web.service.DebuggerServiceLive
case class DebuggerServiceLive(cfg: CFG, debuggerRef: Ref[IO, Option[Debugger]], lock: Semaphore[IO]) extends DebuggerService

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addBreak(data: (Boolean, String, List[Int], Boolean)): IO[Boolean]
def backToProvenance(addrStr: String): IO[Json]
def continue: IO[Json]
def removeAllBreaks: IO[Unit]
def removeBreak(idx: Int): IO[Unit]
def resumeFromIter(body: ResumeFromIterRequest): IO[Json]
def rewind: IO[Json]
def run(body: RunRequest): IO[Json]
def step(op: Debugger => StepOptions => StepResult, options: StepOptions): IO[Json]
def toggleAllBreaks: IO[Unit]
def toggleBreak(idx: Int): IO[Unit]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Givens

Givens

Generated with