/// <summary> /// Creates new type context, flow context and flow state for the routine. /// </summary> public static FlowState CreateInitialState(SourceRoutineSymbol routine) { Contract.ThrowIfNull(routine); var containingType = routine.ContainingType as SourceNamedTypeSymbol; // collect locals var locals = LocalsBinder.BindLocals(routine); var returnIdx = locals.IndexOf(x => x.VariableKind == VariableKind.ReturnVariable); // create typeCtx var typeCtx = routine.TypeRefContext; // create FlowContext var flowCtx = new FlowContext(typeCtx, locals, returnIdx); // create FlowState var state = new FlowState(flowCtx, routine); // handle parameters passed by reference var parameters = routine.Parameters.OfType <SourceParameterSymbol>().ToImmutableArray(); foreach (var p in parameters) { if (p.Syntax.PassedByRef) { state.SetVarRef(p.Name); } } // mark $this as initialized // mark global variables as ByRef, used // mark function parameters as used, initialized, typed // construct initial state for variables int paramIdx = 0; for (int i = 0; i < locals.Length; i++) { switch (locals[i].VariableKind) { case VariableKind.GlobalVariable: state.SetVarRef(i); // => used, byref, initialized break; case VariableKind.Parameter: //state.SetVarUsed(i); var paramtag = PHPDoc.GetParamTag(routine.PHPDocBlock, paramIdx, locals[i].Name); state.SetVar(i, GetParamType(typeCtx, paramtag, parameters[paramIdx].Syntax, default(CallInfo), paramIdx)); paramIdx++; break; //case VariableKind.UseParameter: // state.SetVar(i, TypeRefMask.AnyType); // break; case VariableKind.ThisParameter: InitThisVar(flowCtx, state, i); break; case VariableKind.StaticVariable: state.SetVarInitialized(i); break; case VariableKind.ReturnVariable: InitReturn(flowCtx, state, routine.PHPDocBlock); break; } } // return(state); }