All Packages    This Package    Previous    Next

Class Properties.PropVector

java.lang.Object
   |
   +----java.util.Vector
           |
           +----Properties.PropVector

public class PropVector

extends Vector

PropVector()

default constructor for a PropVector

PropVector(int)

create a PropVector with room for i elts

addtoVector(Prop)

Add property to a sorted vector Copies the property Vector is unchanged if Prop is already in Vector

deletefromVector(String)

remove property with name s from vector returns prop deleted, null otherwise

findinVector(String)

Find the property with name s

reconcile(PropVector)

add elts of v2 to this vector

updateVector(String, String)

Find the property with name s in vector and set its value to val.

  public PropVector()

default constructor for a PropVector

PropVector

  public PropVector(int i)

create a PropVector with room for i elts

  public void addtoVector(Prop p)

Add property to a sorted vector Copies the property Vector is unchanged if Prop is already in Vector

findinVector

  public Prop findinVector(String s)

Find the property with name s

deletefromVector

  public Prop deletefromVector(String s)

remove property with name s from vector returns prop deleted, null otherwise

updateVector

  public void updateVector(String s,
                           String val)

Find the property with name s in vector and set its value to val. Does nothing if s not in vector

reconcile

  public void reconcile(PropVector v2)

add elts of v2 to this vector

All Packages    This Package    Previous    Next