| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundChecker.cpp | 88 C.addTransition(StInBound);
|
| DivZeroChecker.cpp | 87 C.addTransition(stateNotZero);
|
| ObjCAtSyncChecker.cpp | 88 C.addTransition(notNullState);
|
| TestAfterDivZeroChecker.cpp | 156 C.addTransition(State);
200 C.addTransition(State->set<DivZeroMap>(DivZeroes));
|
| VforkChecker.cpp | 177 C.addTransition(ParentState);
179 C.addTransition(ChildState);
|
| CallAndMessageChecker.cpp | 332 C.addTransition(StNonNull);
439 C.addTransition(State);
544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
586 C.addTransition(state);
|
| MacOSKeychainAPIChecker.cpp | 402 C.addTransition(State);
438 C.addTransition(State);
483 C.addTransition(State);
574 C.addTransition(State);
588 C.addTransition(State, N);
|
| StreamChecker.cpp | 233 C.addTransition(stateNotNull);
234 C.addTransition(stateNull);
241 C.addTransition(state);
|
| DereferenceChecker.cpp | 239 C.addTransition(notNullState);
296 C.addTransition(State, this);
|
| SimpleStreamChecker.cpp | 134 C.addTransition(State);
160 C.addTransition(State);
|
| GenericTaintChecker.cpp | 310 C.addTransition(State);
323 C.addTransition(State);
362 C.addTransition(State);
401 C.addTransition(State);
|
| ObjCContainersChecker.cpp | 80 C.addTransition(
|
| ReturnUndefChecker.cpp | 110 C.addTransition(StNonNull);
|
| VLASizeChecker.cpp | 179 C.addTransition(state);
|
| /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/support/v17/leanback/src/android/support/v17/leanback/transition/ |
| TransitionHelper.java | 130 void addTransition(Object transitionSet, Object transition);
324 public void addTransition(Object transitionSet, Object transition) {
489 public void addTransition(Object transitionSet, Object transition) {
490 TransitionHelperKitkat.addTransition(transitionSet, transition);
794 public static void addTransition(Object transitionSet, Object transition) {
795 sImpl.addTransition(transitionSet, transition);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
220 ExplodedNode *addTransition(ProgramStateRef State,
257 return addTransition(State, (Tag ? Tag : Location.getTag()));
|
| /frameworks/base/core/java/android/app/ |
| FragmentTransition.java | 415 transitionSet.addTransition(transition);
[all...] |
| /external/antlr/antlr-3.4/tool/src/main/antlr3/org/antlr/grammar/v3/ |
| TreeToNFAConverter.g | 135 end.addTransition( e );
139 end.addTransition( followEdge );
245 start.addTransition(new Transition(Label.EPSILON, g.left));
259 g.right.addTransition(new Transition(Label.EPSILON,end));
|
| /frameworks/base/core/java/android/transition/ |
| TransitionUtils.java | 74 transitionSet.addTransition(transitions[i]);
|
| /frameworks/base/graphics/java/android/graphics/drawable/ |
| AnimatedStateListDrawable.java | 126 public <T extends Drawable & Animatable> void addTransition(int fromId, int toId,
132 mState.addTransition(fromId, toId, transition, reversible);
493 return mState.addTransition(fromId, toId, dr, reversible);
584 int addTransition(int fromId, int toId, @NonNull Drawable anim, boolean reversible) {
|
| /frameworks/support/v17/leanback/src/android/support/v17/leanback/app/ |
| VerticalGridFragment.java | 71 mStateMachine.addTransition(STATE_ENTRANCE_ON_PREPARED,
|
| VerticalGridSupportFragment.java | 74 mStateMachine.addTransition(STATE_ENTRANCE_ON_PREPARED,
|
| /external/clang/www/analyzer/ |
| checker_dev_manual.html | 441 analyzer core by calling the <tt>CheckerContext::addTransition</tt> function.
483 href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1CheckerContext.html#a264f48d97809707049689c37aa35af78">CheckerContext::addTransition</a>.
485 href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1CheckerContext.html#a264f48d97809707049689c37aa35af78">CheckerContext::addTransition()</a>
493 <tt>addTransition</tt> function, but marks the state as a sink node. Like
494 <tt>addTransition</tt>, this returns an <tt>ExplodedNode</tt> with the updated
|
| /external/llvm/utils/TableGen/ |
| DFAPacketizerEmitter.cpp | 229 // addTransition - Add a transition from this state given the input InsnClass
231 void addTransition(std::vector<unsigned> InsnClass, const State *To) const;
320 // addTransition - Add a transition from this state given the input InsnClass
322 void State::addTransition(std::vector<unsigned> InsnClass, const State *To)
[all...] |
