95 lines
2.3 KiB
Java
95 lines
2.3 KiB
Java
/******************************************************************************
|
|
* Copyright (c) 2002 - 2008 IBM Corporation.
|
|
* All rights reserved. This program and the accompanying materials
|
|
* are made available under the terms of the Eclipse Public License v1.0
|
|
* which accompanies this distribution, and is available at
|
|
* http://www.eclipse.org/legal/epl-v10.html
|
|
*
|
|
* Contributors:
|
|
* IBM Corporation - initial API and implementation
|
|
*****************************************************************************/
|
|
abstract class PrimitiveWrapper {
|
|
|
|
/**
|
|
* Sets the integer representation of the underlying primitive
|
|
* to the given value.
|
|
* @effects this.intVal' = i
|
|
*/
|
|
public abstract void setIntValue(int i);
|
|
|
|
/**
|
|
* Returns the integer representation of the underlying primitive.
|
|
* @return this.intVal
|
|
*/
|
|
public abstract int intValue();
|
|
|
|
/**
|
|
* Returns true if this and the given object are
|
|
* pri
|
|
* {@inheritDoc}
|
|
* @see java.lang.Object#equals(java.lang.Object)
|
|
*/
|
|
|
|
@Override
|
|
abstract public boolean equals(Object o);
|
|
}
|
|
|
|
final class IntWrapper extends PrimitiveWrapper {
|
|
private int val;
|
|
|
|
/**
|
|
* Constructs a wrapper for the given int.
|
|
* @effects this.intVal' = val
|
|
*/
|
|
public IntWrapper(int val) {
|
|
this.val = val;
|
|
}
|
|
|
|
/**
|
|
* {@inheritDoc}
|
|
* @see com.ibm.miniatur.tests.sequential.PrimitiveWrapper#intValue()
|
|
*/
|
|
|
|
@Override
|
|
@SuppressWarnings("javadoc")
|
|
public int intValue() {
|
|
return val;
|
|
}
|
|
|
|
/**
|
|
* {@inheritDoc}
|
|
* @see com.ibm.miniatur.tests.sequential.PrimitiveWrapper#setIntValue(int)
|
|
*/
|
|
|
|
@Override
|
|
@SuppressWarnings("javadoc")
|
|
public void setIntValue(int i) {
|
|
this.val = i;
|
|
}
|
|
|
|
/**
|
|
* {@inheritDoc}
|
|
* @see com.ibm.miniatur.tests.sequential.PrimitiveWrapper#equals(java.lang.Object)
|
|
*/
|
|
|
|
@Override
|
|
@SuppressWarnings("javadoc")
|
|
public boolean equals(Object o) {
|
|
return o instanceof IntWrapper && ((IntWrapper)o).val==val;
|
|
}
|
|
}
|
|
|
|
public class MiniaturSliceBug {
|
|
|
|
public void validNonDispatchedCall(IntWrapper wrapper) {
|
|
wrapper.setIntValue(3);
|
|
assert wrapper.intValue() == 3;
|
|
wrapper.equals(wrapper);
|
|
}
|
|
|
|
public static void main(String[] args) {
|
|
(new MiniaturSliceBug()).validNonDispatchedCall(new IntWrapper(-1));
|
|
}
|
|
|
|
}
|