hgdbmi-0.2: GDB Machine Interface: program-driven control of GDB

Safe HaskellSafe-Inferred

Gdbmi.Commands

Contents

Description

Constructor functions for Command values.

Please consult the cited GDB documentation for the semantics of the individual commands.

Synopsis

Commands

Breakpoint Commands

Program Context

Thread Commands

Ada Tasking Commands

Program Execution

Stack Manipulation

Variable Objects

Data Manipulation

Tracepoint Commands

Symbol Query

File Commands

Target Manipulation

File Transfer Commands

Miscellaneous Commmands

Auxiliary Types

Location

data Location Source

Instances

GdbShow Location 

Other Types

See the documentation of the commands that use these types for their semantics.

data PrintValues Source

Constructors

NoValues

"--no-values" or "0"

AllValues

"--all-values" or "1"

SimpleValues

"--simple-values" or "2"

Instances

GdbShow PrintValues 

data FrameSelect Source

Constructors

FrameAddr String

just the given address

CurrentFrame

"*"

Floating

"@"

Instances

GdbShow FrameSelect 

data FormatSpec Source

Constructors

Binary

"binary"

Decimal

"decimal"

Hexadecimal

"hexadecimal"

Octal

"octal"

Natural

"natural"

Instances

GdbShow FormatSpec 

data FrozenFlag Source

Constructors

Frozen

"1"

Unfrozen

"0"

Instances

GdbShow FrozenFlag 

data DisassemblyMode Source

Constructors

DisassemblyMode Bool Bool

with mixed source?, with raw opcodes?

Instances

GdbShow DisassemblyMode 

data DataFormat Source

Constructors

DHexadecimal

"x"

DOctal

"o"

DBinary

"t"

DDecimal

"d"

DRaw

"r"

DNatural

"N"

Instances

GdbShow DataFormat 

data TraceMode Source

Constructors

None

"none"

FrameNumber Int

"frame-number"

TracepointNumber Int

"tracepoint-number"

PC String

"pc"

PCInsideRange String String

"pc-inside-range"

PCOutsideRange String String

"pc-outside-range"

Line Location

"line"

Instances

GdbShow TraceMode 

data Target Source

Constructors

Exec FilePath

"exec"

Core FilePath

"core"

Remote Medium

"remote"

Sim [String]

"sim"

Nrom

"nrom"

Instances

GdbShow Target 

data Medium Source

Constructors

SerialDevice String

just the given device

TcpHost String Int

"tcp:%s:%d" host port

UdpHost String Int

"udp:%s:%d" host port

Pipe String

"|%s" command

Instances

GdbShow Medium 

data Interpreter Source

Constructors

Console

"console"

MI

"mi"

MI2

"mi2"

MI1

"mi1"

Instances

GdbShow Interpreter 

Helper Functions

cli_command :: String -> CommandSource

Create a CLI command, i.e., use the provided string literaly.

Some GDB commands are not reflected in the Machine Interface. In those cases one has to resort to Command Line Interface commands, which the MI accepts as well.

set_token :: Token -> Command -> CommandSource

Set the token of a command. http://sourceware.org/gdb/current/onlinedocs/gdb/GDB_002fMI-Input-Syntax.html

Newly created commands have no token, but setting a token manually is usually not necessary. send_command will assign a unique token to a given command in any case.