Use String.replace(char, char) instead of splitting 94/73494/1
authorRobert Varga <robert.varga@pantheon.tech>
Wed, 27 Jun 2018 17:28:14 +0000 (19:28 +0200)
committerRobert Varga <robert.varga@pantheon.tech>
Wed, 27 Jun 2018 17:31:40 +0000 (19:31 +0200)
commit73bf59c57dede96b3ecdae11009f4264afb2af5b
treed51a41328441a6e1dd82a351df844dbc79cb410a
parent15cb577907da68cb76c5b70ff7479aa9f918f1f4
Use String.replace(char, char) instead of splitting

This code really wants to do a simple character substitution,
which has an elegant solution. This means we do not end up
compiling the replacement pattern and use a very efficient method.

Change-Id: I8430ecf9216ae49c3fcc58c24c0315f6510204fb
Signed-off-by: Robert Varga <robert.varga@pantheon.tech>
binding/mdsal-binding-java-api-generator/src/main/java/org/opendaylight/mdsal/binding/java/api/generator/GeneratorJavaFile.java