From 200e05e59ffe7f0deb9db29d985ff2d7e2a0cfea Mon Sep 17 00:00:00 2001
From: arthur <arthur@arthur-PC>
Date: Sun, 18 Nov 2018 15:00:35 -0300
Subject: [PATCH] Inserindo JML na classe ChunkedInputStream

---
 src/main/java/org/apache/http/impl/io/ChunkedInputStream.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/org/apache/http/impl/io/ChunkedInputStream.java b/src/main/java/org/apache/http/impl/io/ChunkedInputStream.java
index 17c339e3e..688c1b163 100644
--- a/src/main/java/org/apache/http/impl/io/ChunkedInputStream.java
+++ b/src/main/java/org/apache/http/impl/io/ChunkedInputStream.java
@@ -97,6 +97,7 @@ public class ChunkedInputStream extends InputStream {
      *
      * @since 4.4
      */
+    //@ requires in != null;
     public ChunkedInputStream(final SessionInputBuffer in, final MessageConstraints constraints) {
         super();
         this.in = Args.notNull(in, "Session input buffer");
@@ -138,6 +139,7 @@ public int available() throws IOException {
      * @throws IOException in case of an I/O error
      */
     @Override
+    // o metodo ensures \result == 1 || \result == b; nao funciona com metodo override
     public int read() throws IOException {
         if (this.closed) {
             throw new IOException("Attempted read from closed stream.");