codeql/java/ql/test/stubs/okhttp-4.9.3/kotlin/ranges/IntRange.java

// Generated automatically from kotlin.ranges.IntRange for testing purposes

package kotlin.ranges;

import kotlin.ranges.ClosedRange;
import kotlin.ranges.IntProgression;

public class IntRange extends IntProgression implements ClosedRange<Integer>
{
    protected IntRange() {}
    public IntRange(int p0, int p1){}
    public Integer getEndInclusive(){ return null; }
    public Integer getStart(){ return null; }
    public String toString(){ return null; }
    public boolean contains(Integer p0){ return false; } // manually corrected
    public boolean equals(Object p0){ return false; }
    public boolean isEmpty(){ return false; }
    public int hashCode(){ return 0; }
    public static IntRange.Companion Companion = null;
    static public class Companion
    {
        protected Companion() {}
        public final IntRange getEMPTY(){ return null; }
    }
}