| /external/junit/src/org/junit/internal/ |
| H A D | AssumptionViolatedException.java | 21 public AssumptionViolatedException(String assumption) { argument
22 this(assumption, null);
37 description.appendText("failed assumption: " + fValue);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 89 bool assumption) {
90 state = assumeAux(state, cond, assumption);
92 return SU->processAssume(state, cond, assumption);
87 assume(ProgramStateRef state, NonLoc cond, bool assumption) argument
|
| H A D | ExprEngine.cpp | 155 // top-level function. This is our starting assumption for
251 SVal cond, bool assumption) {
252 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
250 processAssume(ProgramStateRef state, SVal cond, bool assumption) argument
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 106 SVal cond, bool assumption) = 0;
|
| H A D | ProgramState.h | 159 // symbolic values. A call to 'assume' indicates an assumption being placed
173 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
174 /// or non-zero (if \p assumption is "true").
178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
190 bool assumption,
|
| H A D | ExprEngine.h | 270 bool assumption) override;
|
| /external/chromium_org/third_party/libvpx/source/libvpx/vp8/common/ppc/ |
| H A D | copy_altivec.asm | 19 ;# Make the assumption that input will not be aligned,
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitor.h | 142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
|
| /external/libvpx/libvpx/vp8/common/ppc/ |
| H A D | copy_altivec.asm | 19 ;# Make the assumption that input will not be aligned,
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 427 bool assumption) {
428 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
424 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument
|
| H A D | CheckerManager.h | 495 const SVal &cond, bool assumption)>
|
| /external/chromium_org/third_party/yasm/source/patched-yasm/libyasm/tests/ |
| H A D | opt-gvmat64.asm | 90 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/chromium_org/third_party/WebKit/Source/core/html/ |
| H A D | HTMLMediaElement.cpp | 3737 void HTMLMediaElement::configureTextTrackDisplay(VisibilityChangeAssumption assumption) argument
3753 if (assumption == AssumeNoVisibleChange
|
| /external/zlib/src/contrib/masmx64/ |
| H A D | gvmat64.asm | 127 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/zlib/src/contrib/masmx86/ |
| H A D | match686.asm | 142 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/libvorbis/doc/ |
| H A D | 01-introduction.tex | 70 requirement or fundamental assumption in the Vorbis design.
|
| /external/owasp/sanitizer/lib/junit/ |
| H A D | junit-dep.jar | META-INF/ META-INF/MANIFEST.MF junit/ junit/extensions/ junit/framework/ junit/runner/ junit/textui/ org/ ... |
| H A D | junit.jar | META-INF/ META-INF/MANIFEST.MF junit/ junit/extensions/ junit/framework/ junit/runner/ junit/textui/ org/ ... |
| /external/bison/build-aux/ |
| H A D | texinfo.tex | 5503 % an assumption that \chapmacro is called at the outermost level.
|