Java std::list rework to be consistent with std::vector wrappers

This commit is contained in:
William S Fulton 2017-06-22 11:47:56 +01:00
commit dd25f5b722

View file

@ -2,56 +2,134 @@
%{ %{
#include <list> #include <list>
#include <algorithm> #include <stdexcept>
%} %}
%fragment("SWIG_ListSize", "header", fragment="SWIG_JavaIntFromSize_t") {
SWIGINTERN jint SWIG_ListSize(size_t size) {
jint sz = SWIG_JavaIntFromSize_t(size);
if (sz == -1)
throw std::out_of_range("list size is too large to fit into a Java int");
return sz;
}
}
%javamethodmodifiers std::list::begin "private"; %javamethodmodifiers std::list::begin "private";
%javamethodmodifiers std::list::insert "private"; %javamethodmodifiers std::list::insert "private";
%javamethodmodifiers std::list::set "private"; %javamethodmodifiers std::list::set "private";
%javamethodmodifiers std::list::previous_index "private";
%javamethodmodifiers std::list::next_index "private";
%javamethodmodifiers std::list::previous "private"; %javamethodmodifiers std::list::previous "private";
%javamethodmodifiers std::list::next "private"; %javamethodmodifiers std::list::next "private";
%javamethodmodifiers std::list::deref "private"; %javamethodmodifiers std::list::deref "private";
%javamethodmodifiers std::list::advance "private"; %javamethodmodifiers std::list::advance "private";
%javamethodmodifiers std::list::has_next "private"; %javamethodmodifiers std::list::doSize "private";
%javamethodmodifiers std::list::doPreviousIndex "private";
/* %javamethodmodifiers std::list::doNextIndex "private";
To conform to Java Collection interface we must return int from size(). %javamethodmodifiers std::list::doHasNext "private";
Unfortunately that loses precision from the integer types commonly used in
C++ implementations. Since we can't overload on return values the best
workaround here is to expose the real C++ size() return value to Java as a
long and use the javaout typemap to validate. We can then at least fails
gracefully in the case where we have a collection with > 2^31-1 items rather
than failing mysteriously.
The use of SWIG_list_size_type here allows us to selectively %apply this to
only the cases where we have to conform to the Java interface requirement,
without interfering with other size_type usage. The intention is that
SWIG_list_size_type is both reserved and unique. (Perhaps it could live in
std_common.i later on?)
*/
%typemap(jstype) SWIG_list_size_type "int";
%typemap(javaout) SWIG_list_size_type {
final long result = $jnicall;
if (result > Integer.MAX_VALUE) {
throw new IndexOutOfBoundsException("Size of Collection is not representable as int");
}
return (int)result;
}
// Match Java style better: // Match Java style better:
%rename(Iterator) std::list::iterator; %rename(Iterator) std::list::iterator;
%nodefaultctor std::list::iterator; %nodefaultctor std::list::iterator;
%typemap(javaimports) std::list %{
import java.util.AbstractSequentialList;
import java.util.ListIterator;
import java.util.NoSuchElementException;
import java.util.Collection;
%}
%typemap(javabase) std::list "AbstractSequentialList<$typemap(jboxtype, $1_basetype::value_type)>"
namespace std { namespace std {
template <typename T> class list { template <typename T> class list {
%proxycode %{
public $javaclassname(Collection c) {
this();
ListIterator<$typemap(jboxtype, T)> it = listIterator(0);
// Special case the "copy constructor" here to avoid lots of cross-language calls
for (Object o : c) {
it.add(($typemap(jboxtype, T))o);
}
}
public int size() {
return doSize();
}
public ListIterator<$typemap(jboxtype, T)> listIterator(int index) {
return new ListIterator<$typemap(jboxtype, T)>() {
private Iterator pos;
private Iterator last;
private ListIterator<$typemap(jboxtype, T)> init(int index) {
pos = $javaclassname.this.begin();
pos = pos.advance_unchecked(index);
return this;
}
public void add($typemap(jboxtype, T) v) {
// Technically we can invalidate last here, but this makes more sense
last = $javaclassname.this.insert(pos, v);
}
public void set($typemap(jboxtype, T) v) {
if (null == last) {
throw new IllegalStateException();
}
last.set_unchecked(v);
}
public void remove() {
if (null == last) {
throw new IllegalStateException();
}
$javaclassname.this.remove(last);
last = null;
}
public int previousIndex() {
return $javaclassname.this.doPreviousIndex(pos);
}
public int nextIndex() {
return $javaclassname.this.doNextIndex(pos);
}
public $typemap(jboxtype, T) previous() {
if (previousIndex() < 0) {
throw new NoSuchElementException();
}
last = pos;
pos = pos.previous_unchecked();
return last.deref_unchecked();
}
public $typemap(jboxtype, T) next() {
if (!hasNext()) {
throw new NoSuchElementException();
}
last = pos;
pos = pos.next_unchecked();
return last.deref_unchecked();
}
public boolean hasPrevious() {
// This call to previousIndex() will be much slower than the hasNext() implementation, but it's simpler like this with C++ forward iterators
return previousIndex() != -1;
}
public boolean hasNext() {
return $javaclassname.this.doHasNext(pos);
}
}.init(index);
}
%}
public: public:
typedef size_t size_type; typedef size_t size_type;
typedef T value_type; typedef T value_type;
typedef T &reference; typedef T &reference;
%apply SWIG_list_size_type { size_type next_index, size_type previous_index, size_type size };
/* /*
* We'd actually be better off having the nested class *not* be static in the wrapper * We'd actually be better off having the nested class *not* be static in the wrapper
@ -92,134 +170,38 @@ namespace std {
} }
}; };
void assign(size_type n, const value_type &val); list();
bool empty() const;
list(size_type n, const value_type &value = value_type()); list(size_type n, const value_type &value = value_type());
list(const list &o); list(const list &o);
list();
~list(); ~list();
void assign(size_type n, const value_type &val);
bool empty() const;
size_type max_size() const; size_type max_size() const;
void pop_back(); void pop_back();
void pop_front(); void pop_front();
void push_back(const value_type &x); void push_back(const value_type &x);
void push_front(const value_type &x); void push_front(const value_type &x);
size_type size() const;
// Although sort() is nice it makes operator<() mandatory which it probably shouldn't be
//void sort();
iterator begin(); iterator begin();
iterator end(); iterator end();
iterator insert(iterator pos, const value_type &v); iterator insert(iterator pos, const value_type &v);
%extend { %extend {
size_type previous_index(const iterator& pos) const { %fragment("SWIG_ListSize");
return pos == self->begin() ? -1 : std::distance(self->begin(), static_cast<std::list<T>::const_iterator>(pos)); jint doSize() const throw (std::out_of_range) {
return SWIG_ListSize(self->size());
} }
size_type next_index(const iterator& pos) const { jint doPreviousIndex(const iterator &pos) const {
return pos == self->end() ? self->size() : std::distance(self->begin(), static_cast<std::list<T>::const_iterator>(pos)); return pos == self->begin() ? -1 : SWIG_ListSize(std::distance(self->begin(), static_cast<std::list<T>::const_iterator>(pos)));
} }
bool has_next(const iterator& pos) const { jint doNextIndex(const iterator &pos) const {
return pos == self->end() ? self->size() : SWIG_ListSize(std::distance(self->begin(), static_cast<std::list<T>::const_iterator>(pos)));
}
bool doHasNext(const iterator &pos) const {
return pos != $self->end(); return pos != $self->end();
} }
} }
}; };
} }
%typemap(javaimports) std::list %{
import java.util.AbstractSequentialList;
import java.util.ListIterator;
import java.util.NoSuchElementException;
import java.util.Collection;
%}
%typemap(javabase) std::list "AbstractSequentialList<$typemap(jboxtype,$1_basetype::value_type)>"
#define JAVA_VALUE_TYPE $typemap(jboxtype,$1_basetype::value_type)
#define JAVA_ITERATOR_TYPE Iterator
%typemap(javacode,noblock=1) std::list {
public $javaclassname(Collection c) {
this();
ListIterator<JAVA_VALUE_TYPE> it = listIterator(0);
// We should special case the "copy constructor" here to avoid lots of cross-language calls
for (Object o: c) {
it.add((JAVA_VALUE_TYPE)o);
}
}
public ListIterator<JAVA_VALUE_TYPE> listIterator(int index) {
return new ListIterator<JAVA_VALUE_TYPE>() {
private JAVA_ITERATOR_TYPE pos;
private JAVA_ITERATOR_TYPE last;
private ListIterator<JAVA_VALUE_TYPE> init(int index) {
pos = $javaclassname.this.begin();
pos = pos.advance_unchecked(index);
return this;
}
public void add(JAVA_VALUE_TYPE v) {
// Technically we can invalidate last here, but this makes more sense
last=$javaclassname.this.insert(pos, v);
}
public void set(JAVA_VALUE_TYPE v) {
if (null==last) {
throw new IllegalStateException();
}
last.set_unchecked(v);
}
public void remove() {
if (null==last) {
throw new IllegalStateException();
}
$javaclassname.this.remove(last);
last=null;
}
public int previousIndex() {
return $javaclassname.this.previous_index(pos);
}
public int nextIndex() {
return $javaclassname.this.next_index(pos);
}
public JAVA_VALUE_TYPE previous() {
if (previousIndex() < 0) {
throw new NoSuchElementException();
}
last = pos;
pos = pos.previous_unchecked();
return last.deref_unchecked();
}
public JAVA_VALUE_TYPE next() {
if (!hasNext()) {
throw new NoSuchElementException();
}
last = pos;
pos = pos.next_unchecked();
return last.deref_unchecked();
}
public boolean hasPrevious() {
// This call to previousIndex() will be much slower than the hasNext() implementation, but it's simpler like this with C++ forward iterators
return previousIndex() != -1;
}
public boolean hasNext() {
return $javaclassname.this.has_next(pos);
}
}.init(index);
}
}