Formatting

AlexandreDecan · Jun 18, 2019 · 71096e8 · 71096e8
1 parent adb856a
commit 71096e8
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/docs/properties.rst b/docs/properties.rst
@@ -38,7 +38,7 @@ To bind a property statechart to an interpreter, it suffices to provide the prop
 parameter of the :py:meth:`~sismic.interpreter.Interpreter.bind_property_statechart` method of an interpreter.
 This method accepts a :py:class:`~sismic.model.Statechart` instance that is used to create an interpreter for 
 the property statechart. This method also accepts an optional ``interpreter_klass`` parameter as a callable accepting
-a :py:class:`~sismic.model.Statechart` and a named parameter ``clock`` (a :py:class:`~sismic.clock.Clock`instance)
+a :py:class:`~sismic.model.Statechart` and a named parameter ``clock`` (a :py:class:`~sismic.clock.Clock` instance)
 and is used to build an interpreter for the property statechart. 
 
 If a property statechart reaches a final state during its execution, then the property is considered as not

diff --git a/sismic/interpreter/default.py b/sismic/interpreter/default.py
@@ -135,15 +135,15 @@ def attach(self, listener: Callable[[MetaEvent], Any]) -> None:
         The listener is called each time a meta-event is emitted by current interpreter.
         Emitted meta-events are:
         
-         - *step started*: when a (possibly empty) macro step starts. The current time of the step is available through the ``time`` attribute.
-         - *step ended*: when a (possibly empty) macro step ends.
-         - *event consumed*: when an event is consumed. The consumed event is exposed through the ``event`` attribute.
-         - *event sent*: when an event is sent. The sent event is exposed through the ``event`` attribute.
-         - *state exited*: when a state is exited. The exited state is exposed through the ``state`` attribute.
-         - *state entered*: when a state is entered. The entered state is exposed through the ``state`` attribute.
-         - *transition processed*: when a transition is processed. The source state, target state and the event are
-           exposed respectively through the ``source``, ``target`` and ``event`` attribute.
-         - Every meta-event that is sent from within the statechart.
+        - *step started*: when a (possibly empty) macro step starts. The current time of the step is available through the ``time`` attribute.
+        - *step ended*: when a (possibly empty) macro step ends.
+        - *event consumed*: when an event is consumed. The consumed event is exposed through the ``event`` attribute.
+        - *event sent*: when an event is sent. The sent event is exposed through the ``event`` attribute.
+        - *state exited*: when a state is exited. The exited state is exposed through the ``state`` attribute.
+        - *state entered*: when a state is entered. The entered state is exposed through the ``state`` attribute.
+        - *transition processed*: when a transition is processed. The source state, target state and the event are
+        exposed respectively through the ``source``, ``target`` and ``event`` attribute.
+        - Every meta-event that is sent from within the statechart.
 
         This is a low-level interface for ``self.bind`` and ``self.bind_property_statechart``.