This interface defines platform (machine + OS) dependent types and constants.
INTERFACE----------------------------------------------- exception stack walking --- TheRTMachine ;
FrameInfo
type must minimally include fields named pc
and sp
.
CONST Has_stack_walker = FALSE; (* Indicates whether this platform supports the stack walking functions defined in the "RTStack" interface. *) TYPE FrameInfo = RECORD pc, sp: ADDRESS END; END RTMachine.