public void getHurt() {
if (world.verbose > 1) System.out.print("[hurt!]");
damage++;
// if (deathTime > 0 || world.paused) return;
if (invulnerableTime > 0) return;
if (large) {
world.paused = true;
powerUpTime = -3 * FractionalPowerUpTime;
if (fire) {
setLarge(true, false);
} else {
setLarge(false, false);
}
invulnerableTime = 32;
} else {
die();
}
}
public Mario(LevelScene world) {
kind = KIND_MARIO;
// Mario.instance = this;
this.world = world;
// keys = Scene.keys; // SK: in fact, this is already redundant due to using Agent
// cheatKeys = Scene.keys; // SK: in fact, this is already redundant due to using Agent
x = 32;
y = 0;
facing = 1;
setLarge(true, true);
}