public override bool Equals(System.Object object_Renamed)
{
bool isEqual = false;
if (base.Equals(object_Renamed) && (object_Renamed is Push))
{
Push push = (Push)object_Renamed;
if (equals(push.value, this.value))
{
isEqual = true;
}
}
return(isEqual);
}
public virtual void push(Push action)
{
}
public override void push(Push action)
{
start(action);
out_Renamed.Write(" ");
System.Object value = action.value;
int type = Push.getTypeCode(value);
switch (type)
{
case Flash.Swf.ActionConstants.kPushStringType:
out_Renamed.Write(quoteString(value.ToString(), '"'));
break;
case Flash.Swf.ActionConstants.kPushNullType:
out_Renamed.Write("null");
break;
case Flash.Swf.ActionConstants.kPushUndefinedType:
out_Renamed.Write("undefined");
break;
case Flash.Swf.ActionConstants.kPushRegisterType:
String variableName = variableNameForRegister(((int) ((System.SByte) value) & 0xFF));
out_Renamed.Write("$" + ((int) ((System.SByte) value) & 0xFF) + ((variableName == null)?"":" \t\t; " + variableName));
break;
case Flash.Swf.ActionConstants.kPushConstant8Type:
case Flash.Swf.ActionConstants.kPushConstant16Type:
int index = System.Convert.ToInt32(((System.ValueType) value)) & 0xFFFF;
out_Renamed.Write(((cpool == null)?System.Convert.ToString(index):quoteString(cpool.pool[index], '\'')));
break;
case Flash.Swf.ActionConstants.kPushFloatType:
out_Renamed.Write(value + "F");
break;
case Flash.Swf.ActionConstants.kPushBooleanType:
case Flash.Swf.ActionConstants.kPushDoubleType:
case Flash.Swf.ActionConstants.kPushIntegerType:
out_Renamed.Write(value);
break;
default:
System.Diagnostics.Debug.Assert(false);
break;
}
out_Renamed.WriteLine();
}
