@Test
public void testRoleShorterThanRequest() throws Exception {

  assertTrue(ROLE_SERVER_SERVER1.implies(REQUEST_SERVER1_DB1));
  assertTrue(ROLE_SERVER_SERVER1.implies(REQUEST_SERVER1_DB2));
  assertFalse(ROLE_SERVER_SERVER1.implies(REQUEST_SERVER2_DB1));
  assertFalse(ROLE_SERVER_SERVER1.implies(REQUEST_SERVER2_DB2));
  assertTrue(ROLE_SERVER_ALL_DB_ALL.implies(REQUEST_SERVER1));
  assertFalse(ROLE_SERVER_ALL_DB_DB1.implies(REQUEST_SERVER1));
}