delete function to getPlatformBelowPlayer because it is no longer need now that player stores platID (but still keep function to get platform below enemy as that is still useful)

This commit is contained in:
2025-01-30 00:11:01 +00:00
parent 2446f3ea14
commit 73b4e607ae

View File

@@ -115,22 +115,6 @@ struct
end end
| [] => highestID | [] => highestID
fun getPlatformBelowPlayer (player, platformTree, platforms) =
let
val {x, y, ...} = player
val searchWidth = Constants.playerSize
val searchHeight = Constants.worldHeight - y
val collisions = QuadTree.getCollisions
(x, y, searchWidth, searchHeight, ~1, platformTree)
val checkY = y + Constants.playerSize
val wh = Constants.worldHeight
in
getHighestPlatform (collisions, platforms, wh, ~1, checkY)
end
fun getPlatformBelowEnemy (enemy: enemy, platformTree, platforms) = fun getPlatformBelowEnemy (enemy: enemy, platformTree, platforms) =
let let
val {x, y, ...} = enemy val {x, y, ...} = enemy
@@ -373,8 +357,7 @@ struct
(player: player, enemy, wallTree, platformTree, platforms, acc) = (player: player, enemy, wallTree, platformTree, platforms, acc) =
let let
(* todo: possibly get pID and eID of player/enemy in a different way *) (* todo: possibly get pID and eID of player/enemy in a different way *)
val pID = getPlatformBelowPlayer (player, platformTree, platforms) val pID = #platID player
val pID = if pID = ~1 then #platID player else pID
val eID = getPlatformBelowEnemy (enemy, platformTree, platforms) val eID = getPlatformBelowEnemy (enemy, platformTree, platforms)
val eID = if eID = ~1 then #platID enemy else eID val eID = if eID = ~1 then #platID enemy else eID