| /external/antlr/antlr-3.4/tool/src/main/java/org/antlr/analysis/ |
| State.java | 43 public abstract void addTransition(Transition e);
|
| LL1DFA.java | 67 s0.addTransition(acceptAltState, e);
94 s0.addTransition(s, e);
126 s.addTransition(predDFATarget, new Label(ctx));
133 s.addTransition(predDFATarget, new PredicateLabel(synpred));
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AdjustedReturnValueChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, UnknownVal()));
86 C.addTransition(state->BindExpr(CE, LCtx, V));
|
| BuiltinFunctionChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, X));
72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
| ObjCAtSyncChecker.cpp | 71 if (ExplodedNode *N = C.addTransition(nullState)) {
90 C.addTransition(notNullState);
|
| FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) {
|
| TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) {
|
| MacOSKeychainAPIChecker.cpp | 269 ExplodedNode *N = C.addTransition(State);
307 ExplodedNode *N = C.addTransition(State);
366 ExplodedNode *N = C.addTransition(State);
406 C.addTransition(State);
430 ExplodedNode *N = C.addTransition(State);
443 C.addTransition(State);
484 C.addTransition(State);
507 C.addTransition(state);
585 C.addTransition(State);
590 ExplodedNode *N = C.addTransition(C.getState(), C.getPredecessor(), &Tag)
[all...] |
| ChrootChecker.cpp | 94 C.addTransition(state);
120 C.addTransition(state);
143 if (ExplodedNode *N = C.addTransition()) {
|
| PthreadLockChecker.cpp | 140 C.addTransition(lockFail);
155 C.addTransition(lockSucc);
192 C.addTransition(state);
|
| ArrayBoundChecker.cpp | 87 C.addTransition(StInBound);
|
| CastToStructChecker.cpp | 59 if (ExplodedNode *N = C.addTransition()) {
|
| NSAutoreleasePoolChecker.cpp | 74 ExplodedNode *N = C.addTransition();
|
| PointerArithChecker.cpp | 54 if (ExplodedNode *N = C.addTransition()) {
|
| PointerSubChecker.cpp | 63 if (ExplodedNode *N = C.addTransition()) {
|
| DivZeroChecker.cpp | 91 C.addTransition(stateNotZero);
|
| IteratorsChecker.cpp | 407 if (ExplodedNode *N = C.addTransition()) {
430 if (ExplodedNode *N = C.addTransition()) {
474 C.addTransition(state);
499 if (ExplodedNode *N = C.addTransition()) {
551 C.addTransition(state);
601 C.addTransition(state);
|
| StreamChecker.cpp | 242 C.addTransition(stateNotNull);
243 C.addTransition(stateNull);
250 C.addTransition(state);
283 if (ExplodedNode *N = C.addTransition(state)) {
439 ExplodedNode *N = Ctx.addTransition(state);
470 C.addTransition(state);
|
| ObjCSelfInitChecker.cpp | 143 C.addTransition(state->set<SelfFlag>(sym, getSelfFlags(val, C) | flag));
289 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
293 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 143 ExplodedNode *addTransition(ProgramStateRef State,
150 ExplodedNode *addTransition() {
151 return addTransition(getState());
163 ExplodedNode *addTransition(ProgramStateRef State,
|
| /external/webkit/Tools/QtTestBrowser/ |
| webview.cpp | 201 QAbstractTransition* t1 = s0->addTransition(s1);
207 s1->addTransition(s1, SIGNAL(propertiesAssigned()), s2);
212 QAbstractTransition* t2 = s2->addTransition(s3);
216 s3->addTransition(s3, SIGNAL(propertiesAssigned()), final);
|
| /external/antlr/antlr-3.4/tool/src/main/java/org/antlr/tool/ |
| NFAFactory.java | 143 left.addTransition(e);
168 left.addTransition(e);
240 left.addTransition(e);
268 left.addTransition(e);
282 left.addTransition(e);
328 endNFAState.addTransition(toEnd);
678 left.addTransition(e);
730 a.addTransition(e);
|
| /frameworks/base/media/tests/MediaFrameworkTest/src/com/android/mediaframeworktest/performance/ |
| VideoEditorPerformance.java | 337 mVideoEditor.addTransition(tranCrossfade[i]);
413 mVideoEditor.addTransition(transition1);
424 mVideoEditor.addTransition(transition2And3);
433 mVideoEditor.addTransition(transition3And4);
442 mVideoEditor.addTransition(transition4And5);
708 mVideoEditor.addTransition(transitionCrossFade);
718 mVideoEditor.addTransition(transitionCrossFade);
[all...] |
| /frameworks/base/media/tests/MediaFrameworkTest/src/com/android/mediaframeworktest/functional/videoeditor/ |
| VideoEditorAPITest.java | 395 mVideoEditor.addTransition(transition1);
409 mVideoEditor.addTransition(transition2);
641 mVideoEditor.addTransition(transition1);
655 mVideoEditor.addTransition(transition2);
[all...] |
| VideoEditorExportTest.java | 445 mVideoEditor.addTransition(transition1);
462 mVideoEditor.addTransition(transition2And3);
473 mVideoEditor.addTransition(transition3And4);
483 mVideoEditor.addTransition(transition4And5);
494 mVideoEditor.addTransition(transition5And6);
500 mVideoEditor.addTransition(transition6);
586 mVideoEditor.addTransition(transition1);
637 mVideoEditor.addTransition(transition1);
654 mVideoEditor.addTransition(transition2And3);
659 mVideoEditor.addTransition(transition3)
[all...] |
