120 lines
5.4 KiB
JavaScript
120 lines
5.4 KiB
JavaScript
/*
|
|
* Copyright (C) 2017 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. ``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
|
|
* 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.
|
|
*/
|
|
"use strict";
|
|
|
|
class ProtocolDecl extends Protocol {
|
|
constructor(origin, name)
|
|
{
|
|
super(origin, name);
|
|
this.extends = [];
|
|
this._signatures = [];
|
|
this._signatureMap = new Map();
|
|
this._typeVariable = new TypeVariable(origin, name, null);
|
|
}
|
|
|
|
addExtends(protocol)
|
|
{
|
|
this.extends.push(protocol);
|
|
}
|
|
|
|
add(signature)
|
|
{
|
|
if (!(signature instanceof ProtocolFuncDecl))
|
|
throw new Error("Signature isn't a ProtocolFuncDecl but a " + signature.constructor.name);
|
|
|
|
signature.protocolDecl = this;
|
|
this._signatures.push(signature);
|
|
let overloads = this._signatureMap.get(signature.name);
|
|
if (!overloads)
|
|
this._signatureMap.set(signature.name, overloads = []);
|
|
overloads.push(signature);
|
|
}
|
|
|
|
get signatures() { return this._signatures; }
|
|
signaturesByName(name) { return this._signatureMap.get(name); }
|
|
get typeVariable() { return this._typeVariable; }
|
|
|
|
signaturesByNameWithTypeVariable(name, typeVariable)
|
|
{
|
|
let substitution = new Substitution([this.typeVariable], [typeVariable]);
|
|
let result = this.signaturesByName(name);
|
|
if (!result)
|
|
return null;
|
|
return result.map(signature => signature.visit(substitution));
|
|
}
|
|
|
|
inherits(otherProtocol)
|
|
{
|
|
if (!otherProtocol)
|
|
return {result: true};
|
|
|
|
if (otherProtocol instanceof ProtocolRef)
|
|
otherProtocol = otherProtocol.protocolDecl;
|
|
|
|
for (let otherSignature of otherProtocol.signatures) {
|
|
let signatures = this.signaturesByName(otherSignature.name);
|
|
if (!signatures)
|
|
return {result: false, reason: "Protocol " + this.name + " does not have a function named " + otherSignature.name + " (looking at signature " + otherSignature + ")"};
|
|
let overload = resolveOverloadImpl(
|
|
signatures, [],
|
|
otherSignature.parameterTypes,
|
|
otherSignature.returnTypeForOverloadResolution);
|
|
if (!overload.func)
|
|
return {result: false, reason: "Did not find matching signature for " + otherSignature + " in " + this.name + (overload.failures.length ? " (tried: " + overload.failures.join("; ") + ")" : "")};
|
|
let substitutedReturnType =
|
|
overload.func.returnType.substituteToUnification(
|
|
overload.func.typeParameters, overload.unificationContext);
|
|
if (!substitutedReturnType.equals(otherSignature.returnType))
|
|
return {result: false, reason: "Return type mismatch between " + otherSignature.returnType + " and " + substitutedReturnType};
|
|
}
|
|
return {result: true};
|
|
}
|
|
|
|
hasHeir(type)
|
|
{
|
|
let substitution = new Substitution([this._typeVariable], [type]);
|
|
let signatures = this.signatures;
|
|
for (let originalSignature of signatures) {
|
|
let signature = originalSignature.visit(substitution);
|
|
let overload = resolveOverloadImpl(signature.possibleOverloads, signature.typeParameters, signature.parameterTypes, signature.returnTypeForOverloadResolution);
|
|
if (!overload.func)
|
|
return {result: false, reason: "Did not find matching signature for " + originalSignature + " (at " + originalSignature.origin.originString + ") with type " + type + (overload.failures.length ? " (tried: " + overload.failures.join("; ") + ")" : "")};
|
|
|
|
let substitutedReturnType = overload.func.returnType.substituteToUnification(
|
|
overload.func.typeParameters, overload.unificationContext);
|
|
if (!substitutedReturnType.equals(signature.returnType))
|
|
return {result: false, reason: "At signature " + originalSignature + " (at " + originalSignature.origin.originString + "): return type mismatch between " + signature.returnType + " and " + substitutedReturnType + " in found function " + overload.func.toDeclString()};
|
|
}
|
|
return {result: true};
|
|
}
|
|
|
|
toString()
|
|
{
|
|
return "protocol " + this.name + " { " + this.signatures.join("; ") + "; }";
|
|
}
|
|
}
|
|
|
|
|