From 7b93ef1ec7cb51f3494d7f18cc39dd9d26a24be8 Mon Sep 17 00:00:00 2001 From: bd-912 Date: Fri, 19 Apr 2024 19:21:16 -0600 Subject: Use one global logger --- V2VM.java | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'V2VM.java') diff --git a/V2VM.java b/V2VM.java index 9fdfc73..0f0eab6 100644 --- a/V2VM.java +++ b/V2VM.java @@ -1,5 +1,3 @@ -import java.util.logging.Logger; -import java.util.logging.ConsoleHandler; import java.io.*; import java.util.ArrayList; @@ -23,10 +21,6 @@ public class V2VM { public static void main(String[] args) { - Logger log = Logger.getLogger(V2VM.class.getName()); - ConsoleHandler consoleHandler = new ConsoleHandler(); - consoleHandler.setFormatter(new MinimalSimpleFormatter()); - log.addHandler(consoleHandler); try { System.in.mark(-1); @@ -36,10 +30,10 @@ public class V2VM { VaporProgram prog = parseVapor(System.in, System.out); - log.info(String.format("Generating CFGs...")); + MinimalLogger.info(String.format("Generating CFGs...")); CFGSimp cfv = new CFGSimp(prog, strProg); ArrayList cfgs = cfv.getCFGs(); - log.info(String.format("Spilling Everywhere...")); + MinimalLogger.info(String.format("Spilling Everywhere...")); SpillEverywhere spill = new SpillEverywhere(prog, strProg); } catch (IOException e) { -- cgit v1.2.3