IIntMemory [1029248]

< > BotCompany Repo | #1029248 // IIntMemory

JavaX fragment (include) [tags: use-pretranspiled]

sinterface IIntMemory {
  int get(int idx); // idx = unsigned int
  default int read(int idx) { ret get(idx); }
  void set(int idx, int val);
  long size(); // in ints
  
  default int[] readArray(int start, int len) {
    int[] a = new[len];
    for i to len:
      a[i] = get(start+i);
    ret a;
  }
  
  default long getLong(int idx) {
    ret twoIntsToLong(get(idx), get(idx+1));
  }
  
  default void setLong(int idx, long val) {
    set(idx, firstIntFromLong(val));
    set(idx+1, secondIntFromLong(val));
  }
  
  default void ensureSize(int size) { unimplemented(); }
}

Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

Snippet ID:

#1029248

Snippet name:

IIntMemory

Eternal ID of this version:

#1029248/10

Text MD5:

bd200fa7dbe279e42de3bbc2ff2120f5

Transpilation MD5:

e48002aeec2852600c495c1f1c8e3780

Author:

stefan

Category:

javax

Type:

JavaX fragment (include)

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2020-08-07 14:10:08

Source code size:

601 bytes / 24 lines

Pitched / IR pitched:

No / No

Views / Downloads:

524 / 906

Version history:

9 change(s)

Referenced in:

[show references]

1	sinterface IIntMemory {
2	int get(int idx); // idx = unsigned int
3	default int read(int idx) { ret get(idx); }
4	void set(int idx, int val);
5	long size(); // in ints
6
7	default int[] readArray(int start, int len) {
8	int[] a = new[len];
9	for i to len:
10	a[i] = get(start+i);
11	ret a;
12	}
13
14	default long getLong(int idx) {
15	ret twoIntsToLong(get(idx), get(idx+1));
16	}
17
18	default void setLong(int idx, long val) {
19	set(idx, firstIntFromLong(val));
20	set(idx+1, secondIntFromLong(val));
21	}
22
23	default void ensureSize(int size) { unimplemented(); }
24	}