js-static-analyzer/axioms/fakeMath.js

module.exports = {
	'#FakeMath.add': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.div': {
		throwsExceptions: true,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.mul': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.sub': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.mod': {
		throwsExceptions: true,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.bitor': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.bitand': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.bitxor': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.not': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.lshift': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},
	'#FakeMath.rshift': {
		throwsExceptions: false,
		canReturn: ['number', 'NaN', 'Infinity'],
		synchronous: true,
	},

	
	
}