class ShoppingCart extends java.lang.Object { void add(Item, int) { ShoppingCart this; Item i; int amount; this := @this: ShoppingCart; i := @parameter0: Item; amount := @parameter1: int; return; } void () { ShoppingCart this; this := @this: ShoppingCart; specialinvoke this.()>(); return; } static void () { return; } }