internal ForeachStmtPoint(ForeachStmt foreachStmt, ValuePoint enumeree, LValuePoint keyVar, LValuePoint valVar)
{
Foreach = foreachStmt;
KeyVar = keyVar;
ValVar = valVar;
Enumeree = enumeree;
}
internal StaticVariablePoint(StaticVarDecl staticVarDecl, LValuePoint variable, VariableName variableName, ValuePoint initializer)
{
StaticVarDecl = staticVarDecl;
_variable = variable;
_initializer = initializer;
_variableName = variableName;
}
/// <summary>
/// Initializes a new instance of the <see cref="IncDecExPoint" /> class.
/// </summary>
/// <param name="incDecEx">Post/pre increment or decrement expression</param>
/// <param name="incrementedValue">Program point with increment or decrement expression</param>
internal IncDecExPoint(IncDecEx incDecEx, ValuePoint incrementedValue)
{
IncDecEx = incDecEx;
IncrementedValue = incrementedValue;
IncrementTarget = incrementedValue as LValuePoint;
if (IncrementTarget == null)
{
throw new NotSupportedException("Given incrementedValue doesn't support incrementation");
}
}
internal AssignOperationPoint(ValueAssignEx assign, LValuePoint lOperand, ValuePoint rOperand)
{
LOperand = lOperand;
ROperand = rOperand;
Assign = assign;
AssignTarget = lOperand as LValuePoint;
if (AssignTarget == null)
{
throw new NotSupportedException("Given lOperand cannot be used ass assign target");
}
}
/// <summary>
/// Initializes a new instance of the <see cref="EmptyExPoint" /> class.
/// </summary>
/// <param name="emptyEx"><c>empty</c> construct</param>
/// <param name="variable">Variable to be checked whether it is empty</param>
internal EmptyExPoint(EmptyEx emptyEx, LValuePoint variable)
{
EmptyEx = emptyEx;
Variable = variable;
}
internal AssignPoint(ValueAssignEx assign, LValuePoint lOperand, ValuePoint rOperand)
{
LOperand = lOperand;
ROperand = rOperand;
Assign = assign;
}
