aboutsummaryrefslogtreecommitdiff
path: root/projects/12/String.jack
blob: 228d71cd6806e835f30a1b064a1952fc13f5d78f (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
// 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 {

    /** constructs a new empty string with a maximum length of maxLength
     *  and initial length of 0. */
    constructor String new(int maxLength) {
    }

    /** Disposes this string. */
    method void dispose() {
    }

    /** Returns the current length of this string. */
    method int length() {
    }

    /** Returns the character at the j-th location of this string. */
    method char charAt(int j) {
    }

    /** Sets the character at the j-th location of this string to c. */
    method void setCharAt(int j, char c) {
    }

    /** Appends c to this string's end and returns this string. */
    method String appendChar(char c) {
    }

    /** Erases the last character from this string. */
    method void eraseLastChar() {
    }

    /** Returns the integer value of this string, 
     *  until a non-digit character is detected. */
    method int intValue() {
    }

    /** Sets this string to hold a representation of the given value. */
    method void setInt(int val) {
    }

    /** Returns the new line character. */
    function char newLine() {
    }

    /** Returns the backspace character. */
    function char backSpace() {
    }

    /** Returns the double quote (") character. */
    function char doubleQuote() {
    }
}