objects/oSpringTrap/collision_oPlayer1.gml
From spelunky.gmk, Spelunky Classic 1.1's source, © 2008, 2009 Derek Yu and Mossmouth, LLC, shown whole under the Spelunky User License v1.1b. Extracted by spelunky.ai's tools, an unofficial fan project, one file per script or event; the // ==== lines are the extractor's, naming each action of the event. Some scripts are others' work that Derek Yu credits in the source's readme.txt: Martin Piecyk's platform engine, ChevyRay's view scaling scripts and tsg1zzn's Super Sound System.
oSpringTrap's collision oPlayer1 event, 15 lines of GML.
if (status == IDLE and abs(other.x-(x+8)) < 6 and counter = 0){ if (other.state <= 13 and other.sprite_index != sPExit and other.sprite_index != sDamselExit) { sprite_index = sSpringTrapSprung; playSound(global.sndBoing); status = SPRUNG; with other { y -= 16; yVel = -16; } counter = 10; }}