Add Java assignments to the repository

.gitignore: The build files, files left by editors like *~ and the PDF
documents for the assignments are to be ignored for the purposes of
version control.

README.rst: Rewrite, with one line description in Chinese.

java/alist.txt: List of assignments, sorted in the order of the list of
assignments, with the ones with completed documentation marked with `#`.

java/buildall: Script that will build all of the assignments into one
PDF file; to be rehauled for the final document.

code/*.java: The Java source code for the assignments.

dbld: Script that builds a PDF document for a single assignment.

index.typ: The list of assignments, subject to update for further
refinement and inclusion of yet more assignments.

jbld: Script that compiles code for a single Java assignment.

output/*.typ: Typst file containing the output (sessions) obtained from
running the individual Java assignments.

state.sql: Future alternative to `alist.txt`, under development.

template.typ: The Typst template used across all of assignment,
containing common code for the uniform styling, such as page border.

text/*.typ: Typst file documenting each Java assignment.

vendor/Java.sublime-syntax: Updated Sublime Text syntax file for Java,
used for newer syntax features, such as `var`, not yet available in
syntaxes shipped with Typst.

vendor/gr.tmTheme: A grayscale TextMate theme to be used for code in the
documents generated by Typst suitable for black and white printing.

wltd: Difference between the files in `code/` and `text/`, and `code/`
and `output`; need to be rewritten along with `state.sql`.

1 files changed, 566 insertions, 0 deletions

diff --git a/java/vendor/gr.tmTheme b/java/vendor/gr.tmTheme
new file mode 100644
index 0000000..c4ab8f1
--- /dev/null
+++ b/java/vendor/gr.tmTheme
@@ -0,0 +1,566 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">

+<plist version="1.0">

+<dict>

+	<key>author</key>

+	<string>Template: Chris Kempson, Scheme: Alexandre Gavioli (https://github.com/Alexx2/)</string>

+	<key>name</key>

+	<string>Base16 Grayscale Light</string>

+	<key>semanticClass</key>

+	<string>theme.base16.grayscale-light</string>

+	<key>colorSpaceName</key>

+	<string>sRGB</string>

+	<key>gutterSettings</key>

+	<dict>

+		<key>background</key>

+		<string>#e3e3e3</string>

+		<key>divider</key>

+		<string>#e3e3e3</string>

+		<key>foreground</key>

+		<string>#ababab</string>

+		<key>selectionBackground</key>

+		<string>#b9b9b9</string>

+		<key>selectionForeground</key>

+		<string>#525252</string>

+	</dict>

+	<key>settings</key>

+	<array>

+		<dict>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#f7f7f7</string>

+				<key>caret</key>

+				<string>#464646</string>

+				<key>foreground</key>

+				<string>#464646</string>

+				<key>invisibles</key>

+				<string>#ababab</string>

+				<key>lineHighlight</key>

+				<string>#ababab55</string>

+				<key>selection</key>

+				<string>#b9b9b9</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Text</string>

+			<key>scope</key>

+			<string>variable.parameter.function</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#222222</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Comments</string>

+			<key>scope</key>

+			<string>comment, punctuation.definition.comment</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#777777</string>

+				<key>fontStyle</key>

+				<string>bold</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Punctuation</string>

+			<key>scope</key>

+			<string>punctuation.definition.string, punctuation.definition.variable, punctuation.definition.string, punctuation.definition.parameters, punctuation.definition.string, punctuation.definition.array</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#111111</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Delimiters</string>

+			<key>scope</key>

+			<string>none</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#222222</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Operators</string>

+			<key>scope</key>

+			<string>keyword.operator</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#222222</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Keywords</string>

+			<key>scope</key>

+			<string>keyword</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#333333</string>

+				<key>fontStyle</key>

+				<string>bold</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Variables</string>

+			<key>scope</key>

+			<string>variable</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#555555</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Functions</string>

+			<key>scope</key>

+			<string>entity.name.function, meta.require, support.function.any-method, variable.function, variable.annotation, support.macro</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#444444</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Labels</string>

+			<key>scope</key>

+			<string>entity.name.label</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#5e5e5e</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Classes</string>

+			<key>scope</key>

+			<string>support.class, entity.name.class, entity.name.type.class</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#666666</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Classes</string>

+			<key>scope</key>

+			<string>meta.class</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#101010</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Methods</string>

+			<key>scope</key>

+			<string>keyword.other.special-method</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#444444</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Storage</string>

+			<key>scope</key>

+			<string>storage</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#444444</string>

+				<key>fontStyle</key>

+				<string>bold</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Support</string>

+			<key>scope</key>

+			<string>support.function</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#868686</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Strings, Inherited Class</string>

+			<key>scope</key>

+			<string>string, constant.other.symbol, entity.other.inherited-class</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#333333</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Integers</string>

+			<key>scope</key>

+			<string>constant.numeric</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#000000</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Floats</string>

+			<key>scope</key>

+			<string>none</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#000000</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Boolean</string>

+			<key>scope</key>

+			<string>none</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#222222</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Constants</string>

+			<key>scope</key>

+			<string>constant</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#000000</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Tags</string>

+			<key>scope</key>

+			<string>entity.name.tag</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#7c7c7c</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Attributes</string>

+			<key>scope</key>

+			<string>entity.other.attribute-name</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#999999</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Attribute IDs</string>

+			<key>scope</key>

+			<string>entity.other.attribute-name.id, punctuation.definition.entity</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#686868</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Selector</string>

+			<key>scope</key>

+			<string>meta.selector</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#747474</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Values</string>

+			<key>scope</key>

+			<string>none</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#999999</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Headings</string>

+			<key>scope</key>

+			<string>markup.heading punctuation.definition.heading, entity.name.section</string>

+			<key>settings</key>

+			<dict>

+				<key>fontStyle</key>

+				<string></string>

+				<key>foreground</key>

+				<string>#686868</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Units</string>

+			<key>scope</key>

+			<string>keyword.other.unit</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#999999</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Bold</string>

+			<key>scope</key>

+			<string>markup.bold, punctuation.definition.bold</string>

+			<key>settings</key>

+			<dict>

+				<key>fontStyle</key>

+				<string>bold</string>

+				<key>foreground</key>

+				<string>#a0a0a0</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Italic</string>

+			<key>scope</key>

+			<string>markup.italic, punctuation.definition.italic</string>

+			<key>settings</key>

+			<dict>

+				<key>fontStyle</key>

+				<string>italic</string>

+				<key>foreground</key>

+				<string>#747474</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Code</string>

+			<key>scope</key>

+			<string>markup.raw.inline</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#8e8e8e</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Link Text</string>

+			<key>scope</key>

+      <string>string.other.link, punctuation.definition.string.end.markdown, punctuation.definition.string.begin.markdown</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#7c7c7c</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Link Url</string>

+			<key>scope</key>

+			<string>meta.link</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#999999</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Lists</string>

+			<key>scope</key>

+			<string>markup.list</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#7c7c7c</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Quotes</string>

+			<key>scope</key>

+			<string>markup.quote</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#999999</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Separator</string>

+			<key>scope</key>

+			<string>meta.separator</string>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#b9b9b9</string>

+				<key>foreground</key>

+				<string>#464646</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Inserted</string>

+			<key>scope</key>

+			<string>markup.inserted</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#8e8e8e</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Deleted</string>

+			<key>scope</key>

+			<string>markup.deleted</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#7c7c7c</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Changed</string>

+			<key>scope</key>

+			<string>markup.changed</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#747474</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Colors</string>

+			<key>scope</key>

+			<string>constant.other.color</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#868686</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Regular Expressions</string>

+			<key>scope</key>

+			<string>string.regexp</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#868686</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Escape Characters</string>

+			<key>scope</key>

+			<string>constant.character.escape</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#868686</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Embedded</string>

+			<key>scope</key>

+			<string>punctuation.section.embedded, variable.interpolation</string>

+			<key>settings</key>

+			<dict>

+				<key>foreground</key>

+				<string>#747474</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Illegal</string>

+			<key>scope</key>

+			<string>invalid.illegal</string>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#7c7c7c</string>

+				<key>foreground</key>

+				<string>#101010</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Broken</string>

+			<key>scope</key>

+			<string>invalid.broken</string>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#999999</string>

+				<key>foreground</key>

+				<string>#f7f7f7</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Deprecated</string>

+			<key>scope</key>

+			<string>invalid.deprecated</string>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#5e5e5e</string>

+				<key>foreground</key>

+				<string>#101010</string>

+			</dict>

+		</dict>

+		<dict>

+			<key>name</key>

+			<string>Unimplemented</string>

+			<key>scope</key>

+			<string>invalid.unimplemented</string>

+			<key>settings</key>

+			<dict>

+				<key>background</key>

+				<string>#ababab</string>

+				<key>foreground</key>

+				<string>#101010</string>

+			</dict>

+		</dict>

+	</array>

+	<key>uuid</key>

+	<string>uuid</string>

+</dict>

+</plist>