}
}
public void testWorkingExample() {
DynaMock mockMarket = new DynaMock(Market.class);
Agent agent = new Agent((Market) mockMarket.proxy());
mockMarket.method("buyStock", "IBM", new Integer(10));
agent.buyLowestPriceStock(20);
mockMarket.verify();
}