§ __init__()
def simcalls.Simcall.__init__ |
( |
|
self, |
|
|
|
name, |
|
|
|
handler, |
|
|
|
res, |
|
|
|
args, |
|
|
|
call_kind |
|
) |
| |
§ check()
def simcalls.Simcall.check |
( |
|
self | ) |
|
§ enum()
def simcalls.Simcall.enum |
( |
|
self | ) |
|
§ string()
def simcalls.Simcall.string |
( |
|
self | ) |
|
§ accessors()
def simcalls.Simcall.accessors |
( |
|
self | ) |
|
§ case()
def simcalls.Simcall.case |
( |
|
self | ) |
|
§ body()
def simcalls.Simcall.body |
( |
|
self | ) |
|
§ handler_prototype()
def simcalls.Simcall.handler_prototype |
( |
|
self | ) |
|
§ simcalls_BODY
simcalls.Simcall.simcalls_BODY = None |
|
static |
§ simcalls_PRE
simcalls.Simcall.simcalls_PRE = None |
|
static |
§ name
§ res
§ args
§ need_handler
simcalls.Simcall.need_handler |
§ call_kind
simcalls.Simcall.call_kind |
The documentation for this class was generated from the following file: