Skip to content

Add Log-Level setters, StackTracing Log Hooks, and fix some javadocs - #32

Merged
luepges merged 15 commits into
devfrom
log-set-lvl
Jul 24, 2026
Merged

luepges merged 15 commits into
devfrom
log-set-lvl

Conversation

@luepges

@luepges luepges commented Apr 8, 2026 •

Copy link
Copy Markdown
Contributor
  • Add Setters for Log-Levels
  • Add log hooks for printing stacktraces of all kinds of findings
  • Add missing/Fix JavaDocs to Log methods
  • Add Log#removeLogHook method
  • Removed throwable printing from default loghook

@github-actions

github-actions Bot commented Apr 8, 2026 •

Copy link
Copy Markdown

✔️ Changes pass the MontiVerse

Project Status
details
Project Status
montitransruntime ✅
montiarc ✅
umlp_experiments ✅
umlp_tool ✅
sd ✅
montifun ✅
fd ✅
automaton ✅
sc ✅
guidsl ✅
artifacts ✅
ocl ✅
od ✅
ucd ✅
langexperiments ✅
json ✅
xml ✅
cd2gui ✅
mlc ✅
monticore_future ✅

The MontiVerse is a collection of (internal and public) language projects.

@luepges
luepges marked this pull request as ready for review April 8, 2026 13:18

@SE-FDr SE-FDr left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

As a Lite variant instead of a proper solution, this should do.

Comment thread se-commons-logging/src/main/java/de/se_rwth/commons/logging/Log.java Outdated
Comment thread se-commons-logging/src/main/java/de/se_rwth/commons/logging/Log.java Outdated
Comment thread se-commons-logging/src/main/java/de/se_rwth/commons/logging/Log.java Outdated
Comment thread se-commons-logging/src/main/java/de/se_rwth/commons/logging/Log.java Outdated
Comment thread se-commons-logging/src/main/java/de/se_rwth/commons/logging/Log.java Outdated
@luepges luepges changed the title Add Log-Level setters and fix some javadocs Add Log-Level setters, StackTracing Log Hooks, and fix some javadocs Jul 17, 2026
@luepges
luepges merged commit 96c3b85 into dev Jul 24, 2026
2 checks passed
@luepges
luepges deleted the log-set-lvl branch July 24, 2026 14:21
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.

2 participants