The type "DebuggerInstructionRecord" is defined in /pliant/language/optimizer/gcc_base.pli module.


Field Type
code_offset Int
position ListingPositions
profiler_counter Int

Method name
Arguments
Result
code_offset
(/pliant/language/optimizer/gcc_base.pli)
Name
 
 
Type
DebuggerInstructionRecord
Int
Access
Arv
AwmC
position
(/pliant/language/optimizer/gcc_base.pli)
Name
 
 
Type
DebuggerInstructionRecord
ListingPositions
Access
Ar
AwmC
profiler_counter
(/pliant/language/optimizer/gcc_base.pli)
Name
 
 
Type
DebuggerInstructionRecord
Int
Access
Ar
AwmC

(Pointer DebuggerInstructionRecord) -> DebuggerInstructionRecord
(/pliant/language/basic/safe.pli)		 implicit