equal
deleted
inserted
replaced
62 // Basic Type object, represents a set of primitive Values. |
62 // Basic Type object, represents a set of primitive Values. |
63 // Types are hash-cons'd into a private class dictionary, so only one of each |
63 // Types are hash-cons'd into a private class dictionary, so only one of each |
64 // different kind of Type exists. Types are never modified after creation, so |
64 // different kind of Type exists. Types are never modified after creation, so |
65 // all their interesting fields are constant. |
65 // all their interesting fields are constant. |
66 class Type { |
66 class Type { |
|
67 friend class VMStructs; |
|
68 |
67 public: |
69 public: |
68 enum TYPES { |
70 enum TYPES { |
69 Bad=0, // Type check |
71 Bad=0, // Type check |
70 Control, // Control of code (not in lattice) |
72 Control, // Control of code (not in lattice) |
71 Top, // Top of the lattice |
73 Top, // Top of the lattice |