blob: 2d5c4407405ec3c049c3de55f88bda90a99aff69 (
plain) (
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/12/String.jack
/**
* Represents character strings. In addition for constructing and disposing
* strings, the class features methods for getting and setting individual
* characters of the string, for erasing the string's last character,
* for appending a character to the string's end, and more typical
* string-oriented operations.
*/
class String {
field int maxLen;
field int len;
field Array s;
/** constructs a new empty string with a maximum length of maxLength
* and initial length of 0. */
constructor String new(int maxLength) {
let s = new Array(maxLength);
let maxLen = maxLength;
let len = 0;
return this;
}
/** Disposes this string. */
method void dispose() {
do s.dispose();
do Memory.deAlloc(this);
return;
}
/** Returns the current length of this string. */
method int length() {
return len;
}
/** Returns the character at the j-th location of this string. */
method char charAt(int j) {
if ((j < 0) | (j + 1 > len)){
Output.printString("String.charAt: index out of range!");
Sys.error(5);
}
return s[j];
}
/** Sets the character at the j-th location of this string to c. */
method void setCharAt(int j, char c) {
let s[j] = c;
return;
}
/** Appends c to this string's end and returns this string. */
method String appendChar(char c) {
if (len = maxLen) {
Output.printString("String.appendChar: reached max length!");
Sys.error(5);
}
let s[len] = c;
let len = len + 1;
return this;
}
/** Erases the last character from this string. */
method void eraseLastChar() {
if (len = 0){
Output.printString("String.eraseLastChar: string is already empty!");
Sys.error(5);
}
let len = len - 1;
return;
}
/** Returns the integer value of this string,
* until a non-digit character is detected. */
method int intValue() {
var int n, i;
var char c;
var boolean neg, done;
let n = 0;
if (s[0] = 45) {
let i = 1;
let neg = true;
} else {
let i = 0;
let neg = false;
}
let c = s[i];
if ((t < 48) | (t > 57)) {
do Sys.error(3);
do Output.printString("String.intValue: the input data is not number!");
}
let done = false;
while ((~done) & (i < len)) {
let t = s[i];
if ((t > 47) & (t < 58)) {
let n = n * 10 + (t - 48);
} else {
let done = true;
}
let i = i + 1;
}
if (neg) {
return -n;
} else {
return n;
}
}
/** Sets this string to hold a representation of the given value. */
method void setInt(int val) {
}
/** Returns the new line character. */
function char newLine() {
return 128;
}
/** Returns the backspace character. */
function char backSpace() {
return 129;
}
/** Returns the double quote (") character. */
function char doubleQuote() {
return 34;
}
}
|
