| /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...] |
| /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
|
| /external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jcajce/provider/config/ |
| ProviderConfigurationPermission.java | 106 public boolean implies( method in class:ProviderConfigurationPermission
|
| /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);
|
| /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/guava/guava-tests/test/com/google/common/util/concurrent/ |
| JSR166TestCase.java | 680 public boolean implies(ProtectionDomain pd, Permission p) { method in class:JSR166TestCase.AdjustablePolicy
681 return perms.implies(p);
[all...] |
| /external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/ |
| org.eclipse.osgi.services_3.2.100.v20100503.jar | |
| org.eclipse.equinox.launcher.jar | |
| org.eclipse.equinox.launcher_1.1.0.v20100507.jar | |
| org.sat4j.pb_2.2.0.v20100429.jar | |
| org.eclipse.ecf.identity_3.1.0.v20100529-0735.jar | |
| org.eclipse.equinox.app_1.3.1.R36x_v20100803.jar | |
| org.eclipse.osgi_3.6.1.R36x_v20100806.jar | |
| org.eclipse.osgi_3.6.2.R36x_v20101103.jar | |
| /external/libpng/contrib/tools/ |
| pngfix.c | 22 #define implies(x,y) assert(!(x) || (y)) macro
[all...] |
| /external/chromium_org/third_party/libaddressinput/src/java/ |
| android.jar | |
| /external/google-tv-pairing-protocol/java/jar/ |
| bcprov-jdk15-143.jar | |
