public Unit Unary(Expression pc, UnaryOperator op, bool overflow, bool unsigned, Variable dest, Expression source, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
Recurse(source, data);
return(Unit.Value);
}
public Unit Ldnull(Expression pc, Variable dest, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
return(Unit.Value);
}
public Unit Sizeof(Expression pc, Type type, Variable dest, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
// Why is this used here? TODO: figure out what depends on this!
data.Add(pc);
return(Unit.Value);
}
public Unit Isinst(Expression pc, Type type, Variable dest, Expression obj, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
data.Add(pc); // TODO: figure out who depends on this! This should not be treated as a free variable!
return(Unit.Value);
}
public Unit Ldconst(Expression pc, object constant, Type type, Variable dest, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
return(Unit.Value);
}
public Unit Binary(Expression pc, BinaryOperator op, Variable dest, Expression s1, Expression s2, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
Recurse(s1, data);
Recurse(s2, data);
return(Unit.Value);
}
public Unit SymbolicConstant(Expression pc, Variable symbol, Microsoft.Research.DataStructures.IMutableSet <Expression> data)
{
data.Add(pc);
return(Unit.Value);
}
private void Recurse(Expression exp, Microsoft.Research.DataStructures.IMutableSet <Expression> set)
{
context.ExpressionContext.Decode <Microsoft.Research.DataStructures.IMutableSet <Expression>, Unit, VisitorForVariablesIn>(exp, this, set);
}
public static void AddFreeVariables(Expression exp,
Microsoft.Research.DataStructures.IMutableSet <Expression> set, Decoder decoder)
{
decoder.visitorForVariablesIn.Recurse(exp, set);
}
public void AddFreeVariables(Expression exp, Microsoft.Research.DataStructures.IMutableSet <Expression> set)
{
VisitorForVariablesIn.AddFreeVariables(exp, set, this);
}