public override void VisitBinaryExpression(BinaryExpression node)
{
V_0 = this.GetExpressionTypeName(node.get_Left());
V_1 = this.GetExpressionTypeName(node.get_Right());
this.VisitBinaryExpression(node);
if (String.op_Inequality(this.GetExpressionTypeName(node.get_Left()), V_0))
{
stackVariable16 = true;
}
else
{
stackVariable16 = String.op_Inequality(this.GetExpressionTypeName(node.get_Right()), V_1);
}
V_2 = stackVariable16;
if (node.get_IsAssignmentExpression() || node.get_IsSelfAssign() && !node.get_IsEventHandlerAddOrRemove())
{
V_3 = node.get_Left();
V_4 = node.get_Right();
if (V_4.get_HasType() && V_3.get_HasType())
{
V_5 = V_3.get_ExpressionType();
V_6 = V_4.get_ExpressionType().Resolve();
if (this.ShouldAddCast(V_6, V_5))
{
node.set_Right(new ExplicitCastExpression(V_4, V_5, null));
V_2 = true;
}
V_7 = V_5.Resolve();
if (V_7 != null && V_6 != null && V_7.get_IsEnum() && V_6.get_IsValueType() && String.op_Inequality(V_7.get_FullName(), V_6.get_FullName()))
{
node.set_Right(new ExplicitCastExpression(V_4, V_5, null));
V_2 = true;
}
}
}
else
{
if (!this.IsArithmeticOperator(node.get_Operator()))
{
if (this.IsBitwiseOperator(node.get_Operator()) || node.get_IsComparisonExpression())
{
V_10 = node.get_Left();
V_11 = node.get_Right();
if (V_11.get_HasType() && V_10.get_HasType())
{
V_12 = V_10.get_ExpressionType();
V_13 = V_11.get_ExpressionType().Resolve();
if (this.ShouldAddCast(V_13, V_12))
{
node.set_Right(new ExplicitCastExpression(V_11, V_12, null));
V_2 = true;
}
V_14 = V_11.get_ExpressionType();
V_15 = V_10.get_ExpressionType().Resolve();
if (this.ShouldAddCast(V_15, V_14))
{
node.set_Left(new ExplicitCastExpression(V_10, V_14, null));
V_2 = true;
}
if (V_15 != null && V_15.get_IsEnum() && V_13 != null && V_13.get_IsEnum() && String.op_Inequality(V_15.get_FullName(), V_13.get_FullName()))
{
node.set_Left(new ExplicitCastExpression(V_10, this.GetEnumUnderlyingType(V_15), null));
node.set_Right(new ExplicitCastExpression(V_11, this.GetEnumUnderlyingType(V_15), null));
V_2 = true;
}
}
}
else
{
if (this.IsShiftOperator(node.get_Operator()))
{
if (node.get_Left().get_HasType())
{
V_16 = node.get_Left().get_ExpressionType().Resolve();
if (V_16 != null && V_16.get_IsEnum())
{
node.set_Left(new ExplicitCastExpression(node.get_Left(), this.GetEnumUnderlyingType(V_16), null));
V_2 = true;
}
}
if (node.get_Right().get_HasType())
{
V_17 = node.get_Right().get_ExpressionType().Resolve();
if (V_17 != null && V_17.get_IsEnum())
{
node.set_Right(new ExplicitCastExpression(node.get_Right(), this.GetEnumUnderlyingType(V_17), null));
V_2 = true;
}
}
}
}
}
else
{
if (node.get_Left().get_HasType())
{
V_8 = node.get_Left().get_ExpressionType().Resolve();
if (V_8 != null && V_8.get_IsEnum())
{
node.set_Left(new ExplicitCastExpression(node.get_Left(), this.GetEnumUnderlyingType(V_8), null));
V_2 = true;
}
}
if (node.get_Right().get_HasType())
{
V_9 = node.get_Right().get_ExpressionType().Resolve();
if (V_9 != null && V_9.get_IsEnum())
{
node.set_Right(new ExplicitCastExpression(node.get_Right(), this.GetEnumUnderlyingType(V_9), null));
V_2 = true;
}
}
}
}
if (V_2)
{
node.UpdateType();
}
return;
}
internal static CFGBlockLogicalConstruct FindGuardedBlockCFGFollowNode(ExceptionHandlingLogicalConstruct construct, HashSet <CFGBlockLogicalConstruct> outOfconsideration)
{
V_0 = new Dictionary <CFGBlockLogicalConstruct, uint>();
GuardedBlocksFollowNodesFinder.AddSuccessorsToCount(construct.get_Try(), V_0);
V_1 = 1;
if (construct as TryCatchFilterLogicalConstruct == null)
{
if (construct as TryFaultLogicalConstruct == null)
{
if (construct as TryFinallyLogicalConstruct != null)
{
GuardedBlocksFollowNodesFinder.AddSuccessorsToCount((construct as TryFinallyLogicalConstruct).get_Finally(), V_0);
V_1 = V_1 + 1;
}
}
else
{
GuardedBlocksFollowNodesFinder.AddSuccessorsToCount((construct as TryFaultLogicalConstruct).get_Fault(), V_0);
V_1 = V_1 + 1;
}
}
else
{
V_5 = (construct as TryCatchFilterLogicalConstruct).get_Handlers();
V_6 = 0;
while (V_6 < (int)V_5.Length)
{
GuardedBlocksFollowNodesFinder.AddSuccessorsToCount(V_5[V_6], V_0);
V_1 = V_1 + 1;
V_6 = V_6 + 1;
}
}
V_7 = outOfconsideration.GetEnumerator();
try
{
while (V_7.MoveNext())
{
V_8 = V_7.get_Current();
if (!V_0.ContainsKey(V_8))
{
continue;
}
dummyVar0 = V_0.Remove(V_8);
}
}
finally
{
((IDisposable)V_7).Dispose();
}
if (V_0.get_Count() == 0)
{
return(null);
}
V_2 = new HashSet <CFGBlockLogicalConstruct>();
V_3 = V_0.get_Keys().FirstOrDefault <CFGBlockLogicalConstruct>();
dummyVar1 = V_2.Add(V_3);
V_4 = V_0.get_Item(V_3);
V_9 = V_0.get_Keys().GetEnumerator();
try
{
while (V_9.MoveNext())
{
V_10 = V_9.get_Current();
if (V_0.get_Item(V_10) <= V_4)
{
if (V_0.get_Item(V_10) != V_4)
{
continue;
}
dummyVar3 = V_2.Add(V_10);
}
else
{
V_4 = V_0.get_Item(V_10);
V_2.Clear();
dummyVar2 = V_2.Add(V_10);
}
}
}
finally
{
((IDisposable)V_9).Dispose();
}
if (V_2.get_Count() == 1)
{
return(V_2.FirstOrDefault <CFGBlockLogicalConstruct>());
}
V_11 = new HashSet <CFGBlockLogicalConstruct>();
V_12 = 0;
V_7 = V_2.GetEnumerator();
try
{
while (V_7.MoveNext())
{
V_14 = V_7.get_Current();
V_15 = 0;
V_16 = construct.get_CFGBlocks();
V_17 = V_14.get_CFGPredecessors().GetEnumerator();
try
{
while (V_17.MoveNext())
{
V_18 = V_17.get_Current();
if (!V_16.Contains(V_18))
{
continue;
}
V_15 = V_15 + 1;
}
}
finally
{
((IDisposable)V_17).Dispose();
}
if (V_15 < V_12)
{
continue;
}
if (V_15 > V_12)
{
V_12 = V_15;
V_11.Clear();
}
dummyVar4 = V_11.Add(V_14);
}
}
finally
{
((IDisposable)V_7).Dispose();
}
V_13 = V_11.FirstOrDefault <CFGBlockLogicalConstruct>();
if (V_13.get_Index() < construct.get_Entry().get_Index())
{
V_19 = null;
V_7 = V_11.GetEnumerator();
try
{
while (V_7.MoveNext())
{
V_20 = V_7.get_Current();
if (V_20.get_Index() <= construct.get_Entry().get_Index() || V_19 != null && V_19.get_Index() < V_20.get_Index())
{
continue;
}
V_19 = V_20;
}
}
finally
{
((IDisposable)V_7).Dispose();
}
if (V_19 != null)
{
V_13 = V_19;
}
}
return(V_13);
}
private void Preprocess()
{
V_0 = 0;
V_1 = new Dictionary <ParameterDefinition, string>();
V_2 = this.methodContext.get_ParameterDefinitionToNameMap().GetEnumerator();
try
{
while (V_2.MoveNext())
{
V_3 = V_2.get_Current();
V_4 = V_3.get_Key();
V_5 = V_3.get_Value();
V_6 = V_5;
V_7 = !V_6.IsValidIdentifier();
while (V_7 || this.HasMethodParameterWithSameName(V_6))
{
V_7 = false;
stackVariable22 = V_0;
V_0 = stackVariable22 + 1;
V_8 = stackVariable22;
V_6 = String.Concat("argument", V_8.ToString());
}
if (!String.op_Inequality(V_6, V_5))
{
continue;
}
V_1.Add(V_4, V_6);
}
}
finally
{
((IDisposable)V_2).Dispose();
}
V_2 = V_1.GetEnumerator();
try
{
while (V_2.MoveNext())
{
V_9 = V_2.get_Current();
this.methodContext.get_ParameterDefinitionToNameMap().set_Item(V_9.get_Key(), V_9.get_Value());
}
}
finally
{
((IDisposable)V_2).Dispose();
}
V_10 = this.methodContext.get_Body().get_Method().get_Parameters().GetEnumerator();
try
{
while (V_10.MoveNext())
{
V_11 = V_10.get_Current();
V_12 = V_11.get_Name();
if (String.IsNullOrEmpty(V_12))
{
V_12 = this.GetNameByType(V_11.get_ParameterType());
}
this.methodContext.get_ParameterDefinitionToNameMap().Add(V_11, V_12);
}
}
finally
{
V_10.Dispose();
}
if (this.methodContext.get_Method().get_IsSetter() && this.methodContext.get_Method().get_Parameters().get_Count() == 1)
{
V_13 = this.methodContext.get_Method().get_Parameters().get_Item(0);
this.methodContext.get_ParameterDefinitionToNameMap().set_Item(V_13, "value");
}
V_14 = this.methodContext.get_Body().get_Variables().GetEnumerator();
try
{
while (V_14.MoveNext())
{
V_15 = V_14.get_Current();
if (!this.methodContext.get_ParameterDefinitionToNameMap().ContainsValue(V_15.get_Name()))
{
continue;
}
dummyVar0 = this.methodContext.get_VariablesToRename().Add(V_15);
}
}
finally
{
V_14.Dispose();
}
V_16 = this.methodContext.get_VariableDefinitionToNameMap().GetEnumerator();
try
{
while (V_16.MoveNext())
{
V_17 = V_16.get_Current();
if (!this.methodContext.get_ParameterDefinitionToNameMap().ContainsValue(V_17.get_Value()))
{
continue;
}
dummyVar1 = this.methodContext.get_VariablesToRename().Add(V_17.get_Key());
}
}
finally
{
((IDisposable)V_16).Dispose();
}
return;
}
