Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

3
LINES

< > BotCompany Repo | #1030343 - indentWidthsSet - sorted set of all indent lengths

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

Libraryless. Click here for Pure Java version (2792L/18K).

static Set<Int> indentWidthsSet(S text) {
  ret mapToTreeSet indentWidth(rawIndentsSet(text));
}

Author comment

Began life as a copy of #1030342

download  show line numbers  debug dex  old transpilations   

Travelled to 3 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx

No comments. add comment

Snippet ID: #1030343
Snippet name: indentWidthsSet - sorted set of all indent lengths
Eternal ID of this version: #1030343/3
Text MD5: db0adb93223a61922ab0c1be9c503a66
Transpilation MD5: d6ff3b92ac44df9c1fbaac632bba368f
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-12-05 20:47:53
Source code size: 98 bytes / 3 lines
Pitched / IR pitched: No / No
Views / Downloads: 40 / 57
Version history: 2 change(s)
Referenced in: [show references]

Formerly at http://tinybrain.de/1030343 & http://1030343.tinybrain.de