|
Envision
A visual programming IDE for object-oriented languages
|
Public Types | |
| enum | TypeRelation { None = 0x0 , Equal = 0x1 , IsSubtype = 0x2 , IsSupertype = 0x4 , IsConvertibleTo = 0x8 , IsConvertibleFrom = 0x10 } |
| using | TypeRelations = QFlags< TypeRelation > |
Public Member Functions | |
| virtual | ~TypeSystem () |
| virtual TypeRelations | relationFirstToSecond (const Type *first, const Type *second)=0 |
Static Public Member Functions | |
| static TypeSystem * | instance () |
| static TypeRelations | invert (TypeRelations relation) |
Static Public Attributes | |
| constexpr static auto | EQUALTYPES = Equal | IsSubtype | IsSupertype | IsConvertibleTo | IsConvertibleFrom |
| using OOModel::TypeSystem::TypeRelations = QFlags<TypeRelation> |
|
virtual |
|
static |
|
static |
|
pure virtual |
Implemented in OOModel::JavaTypeSystem.
|
staticconstexpr |