DefaultCRestConfig implements CRestConfig { public String getDateFormat(){ return get(CREST_DATE_FORMAT, "yyyy-MM-dd'T'HH:mm:ssZ"); } DefaultCRestConfig(Map<String, Object> m); CRestConfig merge(Map<String, Object> m); T get(String key); T get(String propName, T defaultIfNotFound); T get(Class<?> key); T get(Class<?> key, T defaultIfNotFound); int getMaxAttempts(); String getDateFormat(); String getBooleanTrue(); String getBooleanFalse(); int getConcurrencyLevel();  }
@Test public void getDateFormatShouldTryToLookUpInMapAndReturnDefault(){ assertEquals("yyyy-MM-dd'T'HH:mm:ssZ", toTest.getDateFormat()); verify(config).containsKey(CRestConfig.CREST_DATE_FORMAT); }