RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Support Eclipse 2021-12 (4.22, JDT 3.28) - now requires jdk 11
Move whitespace trim to ensure it's counted in formatting stats
Set whitespace trim to default 'true' as it is formatting
Added support for jsoup maxPaddingWidth, we default to -1 to disable to retain original behaviour on full pretty print
Add block to html tests to demonstrate upstream jsoup bug adding new lines has been fixed
Add support for trimming trailing spaces from jsoup pretty print so our internal tests can function properly due to jsoup upstream bug
Add support for counting leading spaces from jsoup pretty print so our internal tests can function property due to jsoup upstream bug
Add support for breaking '--><! from jsoup pretty print so our internal tests can function propertly due to jsoup upstream bug
Run overall code cleanup including using java 10 'var' since we require jdk 11 to work.
Internal usage of http: has been switched to https and any redirects from old google code were updated to reflect this repo as seen in tests. One left over http is a bogus site.
Enhance cache support to not write timestamp to it and to sort content making it safe to check in and use via automation to update when using cross platform such as linux and windows.
Without this, it can get random data write as this is read into memory first then written at end with no guarantee of order.
Added first integration test to confirm caching with sorting and removal of timestamp can be confirmed properly
ver 2.19.0
Support Eclipse 2022-03 (4.23, JDT 3.29) - now requires jdk 11
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Bumps formatter-maven-plugin from 2.18.0 to 2.19.0.
Changelog
Sourced from formatter-maven-plugin's changelog.
Commits
dc60336[maven-release-plugin] prepare release formatter-maven-plugin-2.19.04d8df73Bump formatter and junit versions590815cBump sortpom-maven-plugin from 3.0.1 to 3.1.3 (#628)bc3c1c2Bump maven-fluido-skin from 1.10.0 to 1.11.0 (#626)c5b38bfBump versions-maven-plugin from 2.10.0 to 2.11.0 (#625)f6fa586Bump impsort-maven-plugin from 1.6.2 to 1.7.0 (#624)f06c5c7Bump maven-invoker-plugin from 3.2.2 to 3.3.0 (#629)83a4acfBump plexus-utils from 3.4.1 to 3.4.2 (#630)a402c32Bump jackson-bom from 2.13.2.20220328 to 2.13.3 (#627)f4fb6efMerge pull request #614 from revelc/dependabot/maven/org.apache.maven.plugins...Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)