Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Preliminary work for JSON import/export (Sourcery refactored) #104

Merged
merged 1 commit into from
Aug 14, 2021

Conversation

sourcery-ai[bot]
Copy link

@sourcery-ai sourcery-ai bot commented Aug 12, 2021

Pull Request #102 refactored by Sourcery.

If you're happy with these changes, merge this Pull Request using the Squash and merge strategy.

NOTE: As code is pushed to the original Pull Request, Sourcery will
re-run and update (force-push) this Pull Request with new refactorings as
necessary. If Sourcery finds no refactorings at any point, this Pull Request
will be closed automatically.

See our documentation here.

Run Sourcery locally

Reduce the feedback loop during development by using the Sourcery editor plugin:

Review changes via command line

To manually merge these changes, make sure you're on the json-import-export branch, then run:

git fetch origin sourcery/json-import-export
git merge --ff-only FETCH_HEAD
git reset HEAD^

Help us improve this pull request!

@sourcery-ai sourcery-ai bot requested a review from tpaviot August 12, 2021 06:42
Comment on lines -138 to +144
new_bffr = {}
new_bffr["initial_state"] = buffer.initial_state
new_bffr["final_state"] = buffer.final_state
new_bffr["lower_bound"] = buffer.lower_bound
new_bffr["upper_bound"] = buffer.upper_bound
new_bffr = {
'initial_state': buffer.initial_state,
'final_state': buffer.final_state,
'lower_bound': buffer.lower_bound,
'upper_bound': buffer.upper_bound,
}

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Function export_json_to_string refactored with the following changes:

This removes the following comments ( why? ):

# ResouceUnavailable
# ResourceConstraint
# ResourceTasksDistance

@sourcery-ai sourcery-ai bot force-pushed the sourcery/json-import-export branch from 7994791 to 4cea359 Compare August 12, 2021 06:43
@sourcery-ai sourcery-ai bot force-pushed the sourcery/json-import-export branch from 4cea359 to 959932f Compare August 12, 2021 06:44
@tpaviot tpaviot merged commit e301e5b into json-import-export Aug 14, 2021
@tpaviot tpaviot deleted the sourcery/json-import-export branch August 14, 2021 07:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant