robojerk/codeql-action

Update checked-in dependencies

Browse source
This commit is contained in:
github-actions[bot] 2024-09-16 17:29:58 +00:00
parent 1afca056e3
commit 6989ba7bd2
3942 changed files with 55190 additions and 132206 deletions
Download patch file Download diff file Expand all files Collapse all files

23
node_modules/es-abstract/2023/TimeString.js generated vendored
View file

@ -1,25 +1,26 @@
'use strict';
var GetIntrinsic = require('get-intrinsic');
var $TypeError = GetIntrinsic('%TypeError%');
var $TypeError = require('es-errors/type');
var $isNaN = require('../helpers/isNaN');
var padTimeComponent = require('../helpers/padTimeComponent');
var HourFromTime = require('./HourFromTime');
var MinFromTime = require('./MinFromTime');
var SecFromTime = require('./SecFromTime');
var Type = require('./Type');
var ToZeroPaddedDecimalString = require('./ToZeroPaddedDecimalString');
// https://262.ecma-international.org/9.0/#sec-timestring
// https://262.ecma-international.org/13.0/#sec-timestring
module.exports = function TimeString(tv) {
if (Type(tv) !== 'Number' || $isNaN(tv)) {
if (typeof tv !== 'number' || $isNaN(tv)) {
throw new $TypeError('Assertion failed: `tv` must be a non-NaN Number');
}
var hour = HourFromTime(tv);
var minute = MinFromTime(tv);
var second = SecFromTime(tv);
return padTimeComponent(hour) + ':' + padTimeComponent(minute) + ':' + padTimeComponent(second) + '\x20GMT';
var hour = ToZeroPaddedDecimalString(HourFromTime(tv), 2); // step 1
var minute = ToZeroPaddedDecimalString(MinFromTime(tv), 2); // step 2
var second = ToZeroPaddedDecimalString(SecFromTime(tv), 2); // step 3
return hour + ':' + minute + ':' + second + ' GMT'; // step 4
};