MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / get

Method get

src/main/java/wycc/util/testing/TestFile.java:37–44  ·  view source on GitHub ↗
(Class<T> kind, String option)

Source from the content-addressed store, hash-verified

35 }
36
37 public <T> Optional<T> get(Class<T> kind, String option) {
38 Object o = config.get(option);
39 if(kind.isInstance(o)) {
40 return Optional.of((T) o);
41 } else {
42 return Optional.empty();
43 }
44 }
45
46 public Set<String> keys() {
47 return config.keySet();

Callers 1

mainMethod · 0.95

Calls 2

getMethod · 0.65
emptyMethod · 0.65

Tested by

no test coverage detected