![]() |
Dataflow Software Stack
032db78
Master Thesis of Mathijs Saey at the VUB
|
Represents a context change in the program. More...

Public Member Functions | |
| def | __init__ |
| Initialize a context change instruction. More... | |
| def | addLiteral |
| def | getLiterals |
| def | execute |
| def | setKey |
| Set the instruction address. More... | |
| def | __str__ |
| Return a string representation of this instruction. More... | |
Public Attributes | |
| retnSink | |
| destSink | |
| restores | |
| bindargs | |
| literals | |
| chunk | |
| key | |
Represents a context change in the program.
e.g. a function call.
| def core.instruction.ContextChange.__init__ | ( | self, | |
| binds, | |||
| restores, | |||
| destSink, | |||
| returnSink | |||
| ) |
Initialize a context change instruction.
| binds | The amount of tokens to bind to a new context. |
| restores | The amount of tokens the context will produce before being deleted. |
| destSink | The destination of the token after the context change. |
| returnSink | The destination of the tokens after their context is restored. |
| def core.instruction.ContextChange.addLiteral | ( | self, | |
| port, | |||
| val | |||
| ) |
| def core.instruction.ContextChange.getLiterals | ( | self | ) |
| def core.instruction.ContextChange.execute | ( | self, | |
| token, | |||
| core | |||
| ) |
|
inherited |
Set the instruction address.
|
inherited |
Return a string representation of this instruction.
| core.instruction.ContextChange.retnSink |
| core.instruction.ContextChange.destSink |
| core.instruction.ContextChange.restores |
| core.instruction.ContextChange.bindargs |
| core.instruction.ContextChange.literals |
|
inherited |
|
inherited |
1.8.8