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

Class STRING

src/main/java/wycc/util/OptArg.java:172–181  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

170 public final static OPTIONSMAP OPTIONSMAP = new OPTIONSMAP();
171
172 private static final class STRING implements Kind {
173 @Override
174 public void process(String arg, String option, Map<String,Object> options) {
175 options.put(arg,option);
176 }
177 @Override
178 public String toString() {
179 return "<string>";
180 }
181 }
182
183 private static final class STRINGARRAY implements Kind {
184 @Override

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected