diff options
| author | Yong He <yonghe@outlook.com> | 2017-11-03 09:38:02 -0400 |
|---|---|---|
| committer | Yong He <yonghe@outlook.com> | 2017-11-03 09:38:02 -0400 |
| commit | a0458266d7cd5d802b8c51e6a997b4bf0d9beb82 (patch) | |
| tree | 39f16538178907240e59b8e531ae153391805833 /source/slang/type-defs.h | |
| parent | d5e2319c33115d0241dd9d2047c0a5f029553dde (diff) | |
in-progress work
Diffstat (limited to 'source/slang/type-defs.h')
| -rw-r--r-- | source/slang/type-defs.h | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/source/slang/type-defs.h b/source/slang/type-defs.h index 2052e1eb8..60f519c82 100644 --- a/source/slang/type-defs.h +++ b/source/slang/type-defs.h @@ -489,59 +489,4 @@ protected: virtual int GetHashCode() override; virtual Type* CreateCanonicalType() override; ) -END_SYNTAX_CLASS() - -// The "type" of an expression that references a asscoiated type decl (via 'assoctype' keyword). -SYNTAX_CLASS(AssocTypeDeclRefType, Type) - DECL_FIELD(DeclRef<AssocTypeDecl>, declRef) - DECL_FIELD(RefPtr<Type>, sourceType) - RAW( - AssocTypeDeclRefType() - {} - AssocTypeDeclRefType( - DeclRef<AssocTypeDecl> declRef) - : declRef(declRef) - {} - - - DeclRef<AssocTypeDecl> const& GetDeclRef() const { return declRef; } - - virtual String ToString() override; - - protected: - virtual RefPtr<Val> SubstituteImpl(Substitutions* subst, int* ioDiff) override; - virtual bool EqualsImpl(Type * type) override; - virtual int GetHashCode() override; - virtual Type* CreateCanonicalType() override; - ) -END_SYNTAX_CLASS() - -// The "type" of an generic constraint, which wraps both the sub and sup (interface) type -// the sub type can be used in associated type substitution in later type evaluation -SYNTAX_CLASS(GenericConstraintDeclRefType, Type) - DECL_FIELD(RefPtr<Type>, subType) - DECL_FIELD(RefPtr<Type>, supType) -RAW( - GenericConstraintDeclRefType() - {} - GenericConstraintDeclRefType(Session* session, - RefPtr<Type> sub, - RefPtr<Type> sup) - : subType(sub), supType(sup) - { - setSession(session); - } - - - RefPtr<Type> const& GetSupType() const { return supType; } - RefPtr<Type> const& GetSubType() const { return subType; } - - virtual String ToString() override; - - protected: - virtual RefPtr<Val> SubstituteImpl(Substitutions* subst, int* ioDiff) override; - virtual bool EqualsImpl(Type * type) override; - virtual int GetHashCode() override; - virtual Type* CreateCanonicalType() override; -) END_SYNTAX_CLASS()
\ No newline at end of file |
