reven2.preview.taint.Progress

class documentation

class Progress(object):

View In Hierarchy

Represent the status of the taint at the point where it was requested.

It contains the last state known by the taint process, in addition to the status of the taint process (NotStarted, Running, Finished or Canceled).

Warnings

This object is not meant to be constructed directly. Use Taint.progress instead.

Examples

>>> # from taint object
>>> progress = taint.progress()
>>> # Get the progress of the taint
Method __init__ Undocumented
Property last_known_state Property: The last known state of the taint, After this state no result can be retrieved at the moment
Property status Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)
Method __repr__ Undocumented
Instance Variable _status Undocumented
Instance Variable _last_known_state Undocumented
def __init__(self, trace, taint_data, rvn_progress):

Undocumented

_status =

Undocumented

_last_known_state =

Undocumented

@property
last_known_state =

Property: The last known state of the taint, After this state no result can be retrieved at the moment

Examples

>>> print(progress.last_known_state)
Taint state at Context before #2847570053

Information

ReturnsA TaintState instance.
@property
status =

Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)

Examples

>>> print(progress.status)
ProgressStatus.Finished

Information

ReturnsA ProgressStatus instance.
def __repr__(self):

Undocumented

API Documentation for reven2, generated by pydoctor 21.2.2 at 2021-07-01 16:38:17.