| /* |
| * Copyright (C) 2019 Apple Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' |
| * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, |
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS |
| * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF |
| * THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #pragma once |
| |
| #if ENABLE(WEBGPU) |
| |
| #include "WHLSLLexer.h" |
| #include "WHLSLNamedType.h" |
| #include "WHLSLTypeArgument.h" |
| #include "WHLSLUnnamedType.h" |
| #include <wtf/UniqueRef.h> |
| #include <wtf/text/WTFString.h> |
| |
| namespace WebCore { |
| |
| namespace WHLSL { |
| |
| namespace AST { |
| |
| class NamedType; |
| |
| class TypeReference : public UnnamedType { |
| public: |
| TypeReference(CodeLocation location, String&& name, TypeArguments&& typeArguments) |
| : UnnamedType(location) |
| , m_name(WTFMove(name)) |
| , m_typeArguments(WTFMove(typeArguments)) |
| { |
| } |
| |
| virtual ~TypeReference() = default; |
| |
| TypeReference(const TypeReference&) = delete; |
| TypeReference(TypeReference&&) = default; |
| |
| static UniqueRef<TypeReference> wrap(CodeLocation, NamedType& resolvedType); |
| |
| bool isTypeReference() const override { return true; } |
| |
| String& name() { return m_name; } |
| TypeArguments& typeArguments() { return m_typeArguments; } |
| NamedType* maybeResolvedType() const { return m_resolvedType; } |
| NamedType& resolvedType() const |
| { |
| ASSERT(m_resolvedType); |
| return *m_resolvedType; |
| } |
| |
| const Type& unifyNode() const override |
| { |
| ASSERT(m_resolvedType); |
| return m_resolvedType->unifyNode(); |
| } |
| |
| Type& unifyNode() override |
| { |
| ASSERT(m_resolvedType); |
| return m_resolvedType->unifyNode(); |
| } |
| |
| void setResolvedType(NamedType& resolvedType) |
| { |
| m_resolvedType = &resolvedType; |
| } |
| |
| UniqueRef<TypeReference> cloneTypeReference() const |
| { |
| auto result = makeUniqueRef<TypeReference>(codeLocation(), String(m_name), AST::clone(m_typeArguments)); |
| if (m_resolvedType) |
| result->setResolvedType(*m_resolvedType); |
| return result; |
| } |
| |
| UniqueRef<UnnamedType> clone() const override |
| { |
| return cloneTypeReference(); |
| } |
| |
| unsigned hash() const override |
| { |
| // Currently, we only use this function after the name resolver runs. |
| // Relying on having a resolved type simplifies this implementation. |
| ASSERT(m_resolvedType); |
| return WTF::PtrHash<const Type*>::hash(&unifyNode()); |
| } |
| |
| bool operator==(const UnnamedType& other) const override |
| { |
| ASSERT(m_resolvedType); |
| if (!is<TypeReference>(other)) |
| return false; |
| |
| return &unifyNode() == &downcast<TypeReference>(other).unifyNode(); |
| } |
| |
| private: |
| String m_name; |
| TypeArguments m_typeArguments; |
| NamedType* m_resolvedType { nullptr }; |
| }; |
| |
| } // namespace AST |
| |
| } |
| |
| } |
| |
| SPECIALIZE_TYPE_TRAITS_WHLSL_UNNAMED_TYPE(TypeReference, isTypeReference()) |
| |
| #endif |