Automata4j-API: Fix javadoc and code enhancements

[pavly-gerges]

This PR fixes and enhances the core API code and Javadoc, here are the most valuable additions:

• Corrected the way TransitionalManager#transit(TransitionPath, TransitionalListener) should work by using both the present state and the next state of the specified TranstionPath.
• Added AutomataLogger a general-purpose logging utility.
• Suppressed raw types warnings on the DeterministicManager.
• Some code enhancements on the core API.

[sonatype-lift]

Sonatype Lift is retiring

Sonatype Lift will be retiring on Sep 12, 2023, with its analysis stopping on Aug 12, 2023. We understand that this news may come as a disappointment, and Sonatype is committed to helping you transition off it seamlessly. If you’d like to retain your data, please export your issues from the web console.
We are extremely grateful and thank you for your support over the years.

📖 Read about the impacts and timeline

[sonatype-lift]

TypeParameterShadowing: Found aliased type parameters: I declared in transit

---

ℹ️ Expand to see all @sonatype-lift commands

You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.

Command	Usage
@sonatype-lift ignore	Leave out the above finding from this PR
@sonatype-lift ignoreall	Leave out all the existing findings from this PR
@sonatype-lift exclude <file|issue|path|tool>	Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file

Note: When talking to LiftBot, you need to refresh the page to see its response.
_{Click here to add LiftBot to another repo.}

[pavly-gerges]

@sonatype-lift ignore

[sonatype-lift]

I've recorded this as ignored for this pull request.
If you change your mind, just comment @sonatype-lift unignore.

[pavly-gerges]

This is not a critical type shadowing because this is not a user code, so no operations are performed using these type parameters and they got erased to the super-type Object in compile time.

[sonatype-lift]

🛠 Lift Auto-fix

Some of the Lift findings in this PR can be automatically fixed. You can download and apply these changes in your local project directory of your branch to review the suggestions before committing.¹

# Download the patch
curl https://lift.sonatype.com/api/patch/github.com/Software-Hardware-Codesign/Automata4j/4.diff -o lift-autofixes.diff

# Apply the patch with git
git apply lift-autofixes.diff

# Review the changes
git diff

Want it all in a single command? Open a terminal in your project's directory and copy and paste the following command:

curl https://lift.sonatype.com/api/patch/github.com/Software-Hardware-Codesign/Automata4j/4.diff | git apply

Once you're satisfied, commit and push your changes in your project.

Footnotes

1. You can preview the patch by opening the patch URL in the browser. ↩