90e5a74248e72f7afe0ddd5d5d43d46f381e3a65
[IRC.git] / Robust / src / Benchmarks / mlp / directto / mlp-java / AircraftList.java
1 // This class memorizes all the existing aircrafts
2
3 //import java.util.*;
4
5 public class AircraftList {
6   public int noAircrafts;
7   private Vector aircrafts;
8
9   public AircraftList() {
10     noAircrafts=0; // the number of aircrafts
11     aircrafts=new Vector(100); // the aircrafts
12   }
13
14   // sets the parameters of the aircraft number "pos": its name, its lift and its thrust
15   public void setAircraft(String name,double lift,double thrust) {
16     aircrafts.addElement(new Aircraft(name,lift,thrust));
17   }
18
19   public Aircraft getAircraft(String name) {
20     for( int i = 0; i < aircrafts.size(); ++i ) {
21       Aircraft aAux=(Aircraft) aircrafts.elementAt(i);
22       if (aAux.hasType(name))
23         return aAux;
24     }
25
26     System.out.println("Aircraft not found - "+name);
27     System.exit(-1);
28     return null;
29   }
30
31   public int getAircraftIndex(String name) {
32     for( int i = 0; i < aircrafts.size(); ++i ) {
33       Aircraft aAux=(Aircraft) aircrafts.elementAt(i);
34       if (aAux.hasType(name))
35         return i;
36     }
37
38     System.out.println("Aircraft not found - "+name);
39     System.exit(-1);
40     return 0;
41   }
42
43   public void printInfo() {
44     System.out.println("\n\nThe number of aircrafts:"+noAircrafts);
45     System.out.println("The aircrafts are:");
46     for( int i = 0; i < aircrafts.size(); ++i ) {
47       Aircraft aAux=(Aircraft) aircrafts.elementAt(i);
48       System.out.println(aAux);
49     }
50   }
51
52   public void addAircraft(StringTokenizer parameters) {
53     setAircraft(parameters.nextToken(), Integer.parseInt(parameters.nextToken()), Integer.parseInt(parameters.nextToken()));
54     noAircrafts++;
55   }
56     
57   public void removeAircraft(StringTokenizer parameters) {
58     noAircrafts--;
59     int aAuxIndex=getAircraftIndex(parameters.nextToken());
60     aircrafts.removeElementAt(aAuxIndex);
61   }
62 }