StringWithMeta [1034063]

< > BotCompany Repo | #1034063 // StringWithMeta

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

sclass StringWithMeta > Meta is CharSequence {
  S string; // final. not null
  
  *() {}
  *(S *string) { assertNotNull(string); }
  
  public int hashCode() { ret _hashCode(string); }
  public bool equals(O o) { ret this == o; }
  
  // This drops the meta
  toString { ret string; }
  
  // implementation of CharSequence methods
  
  public int length() { ret string.length(); }
  public char charAt(int index) { ret string.charAt(index); }
  
  // could change to retain meta
  public CharSequence subSequence(int start, int end) {
    ret string.substring(start, end);
  }
}

Author comment

Began life as a copy of #1012685

Travelled to 4 computer(s): bhatertpkbcr, ekrmjmnbrukm, mowyntqkapby, mqqgnosmbjvj

Snippet ID:

#1034063

Snippet name:

StringWithMeta

Eternal ID of this version:

#1034063/4

Text MD5:

b5095512765d0c886b1c5eb37eaa2efd

Transpilation MD5:

e73662c39afa37729b489d3ad04c9c13

Author:

stefan

Category:

javax

Type:

JavaX fragment (include)

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2022-01-20 00:43:47

Source code size:

601 bytes / 22 lines

Pitched / IR pitched:

No / No

Views / Downloads:

333 / 451

Version history:

3 change(s)

Referenced in:

[show references]

1	sclass StringWithMeta > Meta is CharSequence {
2	S string; // final. not null
3
4	*() {}
5	(S string) { assertNotNull(string); }
6
7	public int hashCode() { ret _hashCode(string); }
8	public bool equals(O o) { ret this == o; }
9
10	// This drops the meta
11	toString { ret string; }
12
13	// implementation of CharSequence methods
14
15	public int length() { ret string.length(); }
16	public char charAt(int index) { ret string.charAt(index); }
17
18	// could change to retain meta
19	public CharSequence subSequence(int start, int end) {
20	ret string.substring(start, end);
21	}
22	}