products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/util image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: IntegerArray.java   Sprache: JAVA

Original von: Isabelle©

/*
 * IntegerArray.java - Automatically growing array of ints
 * :tabSize=4:indentSize=4:noTabs=false:
 * :folding=explicit:collapseFolds=1:
 *
 * Copyright (C) 2001 Slava Pestov
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 */


package org.gjt.sp.util;

import java.util.Arrays;

/**
 * A simple collection that stores integers and grows automatically.
 */

public class IntegerArray
{
 //{{{ IntegerArray constructor
 public IntegerArray()
 {
  this(2000);
 } //}}}

 //{{{ IntegerArray constructor
 public IntegerArray(int initialSize)
 {
  array = new int[initialSize];
 } //}}}

 //{{{ add() method
 public void add(int num)
 {
  if(len >= array.length)
  {
   array = Arrays.copyOf(array, Math.max(len * 2, 10));
  }

  array[len++] = num;
 } //}}}

 //{{{ get() method
 public final int get(int index)
 {
  return array[index];
 } //}}}

 //{{{ isEmpty() method
 /**
 * Returns {@code true} if this collection contains no elements.
 *
 * @return {@code true} if this collection contains no elements
 * @since jEdit 5.6pre1
 */

 public boolean isEmpty() {
  return len == 0;
 } //}}}

 //{{{ getSize() method
 public final int getSize()
 {
  return len;
 } //}}}

 //{{{ setSize() method
 public final void setSize(int len)
 {
  this.len = len;
 } //}}}

 //{{{ clear() method
 public final void clear()
 {
  len = 0;
 } //}}}

 //{{{ getArray() method
 public int[] getArray()
 {
  return array;
 } //}}}

 //{{{ Private members
 private int[] array;
 private int len;
 //}}}
}

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff