WidthAndHeightFinal [1035994]

< > BotCompany Repo | #1035994 // WidthAndHeightFinal

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

static final record WidthAndHeightFinal(int width, int height) extends Meta is WidthAndHeight
  ifclass ByteIO , ByteIO endif {
  public int getWidth() { ret width; }
  public int getHeight() { ret height; }
  
  *(int wAndH) { this(wAndH, wAndH); }
  
  toString { ret n2(width) + "*" + n2(height) + " px"; }
  
  ifclass ByteHead
  public void readWrite(ByteHead head) {
    head.exchangeInt(l0 width, w -> width = w);
    head.exchangeInt(l0 height, h -> height = h);
  }
  endif
}

Author comment

Began life as a copy of #1033637

Travelled to 4 computer(s): elmgxqgtpvxh, mowyntqkapby, mqqgnosmbjvj, wnsclhtenguj

Snippet ID:

#1035994

Snippet name:

WidthAndHeightFinal

Eternal ID of this version:

#1035994/1

Text MD5:

4c4075e5e6acbefebb87c8825e57db1f

Transpilation MD5:

c0d2dea3deedc23c8f126c991980cbbb

Author:

stefan

Category:

javax / imaging

Type:

JavaX fragment (include)

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2022-08-21 07:38:54

Source code size:

499 bytes / 16 lines

Pitched / IR pitched:

No / No

Views / Downloads:

584 / 1246

Referenced in:

[show references]

1	static final record WidthAndHeightFinal(int width, int height) extends Meta is WidthAndHeight
2	ifclass ByteIO , ByteIO endif {
3	public int getWidth() { ret width; }
4	public int getHeight() { ret height; }
5
6	*(int wAndH) { this(wAndH, wAndH); }
7
8	toString { ret n2(width) + "*" + n2(height) + " px"; }
9
10	ifclass ByteHead
11	public void readWrite(ByteHead head) {
12	head.exchangeInt(l0 width, w -> width = w);
13	head.exchangeInt(l0 height, h -> height = h);
14	}
15	endif
16	}