Searched defs:assumption (Results 1 - 8 of 8) sorted by relevance

/external/junit/src/org/junit/internal/
H A DAssumptionViolatedException.java21 public AssumptionViolatedException(String assumption) { argument
22 this(assumption, null);
37 description.appendText("failed assumption: " + fValue);
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp89 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 DExprEngine.cpp155 // 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/
H A DChecker.h427 bool assumption) {
428 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
424 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument
/external/chromium_org/third_party/WebKit/Source/core/html/
H A DHTMLMediaElement.cpp3737 void HTMLMediaElement::configureTextTrackDisplay(VisibilityChangeAssumption assumption) argument
3753 if (assumption == AssumeNoVisibleChange
/external/owasp/sanitizer/lib/junit/
H A Djunit-dep.jarMETA-INF/ META-INF/MANIFEST.MF junit/ junit/extensions/ junit/framework/ junit/runner/ junit/textui/ org/ ...
H A Djunit.jarMETA-INF/ META-INF/MANIFEST.MF junit/ junit/extensions/ junit/framework/ junit/runner/ junit/textui/ org/ ...

Completed in 328 milliseconds