equal
deleted
inserted
replaced
30 import java.util.Arrays; |
30 import java.util.Arrays; |
31 import java.util.Comparator; |
31 import java.util.Comparator; |
32 import java.util.HashMap; |
32 import java.util.HashMap; |
33 import java.util.HashSet; |
33 import java.util.HashSet; |
34 import java.util.Map; |
34 import java.util.Map; |
35 import java.util.Optional; |
|
36 import java.util.Set; |
35 import java.util.Set; |
37 |
36 |
38 /** |
37 /** |
39 * Build the profile information. |
38 * Build the profile information. |
40 */ |
39 */ |
136 } |
135 } |
137 |
136 |
138 // for debugging |
137 // for debugging |
139 public static void main(String[] args) throws IOException { |
138 public static void main(String[] args) throws IOException { |
140 // initialize Profiles |
139 // initialize Profiles |
141 new JdepsConfiguration.Builder().allModules().build(); |
140 new JdepsConfiguration.Builder().addmods(Set.of("ALL-SYSTEM")).build(); |
142 |
141 |
143 // find platform modules |
142 // find platform modules |
144 if (Profile.getProfileCount() == 0) { |
143 if (Profile.getProfileCount() == 0) { |
145 System.err.println("No profile is present in this JDK"); |
144 System.err.println("No profile is present in this JDK"); |
146 } |
145 } |