org.argus.amandroid.core.dedex
Key of the method invocation result value in the register map
Key of the method invocation result value in the register map
Returns the current register map.
Returns the current register map. This maps register numbers to types in the registers.
the current register map
Returns the task associated to the address or null if the address has no associated tasks.
Returns the task associated to the address or null if the address has no associated tasks.
The address to check for associated tasks.
The task associated to the address or null if there is no association.
Places a task to a certain location.
Places a task to a certain location. If the location has no associated task, the task is simply associated with the location. If, however, the location has associated task, it is first turned into a TaskCollection or if it is already a TaskCollection, the new task is added to the collection.
Processes the task queue after the execution of a task
Sets the register map.
Sets the register map. This is used to initialize/restore the map e.g. after branching.
The register map to set.