git @ Cat's Eye Technologies Zplet / master src / main / java / org / zplet / zmachine / zmachine3 / ZMachine3.java
master

Tree @master (Download .tar.gz)

ZMachine3.java @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
/* Zplet, a Z-Machine interpreter in Java */
/* Copyright 1996,2001 Matthew T. Russotto */
/* As of 23 February 2001, this code is open source and covered by the */
/* Artistic License, found within this package */

package org.zplet.zmachine.zmachine3;

import org.zplet.awt.screenmodel.ZScreen;
import org.zplet.awt.screenmodel.ZStatus;
import org.zplet.awt.screenmodel.ZWindow;
import org.zplet.zmachine.*;

public class ZMachine3 extends ZMachine {

	public ZMachine3(ZScreen screen, ZStatus status_line, byte[] memory_image) {
		super(screen, status_line, memory_image);

		header = new ZHeader3(memory_image);
		objects = new ZObjectTree3(this);
		zd = new ZDictionary3(this);
		globals = header.global_table();
		window = new ZWindow[2];
		window[0] = new ZWindow(screen);
		window[1] = new ZWindow(screen);
		window[1].set_transcripting(false);
		current_window = window[0];
		zi = new ZInstruction(this);
	}

	@Override
	public void update_status_line() {
		ZHeader3 header = (ZHeader3) this.header;

		status_redirect = true;
		status_location = "";
		print_string(objects.short_name_addr(get_variable((short) 16)));
		status_redirect = false;
		if (header.time_game())
			status_line.update_time_line(status_location,
					get_variable((short) 17), get_variable((short) 18));
		else
			status_line.update_score_line(status_location,
					get_variable((short) 17), get_variable((short) 18));
		status_location = null;
	}

	@Override
	public int string_address(short addr) {
		return ((addr) & 0xFFFF) << 1;
	}

	@Override
	public int routine_address(short addr) {
		return ((addr) & 0xFFFF) << 1;
	}

	@Override
	public void restart() {

		super.restart();

		window[0].moveto(0, 0);
		window[1].moveto(0, 0);
		window[0].resize(screen.getchars(), screen.getlines());
		window[1].resize(0, 0);
		window[0].movecursor(0, window[0].getHeight() - 1);
	}

	@Override
	public void set_header_flags() { /* at start, restart, restore */
		ZHeader3 header = (ZHeader3) this.header;

		super.set_header_flags();
		header.set_status_unavailable(false);
		header.set_splitting_available(true);
		header.set_variable_default(false);
	}
}