Skip to content

Add Log-Level setters and fix some javadocs#32

Open
luepges wants to merge 2 commits intodevfrom
log-set-lvl
Open

Add Log-Level setters and fix some javadocs#32
luepges wants to merge 2 commits intodevfrom
log-set-lvl

Conversation

@luepges
Copy link
Copy Markdown
Contributor

@luepges luepges commented Apr 8, 2026

No description provided.

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Apr 8, 2026

✔️ Changes pass the MontiVerse

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

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
Copy link
Copy Markdown
Contributor

@SE-FDr SE-FDr left a comment

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
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