Make JetStream 2
[WebKit-https.git] / PerformanceTests / JetStream2 / WSL / TypeRef.js
1 /*
2  * Copyright (C) 2017 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. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25 "use strict";
26
27 class TypeRef extends Type {
28     constructor(origin, name, typeArguments)
29     {
30         super();
31         this._origin = origin;
32         this._name = name;
33         this.type = null;
34         this._typeArguments = typeArguments;
35     }
36     
37     static wrap(type)
38     {
39         if (type instanceof TypeRef && !type.typeArguments)
40             return type;
41         let name = type.name;
42         let result = new TypeRef(type.origin, name, []);
43         result.type = type;
44         return result;
45     }
46     
47     static instantiate(type, typeArguments)
48     {
49         let result = new TypeRef(type.origin, type.name, typeArguments);
50         result.type = type;
51         return result;
52     }
53  
54     get origin() { return this._origin; }
55     get name() { return this._name; }
56     get typeArguments() { return this._typeArguments; }
57     
58     get unifyNode()
59     {
60         if (!this.typeArguments.length)
61             return this.type.unifyNode;
62         return this;
63     }
64     
65     populateDefaultValue(buffer, offset)
66     {
67         if (!this.typeArguments.length)
68             return this.type.populateDefaultValue(buffer, offset);
69         throw new Error("Cannot get default value of a type instantiation");
70     }
71     
72     get size()
73     {
74         if (!this.typeArguments.length)
75             return this.type.size;
76         throw new Error("Cannot get size of a type instantiation");
77     }
78     
79     get isPrimitive()
80     {
81         if (!this.typeArguments.length)
82             return this.type.isPrimitive;
83         throw new Error("Cannot determine if an uninstantiated type is primitive: " + this);
84     }
85     
86     setTypeAndArguments(type, typeArguments)
87     {
88         this._name = null;
89         this.type = type;
90         this._typeArguments = typeArguments;
91     }
92     
93     unifyImpl(unificationContext, other)
94     {
95         if (!(other instanceof TypeRef))
96             return false;
97         if (!this.type.unify(unificationContext, other.type))
98             return false;
99         if (this.typeArguments.length != other.typeArguments.length)
100             return false;
101         for (let i = 0; i < this.typeArguments.length; ++i) {
102             if (!this.typeArguments[i].unify(unificationContext, other.typeArguments[i]))
103                 return false;
104         }
105         return true;
106     }
107     
108     toString()
109     {
110         if (!this.name)
111             return this.type.toString();
112         if (!this.typeArguments.length)
113             return this.name;
114         return this.name + "<" + this.typeArguments + ">";
115     }
116 }
117