Safe Haskell | Safe-Inferred |
---|
Semantical data structures and conversion functions for GDB/MI output.
While working with Response
and Notification
is always possible in general, handling the generic Result
lists is cumbersome. This module provides convenient data types instead to facilitate pattern matching etc..
This module is incomplete, as we only implemented what we needed up to now.
- response_break_insert :: [Result] -> Maybe Breakpoint
- response_data_evaluate_expression :: [Result] -> Maybe String
- response_exec_return :: [Result] -> Maybe Frame
- response_stack_list_frames :: [Result] -> Maybe Stack
- response_error :: [Result] -> Maybe String
- notification_stopped :: [Result] -> Maybe Stopped
- data Breakpoint = Breakpoint {}
- type BreakpointType = String
- data BreakpointDisp
- type BkptNumber = Int
- newtype Stack = Stack {
- stackFrames :: [Frame]
- data Frame = Frame {}
- data Arg = Arg {}
- data Stopped = Stopped {}
- data StopReason
Conversion Functions
A conversion fails if the result list does not contain the expected values.
response_break_insert :: [Result] -> Maybe BreakpointSource
Convert the result list of a break_insert
command response.
response_data_evaluate_expression :: [Result] -> Maybe StringSource
Convert the result list of a data_evaluate_expression
command response.
response_exec_return :: [Result] -> Maybe FrameSource
Convert the result list of a exec_return
command response.
response_stack_list_frames :: [Result] -> Maybe StackSource
Convert the result list of a stack_list_frames
command response.
response_error :: [Result] -> Maybe StringSource
Convert the result list of a Response
with ResultClass
RCError
.
notification_stopped :: [Result] -> Maybe StoppedSource
Convert the result list of a Notification
with NotificationClass
Exec
and AsyncClass
ACStop
.
Types
Please consult the GDB manual for details on the returned responses.
data Breakpoint Source
Breakpoint | |
|
type BreakpointType = StringSource
type BkptNumber = IntSource
Stopped | |
|