| /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/ |
| BuiltinFunctionChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, X));
72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
| ObjCAtSyncChecker.cpp | 69 if (ExplodedNode *N = C.addTransition(nullState)) {
87 C.addTransition(notNullState);
|
| FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) {
|
| NSAutoreleasePoolChecker.cpp | 65 ExplodedNode *N = C.addTransition();
|
| TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) {
|
| MacOSKeychainAPIChecker.cpp | 269 ExplodedNode *N = C.addTransition(State);
311 ExplodedNode *N = C.addTransition(State);
370 ExplodedNode *N = C.addTransition(State);
410 C.addTransition(State);
434 ExplodedNode *N = C.addTransition(State);
447 C.addTransition(State);
492 C.addTransition(State);
515 C.addTransition(state);
595 C.addTransition(State);
600 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()) {
|
| DynamicTypePropagation.cpp | 54 C.addTransition(State);
131 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false));
141 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType));
186 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0)));
|
| PointerArithChecker.cpp | 54 if (ExplodedNode *N = C.addTransition()) {
|
| PointerSubChecker.cpp | 63 if (ExplodedNode *N = C.addTransition()) {
|
| DivZeroChecker.cpp | 87 C.addTransition(stateNotZero);
|
| CallAndMessageChecker.cpp | 245 C.addTransition(StNonNull);
299 C.addTransition(State);
405 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
442 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
446 C.addTransition(state);
|
| BasicObjCFoundationChecks.cpp | 339 : C.addTransition()) {
441 C.addTransition(stateFalse);
484 if (ExplodedNode *N = C.addTransition()) {
626 errorNode = C.addTransition();
716 C.addTransition(State);
784 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);
|
| /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);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 162 ExplodedNode *addTransition(ProgramStateRef State = 0,
174 ExplodedNode *addTransition(ProgramStateRef State,
|
| /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...] |
