| /external/clang/lib/Analysis/ |
| ThreadSafetyLogical.cpp | 20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { function
25 return implies(A->left(), LNeg, RHS, RNeg) &&
26 implies(A->right(), LNeg, RHS, RNeg);
29 return implies(LHS, LNeg, A->left(), RNeg) &&
30 implies(LHS, LNeg, A->right(), RNeg);
35 return implies(A->left(), LNeg, RHS, RNeg) ||
36 implies(A->right(), LNeg, RHS, RNeg);
39 return implies(LHS, LNeg, A->left(), RNeg) ||
40 implies(LHS, LNeg, A->right(), RNeg);
61 // to return !implies(LHS, RHS)
106 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr
[all...] |
| /libcore/ojluni/src/main/java/java/io/ |
| FilePermission.java | 38 public boolean implies(Permission p) { return true; } method in class:FilePermission
|
| /libcore/ojluni/src/main/java/java/security/ |
| AllPermission.java | 38 public boolean implies(Permission p) { return true; } method in class:AllPermission
|
| BasicPermission.java | 40 public boolean implies(Permission p) { return true; } method in class:BasicPermission
|
| PermissionCollection.java | 38 public abstract boolean implies(Permission permission); method in class:PermissionCollection
|
| Permission.java | 38 public abstract boolean implies(Permission permission); method in class:Permission
|
| Permissions.java | 41 public boolean implies(Permission permission) { return true; } method in class:Permissions
|
| ProtectionDomain.java | 51 public boolean implies(Permission permission) { return true; } method in class:ProtectionDomain
|
| Policy.java | 92 public boolean implies(ProtectionDomain domain, Permission permission) { method in class:Policy
109 @Override public boolean implies(Permission permission) { method in class:Policy.UnsupportedEmptyCollection
|
| CodeSource.java | 54 public boolean implies(CodeSource codesource) { return true; } method in class:CodeSource
|
| UnresolvedPermission.java | 50 public boolean implies(Permission p) { return false; } method in class:UnresolvedPermission
|
| /libcore/ojluni/src/main/java/java/net/ |
| SocketPermission.java | 41 public boolean implies(Permission p) { return true; } method in class:SocketPermission
|
| /libcore/support/src/test/java/org/apache/harmony/security/tests/support/ |
| MyBasicPermission.java | 28 @Override public boolean implies(Permission permission) { return true; } method in class:MyBasicPermission
|
| /external/apache-harmony/security/src/test/support/common/java/org/apache/harmony/security/tests/support/ |
| MyPermission.java | 49 public boolean implies(Permission permission) { method in class:MyPermission
|
| MyPermissionCollection.java | 51 public boolean implies(Permission permission) {
|
| /external/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 32 /// \brief Logical implication. Returns true if the LExpr implies RHS, i.e. if
33 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
34 inline bool implies(const LExpr *RHS) const;
95 /// \brief Logical implication. Returns true if LHS implies RHS, i.e. if LHS
96 /// holds, then RHS must hold. For example, (A & B) implies A.
97 bool implies(const LExpr *LHS, const LExpr *RHS);
99 bool LExpr::implies(const LExpr *RHS) const { function in class:clang::threadSafety::lexpr::LExpr
100 return lexpr::implies(this, RHS);
|
| /libcore/ojluni/src/main/java/javax/security/auth/ |
| PrivateCredentialPermission.java | 46 public boolean implies(Permission p) { return true; } method in class:PrivateCredentialPermission
|
| /libcore/ojluni/src/main/java/javax/crypto/ |
| CryptoPermissions.java | 51 public boolean implies(Permission permission) { return true; } method in class:CryptoPermissions
|
| CryptoPermission.java | 58 public boolean implies(Permission p) { return true; } method in class:CryptoPermission
|
| /external/apache-harmony/security/src/test/api/java/org/apache/harmony/security/tests/java/security/ |
| ProtectionDomainTest.java | 151 assertFalse(new ProtectionDomain(null, null).implies(allperm));
159 assertTrue(new ProtectionDomain(null, perms).implies(allperm));
174 pd.implies(allperm);
192 pd.implies(allperm);
248 public boolean implies(ProtectionDomain domain, Permission permission) { method in class:ProtectionDomainTest.TestPolicy
252 return super.implies(domain, permission);
|
| /external/chromium-trace/catapult/telemetry/third_party/modulegraph/modulegraph_tests/ |
| test_implies.py | 29 mg = modulegraph.ModuleGraph(path=[root]+sys.path, implies={
60 mg = modulegraph.ModuleGraph(path=[root]+sys.path, implies={
|
| /libcore/luni/src/test/java/org/apache/harmony/security/tests/java/security/ |
| IdentityScopeTest.java | 45 if (denied!=null && denied.implies(permission)) throw new SecurityException();
|
| /prebuilts/go/darwin-x86/src/html/ |
| entity_test.go | 14 // The +1 comes from the leading "&". This property implies that the length of
|
| /prebuilts/go/linux-x86/src/html/ |
| entity_test.go | 14 // The +1 comes from the leading "&". This property implies that the length of
|
| /external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jcajce/provider/config/ |
| ProviderConfigurationPermission.java | 106 public boolean implies( method in class:ProviderConfigurationPermission
|
