/** * depricated Use the new constructor instead. * * @param hashCode x * @param annos x * @param _value x */ @Deprecated protected void init(final int hashCode, final int value) { super.init(hashCode); _value = value; }
/** * depricated Use the new constructor instead. * * @param hashCode x * @param annos x * @param value x */ @Deprecated protected void init(final int hashCode, final double value) { super.init(hashCode); _value = value; }
/** * depricated Use the new constructor instead. * * @param hashCode x * @param annos x * @param value x */ @Deprecated protected void init(final int hashCode, final long value) { super.init(hashCode); _value = value; }
/** * depricated Use the new constructor instead. * * @param hashCode x * @param annos x * @param data x */ @Deprecated protected void init(final int hashCode, final byte[] data) { super.init(hashCode); _data = data; }
protected void init(final int hashCode, final ATerm first, final ATermList next) { super.init(hashCode); _first = first; _next = next; if (first == null && next == null) _length = 0; else _length = 1 + next.getLength(); }