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
|
import {
IMAGES,
Miscellaneous,
ModalClose,
ModalOpen,
SOUNDS,
SPRITE_SPECS,
SpriteSpec,
Sprites,
} from "../config";
import { Entity, EntityNames } from ".";
import {
BoundingBox,
ComponentNames,
Grid,
Highlight,
Interactable,
LambdaTerm,
Pushable,
Sprite,
} from "../components";
import { Coord2D } from "../interfaces";
import { openModal, closeModal } from "../utils";
export class FunctionBox extends Entity {
private static spriteSpec: SpriteSpec = SPRITE_SPECS.get(
Sprites.FUNCTION_BOX,
) as SpriteSpec;
constructor(gridPosition: Coord2D, code: string) {
super(EntityNames.FunctionBox);
this.addComponent(
new BoundingBox(
{
x: 0,
y: 0,
},
{
width: FunctionBox.spriteSpec.width,
height: FunctionBox.spriteSpec.height,
},
0,
),
);
this.addComponent(new Pushable());
this.addComponent(new Grid(gridPosition));
this.addComponent(
new Sprite(
IMAGES.get(FunctionBox.spriteSpec.sheet)!,
{ x: 0, y: 0 },
{
width: FunctionBox.spriteSpec.width,
height: FunctionBox.spriteSpec.height,
},
FunctionBox.spriteSpec.msPerFrame,
FunctionBox.spriteSpec.frames,
),
);
this.addComponent(new LambdaTerm(code));
this.addComponent(makeLambdaTermHighlightComponent(this));
}
}
export const makeLambdaTermHighlightComponent = (
entity: Entity,
text?: string,
) => {
const onUnhighlight = () => {
closeModal();
entity.removeComponent(ComponentNames.Interactable);
};
const onHighlight = () => {
let modalOpen = false;
const doModalClose = () => {
SOUNDS.get(ModalClose.name)!.play();
modalOpen = false;
closeModal();
};
const interaction = () => {
if (modalOpen) {
doModalClose();
return;
}
const code =
text ??
entity.getComponent<LambdaTerm>(ComponentNames.LambdaTerm)!.code;
openModal(
`<div style="text-align:center"><p>${code}</p> <br> <button id="close">Close</button></div>`,
);
modalOpen = true;
SOUNDS.get(ModalOpen.name)!.play();
document.getElementById("close")!.addEventListener("click", () => {
doModalClose();
document.getElementById(Miscellaneous.CANVAS_ID)!.focus();
});
};
entity.addComponent(new Interactable(interaction));
};
return new Highlight(onHighlight, onUnhighlight);
};
|
