class documentation

class Bookmark:

View In Hierarchy

A Bookmark saved on the REVEN server for this project.

Bookmarks allow to bookmark a specific trace.Transition and can have an associated textual description. Bookmarks appear in Axion and can be useful to save the location of points of interest in the trace.

Method __init__ Undocumented
Property transition Property: The bookmarked transition
Property description Property: The description of this bookmark
Method edit Attempts to modify the description of the bookmark on the server.
Property id Property: The internal id of a bookmark.
Method refresh Requests a fresh view of this bookmark from the server.
Method __repr__ Undocumented
Method __str__ Undocumented
Method format_as_html This method gets an html formatting string representation for this class instance.
Instance Variable _id Undocumented
Instance Variable _datasource Undocumented
Property _bookmark Undocumented
Method _repr_html_ Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.
def __init__(self, _id, _datasource):

Undocumented

_id =

Undocumented

_datasource =

Undocumented

@property
_bookmark =

Undocumented

@property
transition =

Property: The bookmarked transition

@property
description =

Property: The description of this bookmark

def edit(self, description):

Attempts to modify the description of the bookmark on the server.

Information

ParametersdescriptionA str that will replace the current description of this bookmark.
RaisesValueErrorIf called on a bookmark that has been deleted server-side. This can happen if the bookmark was deleted since the last call to Bookmarks.refresh.
RuntimeErrorIf called on a bookmark that is being edited or have been edited since the last refresh by another client (e.g. Axion).
@property
id =

Property: The internal id of a bookmark.

For two bookmarks of a given project, the bookmark with the lowest id has been added the earliest, chronologically.

def refresh(self):

Requests a fresh view of this bookmark from the server.

This will retrieve changes made by other clients to this bookmark (Axion, or another script). You should call this method when you know other clients modified the bookmarks of this project.

def __repr__(self):

Undocumented

def __str__(self):

Undocumented

def format_as_html(self):

This method gets an html formatting string representation for this class instance.

Information

ReturnsString
def _repr_html_(self):

Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

API Documentation for reven2, generated by pydoctor 21.2.2 at 2022-03-08 15:23:15.