iflamberg, чтобы перегрузить функцию, нужна её сигнатура - её ты и привёл. Исходя из этого становится ясно, что во-первых нужно будет написать:
Код AS3:
public override function push(...args):uint{...}
а во-вторых, что из-за приписки AS3 переопределить эту функцию будет не так-то просто.