Sorry to hear about that. Hope you are ok. I got pinched as well when I first got the car and wasn't used to the automatic closing.
You can use the terminals in the engine compartment to jump start or trickle charge the car. My understanding is you attach red positive alligator clip to red positive spot (rear engine bay) and negative alligator clip to a nut on the chassis. You don't need to access the battery directly