Example Depot

Permission perm1 = new FilePermission("/tmp/*", "read,write"); Permission perm2 = new FilePermission("/tmp/abc", "read"); if (perm1.implies(perm2)) { // perm1 implies perm2 }