2020-12-22 19:38:48 +00:00
|
|
|
// animation
|
|
|
|
function get_anim_keys() = [
|
|
|
|
0, // initial
|
|
|
|
0.1, // resting
|
2020-12-25 00:41:12 +00:00
|
|
|
0.25, // holodisk free-inserted
|
|
|
|
0.3, // holodisk click-inserted
|
2020-12-25 12:36:54 +00:00
|
|
|
0.4, // laser raised, waiting
|
2020-12-22 19:38:48 +00:00
|
|
|
0.5, // start playing
|
2020-12-25 00:41:12 +00:00
|
|
|
0.7, // stop playing, start lowering laser
|
2020-12-25 12:36:54 +00:00
|
|
|
0.75, // laser lowered, holodisk removing
|
|
|
|
0.8, // holodisk click-removed
|
|
|
|
0.95, // holodisk free-removed, NOPing
|
|
|
|
1 // final
|
2020-12-22 19:38:48 +00:00
|
|
|
];
|
|
|
|
|
2020-12-25 00:41:12 +00:00
|
|
|
function ANIM_START()=0;
|
|
|
|
function ANIM_RESTING()=0;
|
|
|
|
function ANIM_INSERTING()=1;
|
|
|
|
function ANIM_OPENING()=2;
|
|
|
|
function ANIM_RAISING()=3;
|
2020-12-25 12:36:54 +00:00
|
|
|
function ANIM_WAITING()=4;
|
|
|
|
function ANIM_PLAYING()=5;
|
|
|
|
function ANIM_LOWERING()=6;
|
|
|
|
function ANIM_CLOSING()=7;
|
|
|
|
function ANIM_REMOVING()=8;
|
|
|
|
function ANIM_END()=9;
|
2020-12-25 00:41:12 +00:00
|
|
|
|
2020-12-22 19:38:48 +00:00
|
|
|
function anim(key_from, key_to, KEYS=get_anim_keys())
|
|
|
|
= max(0, min(($t - KEYS[key_from]) / (KEYS[key_to] - KEYS[key_from]), 1));
|