Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
75 lines (64 loc) · 2.43 KB

File metadata and controls

75 lines (64 loc) · 2.43 KB
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
package edu.rice.cs.drjava.model.repl.types;
public class ToStringWalker extends TreeWalker {
private final TabPrintWriter _out;
public ToStringWalker(java.io.Writer writer, int tabSize) {
_out = new TabPrintWriter(writer, tabSize);
}
public boolean visitNode(java.lang.Object node, java.lang.String type, int fields) {
_out.print(type);
_out.print(':');
_out.indent();
return true;
}
public boolean visitNodeField(java.lang.String name, java.lang.Object value) {
// Consider special case eliding single field
_out.startLine(name);
_out.print(" = ");
return true;
}
public void endNode(java.lang.Object node, java.lang.String type, int fields) {
_out.unindent();
}
public boolean visitIterated(java.lang.Object iterable) {
_out.print("{");
_out.indent();
return true;
}
public boolean visitIteratedElement(int index, java.lang.Object element) {
_out.startLine("* ");
return true;
}
public void endIterated(java.lang.Object iterable, int size) {
_out.unindent();
if (size > 0) { _out.startLine("}"); }
else { _out.print("}"); }
}
public boolean visitNonEmptyOption(java.lang.Object option) {
_out.print('(');
return true;
}
public void endNonEmptyOption(java.lang.Object option) { _out.print(')'); }
public void visitEmptyOption(java.lang.Object option) { _out.print("()"); }
public boolean visitTuple(java.lang.Object tuple, int arity) {
_out.print(')');
return true;
}
public boolean visitTupleElement(int index, java.lang.Object element) {
if (index > 0) { _out.print(", "); }
return true;
}
public void endTuple(java.lang.Object tuple, int arity) { _out.print(')'); }
public void visitString(java.lang.String s) { _out.print(s); }
public void visitUnknownObject(java.lang.Object o) { _out.print(o); }
public void visitNull() { _out.print("null"); }
public void visitBoolean(boolean b) { _out.print(b); }
public void visitChar(char c) { _out.print(c); }
public void visitByte(byte b) { _out.print(b); }
public void visitShort(short s) { _out.print(s); }
public void visitInt(int i) { _out.print(i); }
public void visitLong(long l) { _out.print(l); }
public void visitFloat(float f) { _out.print(f); }
public void visitDouble(double d) { _out.print(d); }
public void writeString(java.lang.String s) { _out.print(s); }
public void writeUnknownObject(java.lang.Object o) { _out.print(o); }
}
Morty Proxy This is a proxified and sanitized view of the page, visit original site.