private void AssumeIsset(IssetEx issetEx, MemoryContext memoryContext, SnapshotBase flowOutputSet, bool assumeTrue) { foreach (var variable in issetEx.VarList) { if (variable is VarLikeConstructUse) { var varUse = (VarLikeConstructUse)variable; if (assumeTrue) { memoryContext.RemoveUndefinedValue(varUse); } else { memoryContext.AssignUndefinedValue(varUse); } } } }
private void AssumeIsset(IssetEx issetEx, MemoryContext memoryContext, SnapshotBase flowOutputSet, bool assumeTrue) { foreach (var variable in issetEx.VarList) { if (variable is DirectVarUse) { var dirVariable = (DirectVarUse)variable; if (assumeTrue) { memoryContext.RemoveUndefinedValue(dirVariable.VarName, dirVariable); } else { memoryContext.AssignUndefinedValue(dirVariable.VarName); } } } }