Adding the usual Linters · convince-project/AS2FM@d147879

jani_generator/src/jani_generator/jani_entries/jani_automaton.py#L51

unused method 'get_initial_locations' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_automaton.py#L59

unused method 'unset_initial' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_automaton.py#L78

unused method 'get_edges' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_automaton.py#L120

unused method 'merge' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L66

unused function 'intersection_operator' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L73

unused function 'distance_operator' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L80

unused function 'distance_to_point_operator' (60% confidence)

jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L272

unused variable 'obstacle_id' (100% confidence)

jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L344

unused variable 'obstacle_id' (100% confidence)

jani_generator/src/jani_generator/jani_entries/jani_expression_generator.py#L49

unused function 'log_operator' (60% confidence)

jani_generator/src/jani_generator/main.py#L1

Missing docstring in public module

jani_generator/src/jani_generator/main.py#L66

First line should be in imperative mood; try rephrasing (found 'Main')

jani_generator/src/jani_generator/convince_jani_helpers/convince_to_plain_jani.py#L16

One-line docstring should fit on one line with quotes (found 3)

jani_generator/src/jani_generator/convince_jani_helpers/convince_to_plain_jani.py#L30

First line should end with a period (not ')')

jani_generator/src/jani_generator/convince_jani_helpers/convince_to_plain_jani.py#L35

First line should end with a period (not ')')

jani_generator/src/jani_generator/convince_jani_helpers/__init__.py#L1

Missing docstring in public package

jani_generator/src/jani_generator/scxml_helpers/scxml_expression.py#L16

One-line docstring should fit on one line with quotes (found 3)

jani_generator/src/jani_generator/scxml_helpers/scxml_event_processor.py#L16

One-line docstring should fit on one line with quotes (found 3)

jani_generator/src/jani_generator/scxml_helpers/top_level_interpreter.py#L16

One-line docstring should fit on one line with quotes (found 3)

jani_generator/src/jani_generator/scxml_helpers/top_level_interpreter.py#L37

Missing docstring in public class

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Adding the usual Linters #34

jani_generator ⏩ isort

Adding the usual Linters #34

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...