|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--java.io.Writer
|
+--java.io.PrintWriter
|
+--edu.mit.ai.psg.jeva.GenerateRepresentationClass.IndentingPrintWriter
PrintWriter that adds an indentation after every call to println()
| Field Summary | |
String |
indent
default indentation is 2 spaces |
| Fields inherited from class java.io.PrintWriter |
out |
| Fields inherited from class java.io.Writer |
lock |
| Method Summary | |
void |
println()
|
| Methods inherited from class java.io.PrintWriter |
checkError,
close,
flush,
print,
print,
print,
print,
print,
print,
print,
print,
print,
println,
println,
println,
println,
println,
println,
println,
println,
println,
setError,
write,
write,
write,
write,
write |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
| Field Detail |
public String indent
| Method Detail |
public void println()
|
Copyright (c) 1996-1999 Massachusetts Institute of Technology Feedback: jeva-bugs@ai.mit.edu |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||