b2w_setBodyTransform function
Teleport a body. Box2D calls this fairly expensive (it moves the body's shapes in the broad phase and drops their contacts' warm start): use it for respawns, checkpoints and warps, and velocity for ordinary motion. wake != 0 wakes the body too, which moving it alone does not.
Implementation
@ffi.Native<
ffi.Void Function(ffi.Int64, ffi.Float, ffi.Float, ffi.Float, ffi.Int32)
>()
external void b2w_setBodyTransform(
int bodyHandle,
double x,
double y,
double angle,
int wake,
);