| /******************************************************************************* | |
| * Copyright (c) 2009 Mia-Software and others. | |
| * All rights reserved. This program and the accompanying materials | |
| * are made available under the terms of the Eclipse Public License v2.0 | |
| * which accompanies this distribution, and is available at | |
| * http://www.eclipse.org/legal/epl-v20.html | |
| * | |
| * Contributors: | |
| * Gregoire DUPE (Mia-Software) | |
| * Romain Dervaux (Mia-Software) | |
| *******************************************************************************/ | |
| To check the number of proxy created for ArrayList.size(). | |
| Checked by the model validator. |