| /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/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/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 77 bool assumption) {
78 state = assumeAux(state, cond, assumption);
80 return SU->processAssume(state, cond, assumption);
120 bool assumption) {
121 state = assumeAux(state, cond, assumption);
123 return SU->processAssume(state, cond, assumption);
76 assume(ProgramStateRef state, Loc cond, bool assumption) argument
118 assume(ProgramStateRef state, NonLoc cond, bool assumption) argument
|
| H A D | ExprEngine.cpp | 153 // top-level function. This is our starting assumption for
249 SVal cond, bool assumption) {
250 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
248 processAssume(ProgramStateRef state, SVal cond, bool assumption) argument
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IdempotentOperationChecker.cpp | 79 // Our assumption about a particular operation.
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption; member in struct:__anon16434::IdempotentOperationChecker::BinaryOperatorData
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption;
413 llvm_unreachable("Operation was never marked with an assumption");
441 // Updates the current assumption given the new assumption
444 // If the assumption is the same, there is nothing to do
449 // If we don't currently have an assumption, se
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 396 bool assumption) {
397 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
393 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument
|
| /external/chromium_org/third_party/WebKit/Source/core/html/ |
| H A D | HTMLMediaElement.cpp | 3624 void HTMLMediaElement::configureTextTrackDisplay(VisibilityChangeAssumption assumption) argument
3640 if (assumption == AssumeNoVisibleChange
|
| /external/robolectric/lib/main/ |
| H A D | junit-dep-4.8.2.jar | META-INF/ META-INF/MANIFEST.MF junit/ junit/extensions/ junit/framework/ junit/runner/ junit/textui/ org/ ... |