From 4b241266dff93b1e850c1ebea1e447ba91383d00 Mon Sep 17 00:00:00 2001 From: jrm Date: Thu, 30 Jul 2015 10:25:39 -0700 Subject: [PATCH] [infer][java] add model for java.io.StringWriter which does not need to be closed Summary: The class StringWriter implements Closeable but does not need to be closed. --- .../models/java/src/java/io/StringWriter.java | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 infer/models/java/src/java/io/StringWriter.java diff --git a/infer/models/java/src/java/io/StringWriter.java b/infer/models/java/src/java/io/StringWriter.java new file mode 100644 index 000000000..077aa591f --- /dev/null +++ b/infer/models/java/src/java/io/StringWriter.java @@ -0,0 +1,19 @@ +/* +* Copyright (c) 2015 - present Facebook, Inc. +* All rights reserved. +* +* This source code is licensed under the BSD style license found in the +* LICENSE file in the root directory of this source tree. An additional grant +* of patent rights can be found in the PATENTS file in the same directory. +*/ + +package java.io; + +public class StringWriter implements Closeable{ + + public StringWriter() {} + public StringWriter(int initialSize) {} + + public void close() {} + +}