equal
deleted
inserted
replaced
1194 if (((needed & fp.getMask()) != 0) && fp.impliesIgnoreMask(fperm)) { |
1194 if (((needed & fp.getMask()) != 0) && fp.impliesIgnoreMask(fperm)) { |
1195 effective |= fp.getMask(); |
1195 effective |= fp.getMask(); |
1196 if ((effective & desired) == desired) { |
1196 if ((effective & desired) == desired) { |
1197 return true; |
1197 return true; |
1198 } |
1198 } |
1199 needed = (desired ^ effective); |
1199 needed = (desired & ~effective); |
1200 } |
1200 } |
1201 } |
1201 } |
1202 return false; |
1202 return false; |
1203 } |
1203 } |
1204 |
1204 |