slime.editor
Class ESFCList

java.lang.Object
  extended byslime.editor.ESFCList

public final class ESFCList
extends java.lang.Object

An object of this class is used for storing different ESFC's in a list.

Status: complete
Known bugs: -

Version:
$Id: ESFCList.java,v 1.4 2002/06/20 11:25:05 swprakt Exp $
Author:
Andreas Niemann

Constructor Summary
protected ESFCList()
          Constructs an empty list of ESFC's.
 
Method Summary
protected  boolean add(ESFC eSFC)
          Adds the given ESFC iff it is not contained in this eSFCList.
protected  boolean contains(ESFC eSFC)
          Checks if this list contains the given ESFC.
protected  ESFC get(int pos)
          Gets the ESFC from the specified position of this eSFCList.
protected  void remove(ESFC eSFC)
          Removes the given ESFC from this eSFCList.
protected  int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ESFCList

protected ESFCList()
Constructs an empty list of ESFC's.

Method Detail

add

protected boolean add(ESFC eSFC)
Adds the given ESFC iff it is not contained in this eSFCList.

Returns:
True iff the ESFC was added.

remove

protected void remove(ESFC eSFC)
Removes the given ESFC from this eSFCList.


get

protected ESFC get(int pos)
Gets the ESFC from the specified position of this eSFCList. or null if the position is out of range.

Parameters:
pos - Position of the ESFC in this list.
Returns:
The selected ESFC or null if the position is out of range.

contains

protected boolean contains(ESFC eSFC)
Checks if this list contains the given ESFC.


size

protected int size()