The type "ThreadHeader" is defined in /pliant/language/schedule/threads_engine.pli module.


Field Type
variables_context Address
language_index Int
user Str
pid Int
priority Int
restart_cost Int
next (Pointer ThreadHeader)
action DelayedAction
address Address
list_next (Pointer ThreadHeader)
list_previous (Pointer ThreadHeader)
action_sem FastSem
top_action (Pointer ActionRecord)
top_error (Pointer ErrorRecord)
bottom_error ErrorRecord
processor_counter_low uInt
processor_counter_high uInt

Method name
Arguments
Result
action_sem
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
FastSem
Access
Ar
AwmC
address
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
Address
Access
Ar
AwmC
language_index
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
Int
Access
Ar
AwmC
list_next
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
(Pointer ThreadHeader)
Access
Ar
AwmC
pid
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
Int
Access
Ar
AwmC
processor_counter_high
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
uInt
Access
Ar
AwmC
processor_counter_low
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
uInt
Access
Ar
AwmC
top_action
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
(Pointer ActionRecord)
Access
Ar
AwmC
user
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
Str
Access
Ar
AwmC
variables_context
(/pliant/language/schedule/threads_engine.pli)
Name
 
 
Type
ThreadHeader
Address
Access
Arv
AwmC

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