yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-04 18:29:37 +02:00
Code Issues Releases Wiki Activity

GT-3286 - Updated usage of timestamps in the UI to be consistent

Browse source
This commit is contained in:
dragonmacher 2019-11-04 15:27:35 -05:00
parent 2cafb27574
commit feaf203365
17 changed files with 130 additions and 165 deletions
Download patch file Download diff file Expand all files Collapse all files

32
Ghidra/Framework/Utility/src/main/java/ghidra/util/SystemUtilities.java
View file

@ -19,8 +19,8 @@ import java.awt.Font;
import java.io.*;
import java.net.URL;
import java.net.URLDecoder;
import java.text.SimpleDateFormat;
import java.util.*;
import java.util.Objects;
import java.util.StringTokenizer;
import java.util.function.Supplier;
import javax.swing.SwingUtilities;
@ -35,8 +35,6 @@ import utilities.util.reflection.ReflectionUtilities;
*/
public class SystemUtilities {
private final static String DATE_TIME_FORMAT = "MMM d yyyy HH:mm:ss";
private static String userName;
/**
@ -168,32 +166,6 @@ public class SystemUtilities {
return font.deriveFont((float) FONT_SIZE_OVERRIDE_VALUE.intValue());
}
/**
* returns the current date/time using default DATE/TIME format
* @return the current date/time using default DATE/TIME format
*/
public static String getDateTime() {
return getDateTime(DATE_TIME_FORMAT);
}
public static String currentTimeStamp() {
SimpleDateFormat formatter = new SimpleDateFormat("dd.MMM.yyyy_HH.mm.ss");
return formatter.format(new Date());
}
/**
* returns the current date/time using specified DATE/TIME format
*
* @param dateTimeFormat the format for the time
* @return the formatted date
*/
public static String getDateTime(String dateTimeFormat) {
SimpleDateFormat formatter = new SimpleDateFormat(dateTimeFormat, Locale.getDefault());
formatter.setTimeZone(TimeZone.getDefault());
return formatter.format(new Date());
}
/**
* Returns true if the system is running during a test.
*