-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
11 changed files
with
834 additions
and
461 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,116 @@ | ||
| package org.prlprg.rds; | ||
|
|
||
| import java.util.*; | ||
| import java.util.function.Supplier; | ||
| import java.util.logging.*; | ||
| import org.prlprg.AppConfig; | ||
|
|
||
| final class RDSLogger { | ||
| private final StringBuilder output = new StringBuilder(); | ||
| private final boolean shouldLog; | ||
| private int indentLevel; | ||
|
|
||
| /** | ||
| * @param name a description of the read or write, printed at the start of logging | ||
| */ | ||
| RDSLogger(String name, AppConfig.RDSLogLevel logLevel) { | ||
| this.indentLevel = 0; | ||
| this.shouldLog = AppConfig.RDS_LOG_LEVEL.compareTo(logLevel) >= 0; | ||
| logString(() -> name); | ||
| } | ||
|
|
||
| /** Globally enables log output to the provided handler */ | ||
| public static void addHandler(Handler handler) { | ||
| var logger = Logger.getLogger(RDSLogger.class.getName()); | ||
| logger.addHandler(handler); | ||
| handler.setLevel(Level.FINE); | ||
| } | ||
|
|
||
| /** | ||
| * Logs a lazily-evaluated String with the current indent level with Level.FINE. | ||
| * | ||
| * @param msg a thunk supplying the String to be logged. | ||
| */ | ||
| private void logString(Supplier<String> msg) { | ||
| if (shouldLog) { | ||
| int level = this.indentLevel; | ||
| String indent = String.join("", Collections.nCopies(level, " ")); | ||
| output.append(indent).append(msg.get()).append("\n"); | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * Logs the reading or writing of a new SEXP by printing an identifier and increasing the | ||
| * indentation level by 1 | ||
| * | ||
| * @param sexpIdent a String identifying the SEXP being logged | ||
| */ | ||
| public void push(String sexpIdent) { | ||
| logString(() -> sexpIdent + " {"); | ||
| indentLevel++; | ||
| } | ||
|
|
||
| /** | ||
| * Logs the end of the reading or writing of a SEXP by printing a closing brace and decreasing the | ||
| * indentation level by 1 | ||
| */ | ||
| public void pop() { | ||
| indentLevel--; | ||
| logString(() -> "}"); | ||
| } | ||
|
|
||
| /** | ||
| * Lazily logs a value read from the input stream or written to the output stream, alongside a | ||
| * description of the value's usage | ||
| * | ||
| * @param <T> the type of the value to be logged | ||
| * @param value the value to be logged | ||
| * @param description a description of the value's usage | ||
| */ | ||
| public <T> void log(T value, String description) { | ||
| logString( | ||
| () -> | ||
| switch (value) { | ||
| case Integer i -> | ||
| String.format("%s: %d (%s)", description, i, Integer.toBinaryString(i)); | ||
| case Byte b -> | ||
| String.format("%s: %d (%s)", description, b, Integer.toBinaryString(b)); | ||
| default -> String.format("%s: %s", description, value); | ||
| }); | ||
| } | ||
|
|
||
| /** | ||
| * Lazily logs an array of ints read from the input stream or written to the output stream, | ||
| * alongside a description of the array's usage | ||
| * | ||
| * @param ints the array to be logged | ||
| * @param description a description of the array's usage | ||
| */ | ||
| public void logAll(int[] ints, String description) { | ||
| logString(() -> String.format("%s: %s", description, Arrays.toString(ints))); | ||
| } | ||
|
|
||
| /** | ||
| * Lazily logs an array of doubles read from the input stream or written to the output stream, | ||
| * alongside a description of the array's usage | ||
| * | ||
| * @param doubles the array to be logged | ||
| * @param description a description of the array's usage | ||
| */ | ||
| public void logAll(double[] doubles, String description) { | ||
| logString(() -> String.format("%s: %s", description, Arrays.toString(doubles))); | ||
| } | ||
|
|
||
| /** | ||
| * Writes the RDS output collected thus far to the system logger at level {@code Level.FINE}. This | ||
| * is written in one go rather than in individual messages to preserve formatting and reduce | ||
| * metadata stored with each message. | ||
| */ | ||
| public void finish() { | ||
| if (shouldLog) { | ||
| Logger logger = Logger.getLogger(RDSLogger.class.getName()); | ||
| logger.setLevel(Level.FINE); | ||
| logger.fine(output.toString()); | ||
| } | ||
| } | ||
| } |
Oops, something went wrong.