/external/clang/lib/Analysis/ |
H A D | 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(LH 106 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr [all...] |
/external/clang/include/clang/Analysis/Analyses/ |
H A D | 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/guava/guava-tests/test/com/google/common/base/ |
H A D | FinalizableReferenceQueueClassLoaderUnloadingTest.java | 75 public boolean implies(ProtectionDomain pd, Permission perm) { method in class:FinalizableReferenceQueueClassLoaderUnloadingTest.PermissivePolicy
|
/external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jcajce/provider/config/ |
H A D | ProviderConfigurationPermission.java | 119 public boolean implies( method in class:ProviderConfigurationPermission
|
/external/guava/guava-tests/test/com/google/common/util/concurrent/ |
H A D | JSR166TestCase.java | 682 public boolean implies(ProtectionDomain pd, Permission p) { method in class:JSR166TestCase.AdjustablePolicy 683 return perms.implies(p);
|
/external/libpng/contrib/tools/ |
H A D | pngfix.c | 21 #define implies(x,y) assert(!(x) || (y)) macro
|
/external/guice/lib/build/ |
H A D | felix-2.0.5.jar | META-INF/MANIFEST.MF META-INF/ META-INF/LICENSE META-INF/NOTICE META- ... |
/external/icu/tools/srcgen/currysrc/libs/ |
H A D | org.eclipse.osgi_3.10.100.v20150529-1857.jar | META-INF/MANIFEST.MF META-INF/ECLIPSE_.SF META-INF/ECLIPSE_.RSA META ... |
/external/robolectric/v1/lib/main/ |
H A D | android.jar | META-INF/ META-INF/MANIFEST.MF com/ com/android/ com/android/internal/ com/android/internal/util/ ... |
/external/dagger2/lib/ |
H A D | google-java-format-0.1-20151017.042846-2.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/googlejavaformat/ com/google/googlejavaformat/CloseOp ... |
/external/robolectric/v3/runtime/ |
H A D | android-all-4.1.2_r1-robolectric-0.jar | META-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ... |
H A D | android-all-4.2.2_r1.2-robolectric-0.jar | META-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ... |
H A D | android-all-4.3_r2-robolectric-0.jar | META-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ... |
H A D | android-all-4.4_r1-robolectric-1.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ... |
H A D | android-all-5.0.0_r2-robolectric-1.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ... |
H A D | android-all-5.1.1_r9-robolectric-1.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ... |
/external/google-tv-pairing-protocol/java/jar/ |
H A D | bcprov-jdk15-143.jar | META-INF/MANIFEST.MF META-INF/BCKEY.SF META-INF/BCKEY.DSA META ... |
/external/kotlinc/lib/ |
H A D | kotlin-runtime.jar | META-INF/ META-INF/MANIFEST.MF kotlin/ kotlin/kotlin.kotlin_builtins kotlin/collections/ kotlin/collections/collections ... |
H A D | kotlin-stdlib.jar | META-INF/ META-INF/MANIFEST.MF kotlin/ kotlin/kotlin.kotlin_builtins kotlin/collections/ kotlin/collections/collections ... |
/external/guice/extensions/persist/lib/ |
H A D | hibernate3.jar | META-INF/ META-INF/MANIFEST.MF org/ org/hibernate/ org/hibernate/AssertionFailure.class AssertionFailure. ... |