Bath.h

Go to the documentation of this file.

#ifndef BATH_INCLUDED
#define BATH_INCLUDED

#include "odem.h"
#include <vector>
#include <cassert>


enum BathType {WATER, POLYMER, WATER_POLYMER, WATER_AIR_WATER, AIR, VENTILATOR, OVEN, NONE, UNKNOWN};
enum PlaceType {WATER_PLACE, POLYMER_PLACE, AIR_PLACE, VENTILATOR_PLACE};
enum ReserveType {NOTHING, PARKING, AIR_CHILLING, VENTILATOR_CHILLING, WATER_CHILLING, POLYMER_CHILLING};

extern const char* BathString[];// = {"H2O", "Polymer", "H2O-Polymer", "H2O-Luft-H2O", "Luft", "Ventilator", "Ofen", "Ohne", "Unbekannt", 0};


class PlacePointer : public Msg { 
public:
        class Place  *myPlace;
        PlacePointer( char *id, Place *ptr):  Msg(id), myPlace(ptr) {};

        PlacePointer(const PlacePointer&):  Msg(0) {assert(0);}
};


class Place : public Res {
protected:
        int                                      myNumber;      // Platznummer 1..6
        PlaceType            myType;    // Typ bleibt erhalten, auch wenn sich Nutzung ändert
        
public: 
    PlacePointer* myOwner;
        class SetOfRingStack *currentPalette;
        class Furnace        *currentFurnace;

        double   entryTime;
        double   serviceTime;

        Place(int no, char *name, PlaceType plType, int capacity, ReserveType rType ):
                        myOwner(0),
                        myNumber(no),
                        myType (plType),
                        currentPalette(0),
                        currentFurnace(0),
                        
                        entryTime(0.0),
                        serviceTime(0.0), 
                Res(name, capacity) {};

        int number () { return myNumber; };
        
        void setOwner(PlacePointer* ptr) { myOwner= ptr;};

        PlaceType getType() const {return myType;};
        
};


class ParkingPlace : public Place {
public:
        ParkingPlace(int no, char *name, PlaceType plType, int capacity):
                Place(no, name, plType, capacity, NOTHING) {};
};

class VentilatorPlace : public ParkingPlace {
public:
        VentilatorPlace(int no, char *name, PlaceType plType, int capacity):
                ParkingPlace(no, name, plType, capacity) {};
};


class BathPlace: public Place { 
        bool reserved;
public:

        BathPlace (int no, char * id, PlaceType plT): reserved(false), Place (no, id, plT, 1, NOTHING) {};

        bool isFree() { if (currentPalette) { return false; } else return true; };
        SetOfRingStack* palette() { return currentPalette; };
        bool isReserved() { return reserved; };
        double restTime();

        SetOfRingStack* unload();                   //mit evtl.Blockierung des Ofens
                        //für Badwechsel
        
};

#endif

---