[WHLSL] Enforce variable lifetimes
[WebKit-https.git] / Source / WebCore / Modules / webgpu / WHLSL / AST / WHLSLFunctionDeclaration.h
1 /*
2  * Copyright (C) 2019 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #pragma once
27
28 #if ENABLE(WEBGPU)
29
30 #include "WHLSLEntryPointType.h"
31 #include "WHLSLFunctionAttribute.h"
32 #include "WHLSLLexer.h"
33 #include "WHLSLNode.h"
34 #include "WHLSLSemantic.h"
35 #include "WHLSLUnnamedType.h"
36 #include "WHLSLVariableDeclaration.h"
37 #include <wtf/UniqueRef.h>
38 #include <wtf/text/WTFString.h>
39
40 namespace WebCore {
41
42 namespace WHLSL {
43
44 namespace AST {
45
46 class FunctionDeclaration : public Node {
47 public:
48     FunctionDeclaration(Lexer::Token&& origin, AttributeBlock&& attributeBlock, Optional<EntryPointType> entryPointType, UniqueRef<UnnamedType>&& type, String&& name, VariableDeclarations&& parameters, Optional<Semantic>&& semantic, bool isOperator)
49         : m_origin(WTFMove(origin))
50         , m_attributeBlock(WTFMove(attributeBlock))
51         , m_entryPointType(entryPointType)
52         , m_type(WTFMove(type))
53         , m_name(WTFMove(name))
54         , m_parameters(WTFMove(parameters))
55         , m_semantic(WTFMove(semantic))
56         , m_isOperator(WTFMove(isOperator))
57     {
58     }
59
60     virtual ~FunctionDeclaration() = default;
61
62     FunctionDeclaration(const FunctionDeclaration&) = delete;
63     FunctionDeclaration(FunctionDeclaration&&) = default;
64
65     virtual bool isFunctionDefinition() const { return false; }
66     virtual bool isNativeFunctionDeclaration() const { return false; }
67
68     AttributeBlock& attributeBlock() { return m_attributeBlock; }
69     const Optional<EntryPointType>& entryPointType() const { return m_entryPointType; }
70     const UnnamedType& type() const { return m_type; }
71     UnnamedType& type() { return m_type; }
72     const String& name() const { return m_name; }
73     String& name() { return m_name; }
74     bool isCast() const { return m_name == "operator cast"; }
75     const VariableDeclarations& parameters() const { return m_parameters; }
76     VariableDeclarations& parameters() { return m_parameters; }
77     Optional<Semantic>& semantic() { return m_semantic; }
78     bool isOperator() const { return m_isOperator; }
79     Lexer::Token origin() { return m_origin; }
80
81 private:
82     Lexer::Token m_origin;
83     AttributeBlock m_attributeBlock;
84     Optional<EntryPointType> m_entryPointType;
85     UniqueRef<UnnamedType> m_type;
86     String m_name;
87     VariableDeclarations m_parameters;
88     Optional<Semantic> m_semantic;
89     bool m_isOperator;
90 };
91
92 } // namespace AST
93
94 }
95
96 }
97
98 #define SPECIALIZE_TYPE_TRAITS_WHLSL_FUNCTION_DECLARATION(ToValueTypeName, predicate) \
99 SPECIALIZE_TYPE_TRAITS_BEGIN(WebCore::WHLSL::AST::ToValueTypeName) \
100     static bool isType(const WebCore::WHLSL::AST::FunctionDeclaration& type) { return type.predicate; } \
101 SPECIALIZE_TYPE_TRAITS_END()
102
103 #endif