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 |