136 lines
4.7 KiB
JavaScript
136 lines
4.7 KiB
JavaScript
/*
|
|
* Copyright (C) 2014, 2015 Apple Inc. All rights reserved.
|
|
* Copyright (C) Saam Barati.
|
|
*
|
|
* 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.
|
|
*/
|
|
|
|
WI.TypeSet = class TypeSet
|
|
{
|
|
constructor(typeSet)
|
|
{
|
|
console.assert(typeSet);
|
|
|
|
var bitString = 0x0;
|
|
if (typeSet.isFunction)
|
|
bitString |= WI.TypeSet.TypeBit.Function;
|
|
if (typeSet.isUndefined)
|
|
bitString |= WI.TypeSet.TypeBit.Undefined;
|
|
if (typeSet.isNull)
|
|
bitString |= WI.TypeSet.TypeBit.Null;
|
|
if (typeSet.isBoolean)
|
|
bitString |= WI.TypeSet.TypeBit.Boolean;
|
|
if (typeSet.isInteger)
|
|
bitString |= WI.TypeSet.TypeBit.Integer;
|
|
if (typeSet.isNumber)
|
|
bitString |= WI.TypeSet.TypeBit.Number;
|
|
if (typeSet.isString)
|
|
bitString |= WI.TypeSet.TypeBit.String;
|
|
if (typeSet.isObject)
|
|
bitString |= WI.TypeSet.TypeBit.Object;
|
|
if (typeSet.isSymbol)
|
|
bitString |= WI.TypeSet.TypeBit.Symbol;
|
|
if (typeSet.isBigInt)
|
|
bitString |= WI.TypeSet.TypeBit.BigInt;
|
|
console.assert(bitString);
|
|
|
|
this._typeSet = typeSet;
|
|
this._bitString = bitString;
|
|
this._primitiveTypeNames = null;
|
|
}
|
|
|
|
// Static
|
|
|
|
static fromPayload(payload)
|
|
{
|
|
return new WI.TypeSet(payload);
|
|
}
|
|
|
|
// Public
|
|
|
|
isContainedIn(test)
|
|
{
|
|
// This function checks if types in bitString are contained in the types described by the 'test' bitstring. (i.e we haven't seen more types than 'test').
|
|
// We have seen fewer or equal number of types as 'test' if ANDing bitString with test doesn't zero out any of our bits.
|
|
|
|
// For example:
|
|
|
|
// 0b0110 (bitString)
|
|
// 0b1111 (test)
|
|
// ------ (AND)
|
|
// 0b0110 == bitString
|
|
|
|
// 0b0110 (bitString)
|
|
// 0b0010 (test)
|
|
// ------ (AND)
|
|
// 0b0010 != bitString
|
|
|
|
return this._bitString && (this._bitString & test) === this._bitString;
|
|
}
|
|
|
|
get primitiveTypeNames()
|
|
{
|
|
if (this._primitiveTypeNames)
|
|
return this._primitiveTypeNames;
|
|
|
|
this._primitiveTypeNames = [];
|
|
var typeSet = this._typeSet;
|
|
if (typeSet.isUndefined)
|
|
this._primitiveTypeNames.push("Undefined");
|
|
if (typeSet.isNull)
|
|
this._primitiveTypeNames.push("Null");
|
|
if (typeSet.isBoolean)
|
|
this._primitiveTypeNames.push("Boolean");
|
|
if (typeSet.isString)
|
|
this._primitiveTypeNames.push("String");
|
|
if (typeSet.isSymbol)
|
|
this._primitiveTypeNames.push("Symbol");
|
|
if (typeSet.isBigInt)
|
|
this._primitiveTypeNames.push("BigInt");
|
|
|
|
// It's implied that type Integer is contained in type Number. Don't put
|
|
// both 'Integer' and 'Number' into the set because this could imply that
|
|
// Number means to Double instead of Double|Integer.
|
|
if (typeSet.isNumber)
|
|
this._primitiveTypeNames.push("Number");
|
|
else if (typeSet.isInteger)
|
|
this._primitiveTypeNames.push("Integer");
|
|
|
|
return this._primitiveTypeNames;
|
|
}
|
|
};
|
|
|
|
WI.TypeSet.TypeBit = {
|
|
"Function" : 0x1,
|
|
"Undefined" : 0x2,
|
|
"Null" : 0x4,
|
|
"Boolean" : 0x8,
|
|
"Integer" : 0x10,
|
|
"Number" : 0x20,
|
|
"String" : 0x40,
|
|
"Object" : 0x80,
|
|
"Symbol" : 0x100,
|
|
"BigInt" : 0x200,
|
|
};
|
|
|
|
WI.TypeSet.NullOrUndefinedTypeBits = WI.TypeSet.TypeBit.Null | WI.TypeSet.TypeBit.Undefined;
|