edu.ucla.util
Class AbstractStringifier.DateFormatFilename
Object
AbstractStringifier.DateFormatFilename
- Enclosing class:
- AbstractStringifier
public static class AbstractStringifier.DateFormatFilename
- extends Object
copied from sensitivity.TestCompleteness
getInstance
public static AbstractStringifier.DateFormatFilename getInstance()
now
public static String now()
format
public String format(Date date)
format
public StringBuffer format(Date date,
StringBuffer toAppendTo)
Copyright 2010 UCLA Automated Reasoning Group