lp.trans
Class IntArrayWrapper

java.lang.Object
  extended by lp.trans.IntArrayWrapper

 class IntArrayWrapper
extends Object

A class used for storing an increasing sequence of nonnegative integers. It is very simple and error-prone. Designed only for internal use by the DlpTransformer and EvolpTransformer classes.

Version:
1.0.0
Author:
Martin Slota

Field Summary
private  int[] members
          An array with the sequence's members.
private  int top
          Index of the getTop element.
 
Constructor Summary
IntArrayWrapper(int maxCount)
          Constructs a new instance which can hold up to maxCount elements.
 
Method Summary
 void add(int newMember)
          Adds a new element to the sequence.
 boolean contains(int number)
          Returns true iff this sequence contains number.
 int get(int i)
          Returns the i-th member of this sequence.
 int getMax()
           
 int getMaxLeqThan(int limit)
          Returns the maximum element of this sequence that is less or equal than limit, or -1 if no such element exists.
 int getTop()
          Returns the index of the last element.
 boolean isEmpty()
          Returns true iff this sequence has 0 elements.
 int length()
          Returns current number of elements in this sequence.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

members

private final int[] members
An array with the sequence's members.


top

private int top
Index of the getTop element.

Constructor Detail

IntArrayWrapper

public IntArrayWrapper(int maxCount)
Constructs a new instance which can hold up to maxCount elements.

Parameters:
maxCount - capacity of this instance
Method Detail

add

public void add(int newMember)
Adds a new element to the sequence. Doesn't check whether the capacity limit given in the constructor has been exceeded. The new member is only added in case it is bigger than the getTop element. If it's less or equal, nothing happens.

Parameters:
newMember - candidate for a new member of this sequence

length

public int length()
Returns current number of elements in this sequence.

Returns:
current number of elements in this sequence

getTop

public int getTop()
Returns the index of the last element.

Returns:
the index of the last element.

get

public int get(int i)
Returns the i-th member of this sequence. DOESN'T CHECK whether i is a valid member index.

Parameters:
i -
Returns:
the i-th member of this sequence

getMax

public int getMax()

getMaxLeqThan

public int getMaxLeqThan(int limit)
Returns the maximum element of this sequence that is less or equal than limit, or -1 if no such element exists.

Parameters:
limit - upper limit for the element returned
Returns:
the maximum element of this sequence that is less or equal than limit, or -1 if no such element exists.

contains

public boolean contains(int number)
Returns true iff this sequence contains number.

Parameters:
number - the element to search for
Returns:
true if this sequence contains number, false otherwise

isEmpty

public boolean isEmpty()
Returns true iff this sequence has 0 elements.

Returns:
true if this sequence has 0 elements, false otherwise.