File: Bug575551.java

package info (click to toggle)
eclipse-jdt-debug 4.30-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,876 kB
  • sloc: java: 234,390; xml: 6,367; makefile: 5
file content (55 lines) | stat: -rw-r--r-- 1,724 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
/*******************************************************************************
 * Copyright (c) 2022 Gayan Perera and others.
 *
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors:
 *     Gayan Perera - initial API and implementation
 *******************************************************************************/
import java.util.List;
import java.util.concurrent.CompletableFuture;
import java.util.concurrent.ExecutionException;
import java.util.stream.Collectors;
import java.util.stream.Stream;

public class Bug575551 {
	public void hoverOverLocal(String[] names) throws InterruptedException, ExecutionException {
		CompletableFuture<List<String>> future = CompletableFuture.supplyAsync(() -> {
			return Stream.of(names).filter(s -> {
				try {
					return CompletableFuture.supplyAsync(() -> {
						return containsDigit(s.codePointAt(0), names.length);
					}).get();
				} catch (Exception e) {
					return false;
				}
			}).collect(Collectors.toList());
		});
		future.get();
	}
	
	private boolean containsDigit(int c, int length) {
		return Bug575551.Character.isDigit(c) && c == length;
	}
	
	public static void main(String[] args) throws InterruptedException, ExecutionException {
		new Bug575551().hoverOverLocal(new String[] {"name"});
	}
	
	public static class Character {
		public static boolean isDigit(int c) {
			return (new CharacterLatin()).isDigit(c);
		}
		
		private static class CharacterLatin {
			public boolean isDigit(int ch) {
				return ch > 0;
			}
		}
	}
}