io.takamaka.code.util.Bytes64 Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of io-takamaka-code Show documentation
Show all versions of io-takamaka-code Show documentation
This module defines the support library of the Takamaka language.
The newest version!
/*
Copyright 2021 Fausto Spoto
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*/
package io.takamaka.code.util;
import java.util.Iterator;
import java.util.NoSuchElementException;
import java.util.function.IntSupplier;
import java.util.function.IntUnaryOperator;
import java.util.stream.IntStream;
import io.takamaka.code.lang.Exported;
import io.takamaka.code.lang.View;
/**
* A mutable array of 64 bytes, that can be kept in storage. Unset elements default to 0.
* The length of the array cannot be changed but its elements can be updated.
* By iterating on this object, one gets its values, in increasing index order.
*/
public class Bytes64 extends AbstractStorageByteArrayView implements StorageByteArray {
/**
* The immutable size of the array.
*/
public final static int length = 64;
// the elements of the array
private byte byte0;
private byte byte1;
private byte byte2;
private byte byte3;
private byte byte4;
private byte byte5;
private byte byte6;
private byte byte7;
private byte byte8;
private byte byte9;
private byte byte10;
private byte byte11;
private byte byte12;
private byte byte13;
private byte byte14;
private byte byte15;
private byte byte16;
private byte byte17;
private byte byte18;
private byte byte19;
private byte byte20;
private byte byte21;
private byte byte22;
private byte byte23;
private byte byte24;
private byte byte25;
private byte byte26;
private byte byte27;
private byte byte28;
private byte byte29;
private byte byte30;
private byte byte31;
private byte byte32;
private byte byte33;
private byte byte34;
private byte byte35;
private byte byte36;
private byte byte37;
private byte byte38;
private byte byte39;
private byte byte40;
private byte byte41;
private byte byte42;
private byte byte43;
private byte byte44;
private byte byte45;
private byte byte46;
private byte byte47;
private byte byte48;
private byte byte49;
private byte byte50;
private byte byte51;
private byte byte52;
private byte byte53;
private byte byte54;
private byte byte55;
private byte byte56;
private byte byte57;
private byte byte58;
private byte byte59;
private byte byte60;
private byte byte61;
private byte byte62;
private byte byte63;
/**
* Builds an empty array of the given length. Its elements are
* initialized to 0.
*/
public Bytes64() {}
/**
* Builds an array with the given elements. The resulting
* object is not backed by the elements, meaning that subsequent
* updates to the array of elements does not affect the created object.
*
* @param elements the elements
*/
public Bytes64(byte[] elements) {
if (elements == null)
throw new IllegalArgumentException("Expected a non-null array of elements");
if (elements.length != length)
throw new IllegalArgumentException("Expected " + length + " elements, but got " + elements.length);
for (int pos = 0; pos < length; pos++)
set(pos, elements[pos]);
}
/**
* Builds an array with the given elements.
*
* @param byte0 the byte number 0
* @param byte1 the byte number 1
* @param byte2 the byte number 2
* @param byte3 the byte number 3
* @param byte4 the byte number 4
* @param byte5 the byte number 5
* @param byte6 the byte number 6
* @param byte7 the byte number 7
* @param byte8 the byte number 8
* @param byte9 the byte number 9
* @param byte10 the byte number 10
* @param byte11 the byte number 11
* @param byte12 the byte number 12
* @param byte13 the byte number 13
* @param byte14 the byte number 14
* @param byte15 the byte number 15
* @param byte16 the byte number 16
* @param byte17 the byte number 17
* @param byte18 the byte number 18
* @param byte19 the byte number 19
* @param byte20 the byte number 20
* @param byte21 the byte number 21
* @param byte22 the byte number 22
* @param byte23 the byte number 23
* @param byte24 the byte number 24
* @param byte25 the byte number 25
* @param byte26 the byte number 26
* @param byte27 the byte number 27
* @param byte28 the byte number 28
* @param byte29 the byte number 29
* @param byte30 the byte number 30
* @param byte31 the byte number 31
* @param byte32 the byte number 32
* @param byte33 the byte number 33
* @param byte34 the byte number 34
* @param byte35 the byte number 35
* @param byte36 the byte number 36
* @param byte37 the byte number 37
* @param byte38 the byte number 38
* @param byte39 the byte number 39
* @param byte40 the byte number 40
* @param byte41 the byte number 41
* @param byte42 the byte number 42
* @param byte43 the byte number 43
* @param byte44 the byte number 44
* @param byte45 the byte number 45
* @param byte46 the byte number 46
* @param byte47 the byte number 47
* @param byte48 the byte number 48
* @param byte49 the byte number 49
* @param byte50 the byte number 50
* @param byte51 the byte number 51
* @param byte52 the byte number 52
* @param byte53 the byte number 53
* @param byte54 the byte number 54
* @param byte55 the byte number 55
* @param byte56 the byte number 56
* @param byte57 the byte number 57
* @param byte58 the byte number 58
* @param byte59 the byte number 59
* @param byte60 the byte number 60
* @param byte61 the byte number 61
* @param byte62 the byte number 62
* @param byte63 the byte number 63
*/
public Bytes64(byte byte0, byte byte1, byte byte2, byte byte3, byte byte4, byte byte5, byte byte6, byte byte7,
byte byte8, byte byte9, byte byte10, byte byte11, byte byte12, byte byte13, byte byte14, byte byte15, byte byte16,
byte byte17, byte byte18, byte byte19, byte byte20, byte byte21, byte byte22, byte byte23, byte byte24,
byte byte25, byte byte26, byte byte27, byte byte28, byte byte29, byte byte30, byte byte31,
byte byte32, byte byte33, byte byte34, byte byte35, byte byte36, byte byte37, byte byte38, byte byte39,
byte byte40, byte byte41, byte byte42, byte byte43, byte byte44, byte byte45, byte byte46, byte byte47, byte byte48,
byte byte49, byte byte50, byte byte51, byte byte52, byte byte53, byte byte54, byte byte55, byte byte56,
byte byte57, byte byte58, byte byte59, byte byte60, byte byte61, byte byte62, byte byte63) {
this.byte0 = byte0;
this.byte1 = byte1;
this.byte2 = byte2;
this.byte3 = byte3;
this.byte4 = byte4;
this.byte5 = byte5;
this.byte6 = byte6;
this.byte7 = byte7;
this.byte8 = byte8;
this.byte9 = byte9;
this.byte10 = byte10;
this.byte11 = byte11;
this.byte12 = byte12;
this.byte13 = byte13;
this.byte14 = byte14;
this.byte15 = byte15;
this.byte16 = byte16;
this.byte17 = byte17;
this.byte18 = byte18;
this.byte19 = byte19;
this.byte20 = byte20;
this.byte21 = byte21;
this.byte22 = byte22;
this.byte23 = byte23;
this.byte24 = byte24;
this.byte25 = byte25;
this.byte26 = byte26;
this.byte27 = byte27;
this.byte28 = byte28;
this.byte29 = byte29;
this.byte30 = byte30;
this.byte31 = byte31;
this.byte32 = byte32;
this.byte33 = byte33;
this.byte34 = byte34;
this.byte35 = byte35;
this.byte36 = byte36;
this.byte37 = byte37;
this.byte38 = byte38;
this.byte39 = byte39;
this.byte40 = byte40;
this.byte41 = byte41;
this.byte42 = byte42;
this.byte43 = byte43;
this.byte44 = byte44;
this.byte45 = byte45;
this.byte46 = byte46;
this.byte47 = byte47;
this.byte48 = byte48;
this.byte49 = byte49;
this.byte50 = byte50;
this.byte51 = byte51;
this.byte52 = byte52;
this.byte53 = byte53;
this.byte54 = byte54;
this.byte55 = byte55;
this.byte56 = byte56;
this.byte57 = byte57;
this.byte58 = byte58;
this.byte59 = byte59;
this.byte60 = byte60;
this.byte61 = byte61;
this.byte62 = byte62;
this.byte63 = byte63;
}
/**
* Builds an array whose elements
* are all initialized to the given value.
*
* @param initialValue the initial value of the array
*/
public Bytes64(byte initialValue) {
this(initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue,
initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue, initialValue);
}
/**
* Builds an array whose elements
* are all initialized to the value provided by the given supplier.
*
* @param supplier the supplier of the initial values of the array. It gets
* used repeatedly for each element to initialize. Its result
* is cast to {@code byte}
*/
public Bytes64(IntSupplier supplier) {
IntStream.range(0, length).forEachOrdered(index -> set(index, (byte) supplier.getAsInt()));
}
/**
* Builds an array whose elements
* are all initialized to the value provided by the given supplier.
*
* @param supplier the supplier of the initial values of the array. It gets
* used repeatedly for each element to initialize:
* element at index i gets assigned
* {@code (byte) supplier.applyAsInt(i)}
*/
public Bytes64(IntUnaryOperator supplier) {
IntStream.range(0, length).forEachOrdered(index -> set(index, (byte) supplier.applyAsInt(index)));
}
@Override
public @View int length() {
return length;
}
@Override
public @View byte get(int index) {
switch (index) {
case 0: return byte0;
case 1: return byte1;
case 2: return byte2;
case 3: return byte3;
case 4: return byte4;
case 5: return byte5;
case 6: return byte6;
case 7: return byte7;
case 8: return byte8;
case 9: return byte9;
case 10: return byte10;
case 11: return byte11;
case 12: return byte12;
case 13: return byte13;
case 14: return byte14;
case 15: return byte15;
case 16: return byte16;
case 17: return byte17;
case 18: return byte18;
case 19: return byte19;
case 20: return byte20;
case 21: return byte21;
case 22: return byte22;
case 23: return byte23;
case 24: return byte24;
case 25: return byte25;
case 26: return byte26;
case 27: return byte27;
case 28: return byte28;
case 29: return byte29;
case 30: return byte30;
case 31: return byte31;
case 32: return byte32;
case 33: return byte33;
case 34: return byte34;
case 35: return byte35;
case 36: return byte36;
case 37: return byte37;
case 38: return byte38;
case 39: return byte39;
case 40: return byte40;
case 41: return byte41;
case 42: return byte42;
case 43: return byte43;
case 44: return byte44;
case 45: return byte45;
case 46: return byte46;
case 47: return byte47;
case 48: return byte48;
case 49: return byte49;
case 50: return byte50;
case 51: return byte51;
case 52: return byte52;
case 53: return byte53;
case 54: return byte54;
case 55: return byte55;
case 56: return byte56;
case 57: return byte57;
case 58: return byte58;
case 59: return byte59;
case 60: return byte60;
case 61: return byte61;
case 62: return byte62;
case 63: return byte63;
default: throw new ArrayIndexOutOfBoundsException(index);
}
}
@Override
public void set(int index, byte value) {
switch (index) {
case 0: byte0 = value; return;
case 1: byte1 = value; return;
case 2: byte2 = value; return;
case 3: byte3 = value; return;
case 4: byte4 = value; return;
case 5: byte5 = value; return;
case 6: byte6 = value; return;
case 7: byte7 = value; return;
case 8: byte8 = value; return;
case 9: byte9 = value; return;
case 10: byte10 = value; return;
case 11: byte11 = value; return;
case 12: byte12 = value; return;
case 13: byte13 = value; return;
case 14: byte14 = value; return;
case 15: byte15 = value; return;
case 16: byte16 = value; return;
case 17: byte17 = value; return;
case 18: byte18 = value; return;
case 19: byte19 = value; return;
case 20: byte20 = value; return;
case 21: byte21 = value; return;
case 22: byte22 = value; return;
case 23: byte23 = value; return;
case 24: byte24 = value; return;
case 25: byte25 = value; return;
case 26: byte26 = value; return;
case 27: byte27 = value; return;
case 28: byte28 = value; return;
case 29: byte29 = value; return;
case 30: byte30 = value; return;
case 31: byte31 = value; return;
case 32: byte32 = value; return;
case 33: byte33 = value; return;
case 34: byte34 = value; return;
case 35: byte35 = value; return;
case 36: byte36 = value; return;
case 37: byte37 = value; return;
case 38: byte38 = value; return;
case 39: byte39 = value; return;
case 40: byte40 = value; return;
case 41: byte41 = value; return;
case 42: byte42 = value; return;
case 43: byte43 = value; return;
case 44: byte44 = value; return;
case 45: byte45 = value; return;
case 46: byte46 = value; return;
case 47: byte47 = value; return;
case 48: byte48 = value; return;
case 49: byte49 = value; return;
case 50: byte50 = value; return;
case 51: byte51 = value; return;
case 52: byte52 = value; return;
case 53: byte53 = value; return;
case 54: byte54 = value; return;
case 55: byte55 = value; return;
case 56: byte56 = value; return;
case 57: byte57 = value; return;
case 58: byte58 = value; return;
case 59: byte59 = value; return;
case 60: byte60 = value; return;
case 61: byte61 = value; return;
case 62: byte62 = value; return;
case 63: byte63 = value; return;
default: throw new ArrayIndexOutOfBoundsException(index);
}
}
@Override
public void update(int index, IntUnaryOperator how) {
switch (index) {
case 0: byte0 = (byte) how.applyAsInt(byte0); return;
case 1: byte1 = (byte) how.applyAsInt(byte1); return;
case 2: byte2 = (byte) how.applyAsInt(byte2); return;
case 3: byte3 = (byte) how.applyAsInt(byte3); return;
case 4: byte4 = (byte) how.applyAsInt(byte4); return;
case 5: byte5 = (byte) how.applyAsInt(byte5); return;
case 6: byte6 = (byte) how.applyAsInt(byte6); return;
case 7: byte7 = (byte) how.applyAsInt(byte7); return;
case 8: byte8 = (byte) how.applyAsInt(byte8); return;
case 9: byte9 = (byte) how.applyAsInt(byte9); return;
case 10: byte10 = (byte) how.applyAsInt(byte10); return;
case 11: byte11 = (byte) how.applyAsInt(byte11); return;
case 12: byte12 = (byte) how.applyAsInt(byte12); return;
case 13: byte13 = (byte) how.applyAsInt(byte13); return;
case 14: byte14 = (byte) how.applyAsInt(byte14); return;
case 15: byte15 = (byte) how.applyAsInt(byte15); return;
case 16: byte16 = (byte) how.applyAsInt(byte16); return;
case 17: byte17 = (byte) how.applyAsInt(byte17); return;
case 18: byte18 = (byte) how.applyAsInt(byte18); return;
case 19: byte19 = (byte) how.applyAsInt(byte19); return;
case 20: byte20 = (byte) how.applyAsInt(byte20); return;
case 21: byte21 = (byte) how.applyAsInt(byte21); return;
case 22: byte22 = (byte) how.applyAsInt(byte22); return;
case 23: byte23 = (byte) how.applyAsInt(byte23); return;
case 24: byte24 = (byte) how.applyAsInt(byte24); return;
case 25: byte25 = (byte) how.applyAsInt(byte25); return;
case 26: byte26 = (byte) how.applyAsInt(byte26); return;
case 27: byte27 = (byte) how.applyAsInt(byte27); return;
case 28: byte28 = (byte) how.applyAsInt(byte28); return;
case 29: byte29 = (byte) how.applyAsInt(byte29); return;
case 30: byte30 = (byte) how.applyAsInt(byte30); return;
case 31: byte31 = (byte) how.applyAsInt(byte31); return;
case 32: byte32 = (byte) how.applyAsInt(byte32); return;
case 33: byte33 = (byte) how.applyAsInt(byte33); return;
case 34: byte34 = (byte) how.applyAsInt(byte34); return;
case 35: byte35 = (byte) how.applyAsInt(byte35); return;
case 36: byte36 = (byte) how.applyAsInt(byte36); return;
case 37: byte37 = (byte) how.applyAsInt(byte37); return;
case 38: byte38 = (byte) how.applyAsInt(byte38); return;
case 39: byte39 = (byte) how.applyAsInt(byte39); return;
case 40: byte40 = (byte) how.applyAsInt(byte40); return;
case 41: byte41 = (byte) how.applyAsInt(byte41); return;
case 42: byte42 = (byte) how.applyAsInt(byte42); return;
case 43: byte43 = (byte) how.applyAsInt(byte43); return;
case 44: byte44 = (byte) how.applyAsInt(byte44); return;
case 45: byte45 = (byte) how.applyAsInt(byte45); return;
case 46: byte46 = (byte) how.applyAsInt(byte46); return;
case 47: byte47 = (byte) how.applyAsInt(byte47); return;
case 48: byte48 = (byte) how.applyAsInt(byte48); return;
case 49: byte49 = (byte) how.applyAsInt(byte49); return;
case 50: byte50 = (byte) how.applyAsInt(byte50); return;
case 51: byte51 = (byte) how.applyAsInt(byte51); return;
case 52: byte52 = (byte) how.applyAsInt(byte52); return;
case 53: byte53 = (byte) how.applyAsInt(byte53); return;
case 54: byte54 = (byte) how.applyAsInt(byte54); return;
case 55: byte55 = (byte) how.applyAsInt(byte55); return;
case 56: byte56 = (byte) how.applyAsInt(byte56); return;
case 57: byte57 = (byte) how.applyAsInt(byte57); return;
case 58: byte58 = (byte) how.applyAsInt(byte58); return;
case 59: byte59 = (byte) how.applyAsInt(byte59); return;
case 60: byte60 = (byte) how.applyAsInt(byte60); return;
case 61: byte61 = (byte) how.applyAsInt(byte61); return;
case 62: byte62 = (byte) how.applyAsInt(byte62); return;
case 63: byte63 = (byte) how.applyAsInt(byte63); return;
default: throw new ArrayIndexOutOfBoundsException(index);
}
}
@Override
public Iterator iterator() {
return new BytesIterator();
}
private class BytesIterator implements Iterator {
private int nextKey;
@Override
public boolean hasNext() {
return nextKey < length;
}
@Override
public Byte next() {
switch (nextKey++) {
case 0: return byte0;
case 1: return byte1;
case 2: return byte2;
case 3: return byte3;
case 4: return byte4;
case 5: return byte5;
case 6: return byte6;
case 7: return byte7;
case 8: return byte8;
case 9: return byte9;
case 10: return byte10;
case 11: return byte11;
case 12: return byte12;
case 13: return byte13;
case 14: return byte14;
case 15: return byte15;
case 16: return byte16;
case 17: return byte17;
case 18: return byte18;
case 19: return byte19;
case 20: return byte20;
case 21: return byte21;
case 22: return byte22;
case 23: return byte23;
case 24: return byte24;
case 25: return byte25;
case 26: return byte26;
case 27: return byte27;
case 28: return byte28;
case 29: return byte29;
case 30: return byte30;
case 31: return byte31;
case 32: return byte32;
case 33: return byte33;
case 34: return byte34;
case 35: return byte35;
case 36: return byte36;
case 37: return byte37;
case 38: return byte38;
case 39: return byte39;
case 40: return byte40;
case 41: return byte41;
case 42: return byte42;
case 43: return byte43;
case 44: return byte44;
case 45: return byte45;
case 46: return byte46;
case 47: return byte47;
case 48: return byte48;
case 49: return byte49;
case 50: return byte50;
case 51: return byte51;
case 52: return byte52;
case 53: return byte53;
case 54: return byte54;
case 55: return byte55;
case 56: return byte56;
case 57: return byte57;
case 58: return byte58;
case 59: return byte59;
case 60: return byte60;
case 61: return byte61;
case 62: return byte62;
case 63: return byte63;
default: {
nextKey = length;
throw new NoSuchElementException();
}
}
}
}
@Override
public boolean equals(Object other) {
if (other instanceof Bytes64) {
Bytes64 otherAsBytes = (Bytes64) other;
return byte0 == otherAsBytes.byte0 &&
byte1 == otherAsBytes.byte1 &&
byte2 == otherAsBytes.byte2 &&
byte3 == otherAsBytes.byte3 &&
byte4 == otherAsBytes.byte4 &&
byte5 == otherAsBytes.byte5 &&
byte6 == otherAsBytes.byte6 &&
byte7 == otherAsBytes.byte7 &&
byte8 == otherAsBytes.byte8 &&
byte9 == otherAsBytes.byte9 &&
byte10 == otherAsBytes.byte10 &&
byte11 == otherAsBytes.byte11 &&
byte12 == otherAsBytes.byte12 &&
byte13 == otherAsBytes.byte13 &&
byte14 == otherAsBytes.byte14 &&
byte15 == otherAsBytes.byte15 &&
byte16 == otherAsBytes.byte16 &&
byte17 == otherAsBytes.byte17 &&
byte18 == otherAsBytes.byte18 &&
byte19 == otherAsBytes.byte19 &&
byte20 == otherAsBytes.byte20 &&
byte21 == otherAsBytes.byte21 &&
byte22 == otherAsBytes.byte22 &&
byte23 == otherAsBytes.byte23 &&
byte24 == otherAsBytes.byte24 &&
byte25 == otherAsBytes.byte25 &&
byte26 == otherAsBytes.byte26 &&
byte27 == otherAsBytes.byte27 &&
byte28 == otherAsBytes.byte28 &&
byte29 == otherAsBytes.byte29 &&
byte30 == otherAsBytes.byte30 &&
byte31 == otherAsBytes.byte31 &&
byte32 == otherAsBytes.byte32 &&
byte33 == otherAsBytes.byte33 &&
byte34 == otherAsBytes.byte34 &&
byte35 == otherAsBytes.byte35 &&
byte36 == otherAsBytes.byte36 &&
byte37 == otherAsBytes.byte37 &&
byte38 == otherAsBytes.byte38 &&
byte39 == otherAsBytes.byte39 &&
byte40 == otherAsBytes.byte40 &&
byte41 == otherAsBytes.byte41 &&
byte42 == otherAsBytes.byte42 &&
byte43 == otherAsBytes.byte43 &&
byte44 == otherAsBytes.byte44 &&
byte45 == otherAsBytes.byte45 &&
byte46 == otherAsBytes.byte46 &&
byte47 == otherAsBytes.byte47 &&
byte48 == otherAsBytes.byte48 &&
byte49 == otherAsBytes.byte49 &&
byte50 == otherAsBytes.byte50 &&
byte51 == otherAsBytes.byte51 &&
byte52 == otherAsBytes.byte52 &&
byte53 == otherAsBytes.byte53 &&
byte54 == otherAsBytes.byte54 &&
byte55 == otherAsBytes.byte55 &&
byte56 == otherAsBytes.byte56 &&
byte57 == otherAsBytes.byte57 &&
byte58 == otherAsBytes.byte58 &&
byte59 == otherAsBytes.byte59 &&
byte60 == otherAsBytes.byte60 &&
byte61 == otherAsBytes.byte61 &&
byte62 == otherAsBytes.byte62 &&
byte63 == otherAsBytes.byte63;
}
else
return super.equals(other);
}
@Override
public int hashCode() {
return byte0 ^
(byte1 << 1) ^
(byte2 << 2) ^
(byte3 << 3) ^
(byte4 << 4) ^
(byte5 << 5) ^
(byte6 << 6) ^
(byte7 << 7) ^
(byte8 << 8) ^
(byte9 << 9) ^
(byte10 << 10) ^
(byte11 << 11) ^
(byte12 << 12) ^
(byte13 << 13) ^
(byte14 << 14) ^
(byte15 << 15) ^
(byte16 << 16) ^
(byte17 << 17) ^
(byte18 << 18) ^
(byte19 << 19) ^
(byte20 << 20) ^
(byte21 << 21) ^
(byte22 << 22) ^
(byte23 << 23) ^
byte24 ^
(byte25 << 1) ^
(byte26 << 2) ^
(byte27 << 3) ^
(byte28 << 4) ^
(byte29 << 5) ^
(byte30 << 6) ^
(byte31 << 7) ^
(byte32 << 8) ^
(byte33 << 9) ^
(byte34 << 10) ^
(byte35 << 11) ^
(byte36 << 12) ^
(byte37 << 13) ^
(byte38 << 14) ^
(byte39 << 15) ^
(byte40 << 16) ^
(byte41 << 17) ^
(byte42 << 18) ^
(byte43 << 19) ^
(byte44 << 20) ^
(byte45 << 21) ^
(byte46 << 22) ^
(byte47 << 23) ^
byte48 ^
(byte49 << 1) ^
(byte50 << 2) ^
(byte51 << 3) ^
(byte52 << 4) ^
(byte53 << 5) ^
(byte54 << 6) ^
(byte55 << 7) ^
(byte56 << 8) ^
(byte57 << 9) ^
(byte58 << 10) ^
(byte59 << 11) ^
(byte60 << 12) ^
(byte61 << 13) ^
(byte62 << 14) ^
(byte63 << 15);
}
@Override
public IntStream stream() {
return IntStream.of(byte0, byte1, byte2, byte3, byte4, byte5, byte6, byte7, byte8, byte9, byte10, byte11, byte12, byte13, byte14, byte15,
byte16, byte17, byte18, byte19, byte20, byte21, byte22, byte23, byte24, byte25, byte26, byte27, byte28, byte29, byte30, byte31,
byte32, byte33, byte34, byte35, byte36, byte37, byte38, byte39, byte40, byte41, byte42, byte43, byte44, byte45, byte46, byte47,
byte48, byte49, byte50, byte51, byte52, byte53, byte54, byte55, byte56, byte57, byte58, byte59, byte60, byte61, byte62, byte63);
}
@Override
public byte[] toArray() {
return new byte[] { byte0, byte1, byte2, byte3, byte4, byte5, byte6, byte7, byte8, byte9, byte10, byte11, byte12, byte13, byte14, byte15,
byte16, byte17, byte18, byte19, byte20, byte21, byte22, byte23, byte24, byte25, byte26, byte27, byte28, byte29, byte30, byte31,
byte32, byte33, byte34, byte35, byte36, byte37, byte38, byte39, byte40, byte41, byte42, byte43, byte44, byte45, byte46, byte47,
byte48, byte49, byte50, byte51, byte52, byte53, byte54, byte55, byte56, byte57, byte58, byte59, byte60, byte61, byte62, byte63 };
}
@Override
public StorageByteArrayView view() {
@Exported
class StorageByteArrayViewImpl implements StorageByteArrayView {
@Override
public Iterator iterator() {
return Bytes64.this.iterator();
}
@Override
public int length() {
return Bytes64.this.length();
}
@Override
public byte get(int index) {
return Bytes64.this.get(index);
}
@Override
public IntStream stream() {
return Bytes64.this.stream();
}
@Override
public byte[] toArray() {
return Bytes64.this.toArray();
}
@Override
public StorageByteArrayView snapshot() {
return Bytes64.this.snapshot();
}
}
return new StorageByteArrayViewImpl();
}
@Override
public StorageByteArrayView snapshot() {
return new Bytes64Snapshot(byte0, byte1, byte2, byte3, byte4, byte5, byte6, byte7, byte8, byte9, byte10, byte11, byte12, byte13, byte14, byte15,
byte16, byte17, byte18, byte19, byte20, byte21, byte22, byte23, byte24, byte25, byte26, byte27, byte28, byte29, byte30, byte31,
byte32, byte33, byte34, byte35, byte36, byte37, byte38, byte39, byte40, byte41, byte42, byte43, byte44, byte45, byte46, byte47,
byte48, byte49, byte50, byte51, byte52, byte53, byte54, byte55, byte56, byte57, byte58, byte59, byte60, byte61, byte62, byte63);
}
}