Robust/src/Benchmarks/mlp/directto/mlp-java/FixList.java

   1 // This class memorizes all the fixes in the area.
   2 // There are methods for setting the properties of a fix and
   3 // for getting a fix by a given name
   4
   5 //import java.util.*;
   6
   7 public class FixList {
   8
   9   public /*static*/ int noFixes() { return _noFixes; }
  10   public /*static*/ Vector fixes() { return _fixes; }
  11
  12   private int _noFixes;
  13   private Vector _fixes;
  14
  15   public FixList() {
  16     _noFixes=0;
  17     _fixes=new Vector(100);
  18   }
  19
  20   // sets the parameters of the fix number "pos": its name
  21   // and its coordinates
  22   public /*static*/ void setFix(String name,float x,float y)
  23   {
  24     _fixes.addElement(/* disjoint fix */ new Fix(name,(Point2d) new Point2d(x,y)));
  25   }
  26
  27   public /*static*/ String getFix(int index)
  28   {
  29     Fix fAux=(Fix) _fixes.elementAt(index);
  30     return (String) fAux.getName();
  31   }
  32
  33   public /*static*/ int getIndex(String name) {
  34     for( int i = 0; i < _fixes.size(); ++i ) {
  35       Fix fAux=(Fix) _fixes.elementAt( i );
  36       if (fAux.hasName(name))
  37         return i;
  38     }
  39     System.out.println("Fix not found - "+name);
  40     System.exit(-1);
  41     return 0;
  42   }
  43
  44   public /*static*/ Fix getFix(String name) {
  45     for( int i = 0; i < _fixes.size(); ++i ) {
  46       Fix fAux=(Fix) _fixes.elementAt( i );
  47       if (fAux.hasName(name))
  48         return fAux;
  49     }
  50     System.out.println("Fix not found - "+name);
  51     System.exit(-1);
  52     return null;
  53   }
  54
  55   public /*static*/ void printInfo() {
  56     System.out.println("\n\nThe number of fixes:"+_noFixes);
  57     System.out.println("The fixes are:");
  58     for( int i = 0; i < _fixes.size(); ++i ) {
  59       Fix bAux=(Fix) _fixes.elementAt( i );
  60       System.out.println(bAux);
  61     }
  62   }
  63
  64   public /*static*/ void addFix(StringTokenizer parameters)
  65   {
  66     setFix(parameters.nextToken(), Integer.parseInt(parameters.nextToken()), Integer.parseInt(parameters.nextToken()));
  67     _noFixes++;
  68   }
  69
  70   public /*static*/ void removeFix(StringTokenizer parameters)
  71   {
  72     _noFixes--;
  73     //Fix fAux=getFix(parameters.nextToken());
  74     int fixIndex=getIndex(parameters.nextToken());
  75     //_fixes.remove(fAux);
  76     _fixes.removeElementAt(fixIndex);
  77   }
  78 }