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);
}
}
}
}