FilesExpand file tree

 docker

/

evaluator.spec.ts

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

163 lines (146 loc) · 7.64 KB

 docker

/

evaluator.spec.ts

Top

File metadata and controls

• Code
• Blame

163 lines (146 loc) · 7.64 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

import * as ts from 'typescript';

import * as fs from 'fs';

import {Directory, Host, expectNoDiagnostics, findVar} from './typescript.mocks';

import {Evaluator} from '../src/evaluator';

import {Symbols} from '../src/symbols';

describe('Evaluator', () => {

let host: ts.LanguageServiceHost;

let service: ts.LanguageService;

let program: ts.Program;

let typeChecker: ts.TypeChecker;

let symbols: Symbols;

let evaluator: Evaluator;

beforeEach(() => {

host = new Host(FILES, ['expressions.ts']);

service = ts.createLanguageService(host);

program = service.getProgram();

typeChecker = program.getTypeChecker();

symbols = new Symbols();

evaluator = new Evaluator(typeChecker, symbols, f => f);

});

it('should not have typescript errors in test data', () => {

expectNoDiagnostics(service.getCompilerOptionsDiagnostics());

for (const sourceFile of program.getSourceFiles()) {

expectNoDiagnostics(service.getSyntacticDiagnostics(sourceFile.fileName));

}

});

it('should be able to fold literal expressions', () => {

var consts = program.getSourceFile('consts.ts');

expect(evaluator.isFoldable(findVar(consts, 'someName').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(consts, 'someBool').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(consts, 'one').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(consts, 'two').initializer)).toBeTruthy();

});

it('should be able to fold expressions with foldable references', () => {

var expressions = program.getSourceFile('expressions.ts');

expect(evaluator.isFoldable(findVar(expressions, 'three').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(expressions, 'four').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(expressions, 'obj').initializer)).toBeTruthy();

expect(evaluator.isFoldable(findVar(expressions, 'arr').initializer)).toBeTruthy();

});

it('should be able to evaluate literal expressions', () => {

var consts = program.getSourceFile('consts.ts');

expect(evaluator.evaluateNode(findVar(consts, 'someName').initializer)).toBe('some-name');

expect(evaluator.evaluateNode(findVar(consts, 'someBool').initializer)).toBe(true);

expect(evaluator.evaluateNode(findVar(consts, 'one').initializer)).toBe(1);

expect(evaluator.evaluateNode(findVar(consts, 'two').initializer)).toBe(2);

});

it('should be able to evaluate expressions', () => {

var expressions = program.getSourceFile('expressions.ts');

expect(evaluator.evaluateNode(findVar(expressions, 'three').initializer)).toBe(3);

expect(evaluator.evaluateNode(findVar(expressions, 'four').initializer)).toBe(4);

expect(evaluator.evaluateNode(findVar(expressions, 'obj').initializer))

.toEqual({one: 1, two: 2, three: 3, four: 4});

expect(evaluator.evaluateNode(findVar(expressions, 'arr').initializer)).toEqual([1, 2, 3, 4]);

expect(evaluator.evaluateNode(findVar(expressions, 'bTrue').initializer)).toEqual(true);

expect(evaluator.evaluateNode(findVar(expressions, 'bFalse').initializer)).toEqual(false);

expect(evaluator.evaluateNode(findVar(expressions, 'bAnd').initializer)).toEqual(true);

expect(evaluator.evaluateNode(findVar(expressions, 'bOr').initializer)).toEqual(true);

expect(evaluator.evaluateNode(findVar(expressions, 'nDiv').initializer)).toEqual(2);

expect(evaluator.evaluateNode(findVar(expressions, 'nMod').initializer)).toEqual(1);

expect(evaluator.evaluateNode(findVar(expressions, 'bLOr').initializer)).toEqual(false || true);

expect(evaluator.evaluateNode(findVar(expressions, 'bLAnd').initializer)).toEqual(true && true);

expect(evaluator.evaluateNode(findVar(expressions, 'bBOr').initializer)).toEqual(0x11 | 0x22);

expect(evaluator.evaluateNode(findVar(expressions, 'bBAnd').initializer)).toEqual(0x11 & 0x03);

expect(evaluator.evaluateNode(findVar(expressions, 'bXor').initializer)).toEqual(0x11 ^ 0x21);

expect(evaluator.evaluateNode(findVar(expressions, 'bEqual').initializer))

.toEqual(1 == <any>"1");

expect(evaluator.evaluateNode(findVar(expressions, 'bNotEqual').initializer))

.toEqual(1 != <any>"1");

expect(evaluator.evaluateNode(findVar(expressions, 'bIdentical').initializer))

.toEqual(1 === <any>"1");

expect(evaluator.evaluateNode(findVar(expressions, 'bNotIdentical').initializer))

.toEqual(1 !== <any>"1");

expect(evaluator.evaluateNode(findVar(expressions, 'bLessThan').initializer)).toEqual(1 < 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bGreaterThan').initializer)).toEqual(1 > 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bLessThanEqual').initializer))

.toEqual(1 <= 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bGreaterThanEqual').initializer))

.toEqual(1 >= 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bShiftLeft').initializer)).toEqual(1 << 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bShiftRight').initializer))

.toEqual(-1 >> 2);

expect(evaluator.evaluateNode(findVar(expressions, 'bShiftRightU').initializer))

.toEqual(-1 >>> 2);

});

it('should report recursive references as symbolic', () => {

var expressions = program.getSourceFile('expressions.ts');

expect(evaluator.evaluateNode(findVar(expressions, 'recursiveA').initializer))

.toEqual({__symbolic: "reference", name: "recursiveB", module: "expressions.ts"});

expect(evaluator.evaluateNode(findVar(expressions, 'recursiveB').initializer))

.toEqual({__symbolic: "reference", name: "recursiveA", module: "expressions.ts"});

});

});

const FILES: Directory = {

'directives.ts': `

export function Pipe(options: { name?: string, pure?: boolean}) {

return function(fn: Function) { }

}

`,

'consts.ts': `

export var someName = 'some-name';

export var someBool = true;

export var one = 1;

export var two = 2;

`,

'expressions.ts': `

import {someName, someBool, one, two} from './consts';

export var three = one + two;

export var four = two * two;

export var obj = { one: one, two: two, three: three, four: four };

export var arr = [one, two, three, four];

export var bTrue = someBool;

export var bFalse = !someBool;

export var bAnd = someBool && someBool;

export var bOr = someBool || someBool;

export var nDiv = four / two;

export var nMod = (four + one) % two;

export var bLOr = false || true; // true

export var bLAnd = true && true; // true

export var bBOr = 0x11 | 0x22; // 0x33

export var bBAnd = 0x11 & 0x03; // 0x01

export var bXor = 0x11 ^ 0x21; // 0x20

export var bEqual = 1 == <any>"1"; // true

export var bNotEqual = 1 != <any>"1"; // false

export var bIdentical = 1 === <any>"1"; // false

export var bNotIdentical = 1 !== <any>"1"; // true

export var bLessThan = 1 < 2; // true

export var bGreaterThan = 1 > 2; // false

export var bLessThanEqual = 1 <= 2; // true

export var bGreaterThanEqual = 1 >= 2; // false

export var bShiftLeft = 1 << 2; // 0x04

export var bShiftRight = -1 >> 2; // -1

export var bShiftRightU = -1 >>> 2; // 0x3fffffff

export var recursiveA = recursiveB;

export var recursiveB = recursiveA;

`,

'A.ts': `

import {Pipe} from './directives';

@Pipe({name: 'A', pure: false})

export class A {}`,

'B.ts': `

import {Pipe} from './directives';

import {someName, someBool} from './consts';

@Pipe({name: someName, pure: someBool})

export class B {}`

}