| /external/antlr/antlr-3.4/tool/src/main/java/org/antlr/analysis/ |
| H A D | State.java | 43 public abstract void addTransition(Transition e); method in class:State
|
| H A D | 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));
|
| H A D | NFAState.java | 116 public void addTransition(Transition e) { method in class:NFAState
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 53 C.addTransition(state->BindExpr(CE, LCtx, X));
76 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
| H A D | ObjCAtSyncChecker.cpp | 69 if (ExplodedNode *N = C.addTransition(nullState)) {
87 C.addTransition(notNullState);
|
| H A D | FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | NSAutoreleasePoolChecker.cpp | 65 ExplodedNode *N = C.addTransition();
|
| H A D | TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | DynamicTypePropagation.cpp | 56 C.addTransition(State);
134 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false));
144 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType));
189 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0)));
205 C.addTransition(C.getState()->setDynamicTypeInfo(MR, NewE->getType(),
|
| H A D | ChrootChecker.cpp | 94 C.addTransition(state);
120 C.addTransition(state);
143 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | PthreadLockChecker.cpp | 132 C.addTransition(lockFail);
147 C.addTransition(lockSucc);
184 C.addTransition(state);
|
| H A D | ArrayBoundChecker.cpp | 87 C.addTransition(StInBound);
|
| H A D | CastToStructChecker.cpp | 59 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | PointerArithChecker.cpp | 54 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | PointerSubChecker.cpp | 63 if (ExplodedNode *N = C.addTransition()) {
|
| H A D | MacOSKeychainAPIChecker.cpp | 260 ExplodedNode *N = C.addTransition(State);
302 ExplodedNode *N = C.addTransition(State);
361 ExplodedNode *N = C.addTransition(State);
404 C.addTransition(State);
427 ExplodedNode *N = C.addTransition(State);
440 C.addTransition(State);
485 C.addTransition(State);
574 C.addTransition(State);
579 ExplodedNode *N = C.addTransition(C.getState(), C.getPredecessor(), &Tag);
588 C.addTransition(Stat
[all...] |
| H A D | ObjCSelfInitChecker.cpp | 128 C.addTransition(state);
259 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
263 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
301 C.addTransition(state);
337 C.addTransition(State);
|
| H A D | DivZeroChecker.cpp | 87 C.addTransition(stateNotZero);
|
| H A D | SimpleStreamChecker.cpp | 139 C.addTransition(State);
170 C.addTransition(State);
204 ExplodedNode *N = C.addTransition(State);
|
| H A D | CallAndMessageChecker.cpp | 250 C.addTransition(StNonNull);
327 C.addTransition(State);
440 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
478 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
482 C.addTransition(state);
|
| H A D | BoolAssignmentChecker.cpp | 35 if (ExplodedNode *N = C.addTransition(state)) {
|
| H A D | CStringChecker.cpp | 690 if (ExplodedNode *N = C.addTransition(state)) {
750 if (ExplodedNode *N = C.addTransition(state)) {
895 C.addTransition(stateZeroSize);
965 C.addTransition(state);
1044 C.addTransition(state);
1071 C.addTransition(state);
1084 C.addTransition(state);
1127 C.addTransition(stateZeroSize);
1222 C.addTransition(state);
1393 C.addTransition(StateZeroSiz
[all...] |
| /external/antlr/antlr-3.4/tool/src/main/java/org/antlr/tool/ |
| H A D | 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/ |
| H A D | CheckerContext.h | 203 ExplodedNode *addTransition(ProgramStateRef State = 0, function in class:clang::ento::CheckerContext
215 ExplodedNode *addTransition(ProgramStateRef State, function in class:clang::ento::CheckerContext
|
| /external/llvm/utils/TableGen/ |
| H A D | DFAPacketizerEmitter.cpp | 113 // addTransition - Add a transition from this state given the input InsnClass
115 void addTransition(unsigned InsnClass, State *To);
171 // addTransition - Add a transition from this state given the input InsnClass
173 void State::addTransition(unsigned InsnClass, State *To) { function in class:State
508 current->addTransition(InsnClass, NewState);
|