The type "ResourceSem" is defined in /pliant/language/schedule/resourcesem.pli module.


Field Type
current Int
maxi Int
queue ThreadQueue

Method name
Arguments
Result
configure
Name
s
maxi
  
Type
ResourceSem
Int
Access
Arw
Arv
nowait_request
Name
sem
n
  
Type
ResourceSem
Int
CBool
Access
Arw
Arv
AwvR
query
Name
s
current
maxi
 
Type
ResourceSem
Int
Int
Access
Arw
Aw
Aw
release
Name
sem
n
  
Type
ResourceSem
Int
Access
Arw
Arv
request
Name
sem
n
  
Type
ResourceSem
Int
Access
Arw
Arv