/** * Specialization of pop for ContinuousArrayData * The link guard checks that the array is continuous AND not empty. * The runtime guard checks that the guard is continuous (CCE otherwise) * * Primitive specialization, {@link LinkLogic} * * @param self self reference * @return element popped * @throws ClassCastException if array is empty, facilitating Undefined return value */ @SpecializedFunction(name="pop", linkLogic=PopLinkLogic.class) public static int popInt(final Object self) { //must be non empty IntArrayData return getContinuousNonEmptyArrayDataCCE(self, IntElements.class).fastPopInt(); }