1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// Copyright (C) 1995 The New York Group Theory Cooperative
// See magnus/doc/COPYRIGHT for the full notice.
// Contents: Declaration of interface class ARCSlotID
//
// Principal Author: Roger Needham
//
// Status: complete
//
// Revision History:
//
#ifndef _ARCSLOTID_H_
#define _ARCSLOTID_H_
#include <iostream.h>
//---------------------------------------------------------------------------//
//---------------------------- ARCSlotID ------------------------------------//
//---------------------------------------------------------------------------//
class ARCSlotID
{
public:
bool operator == ( const ARCSlotID& asi ) const {
return theARCSlotID == asi.theARCSlotID;
}
bool operator != ( const ARCSlotID& asi ) const {
return theARCSlotID != asi.theARCSlotID;
}
inline friend ostream& operator << ( ostream& ostr, const ARCSlotID& asi ) {
return ostr << asi.theARCSlotID;
}
int unwrap( ) const { return theARCSlotID; }
// We don't want a conversion, even for friends, because of possible
// ambiguity. Making this private creates friendship problems for
// classes in the scope of another class. It seems safe enough to
// permit public unwrapping, since only friends can rewrap.
protected:
friend class ComputationManager;
friend class Supervisor;
friend class EnumeratorSupervisor;
ARCSlotID( int i ) : theARCSlotID( i ) { }
// Used by classes ComputationManager, Supervisor.
ARCSlotID( ); // Hidden, not to be implemented.
int theARCSlotID;
};
struct ThisARCSlotID : public ARCSlotID {
ThisARCSlotID( ) : ARCSlotID( 0 ) { }
};
// By convention, ARCSlotID( 0 ) refers to the Supervisor itself.
// See Supervisor.h.
#endif
|
