|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
ObjectOutputCodec
MultiOutputCodec
public abstract class MultiOutputCodec
| Constructor Summary | |
|---|---|
MultiOutputCodec()
|
|
| Method Summary | |
|---|---|
abstract void |
print_end_list(Writer writer)
Prints the end of a list in the concrete syntax which the USR uses. |
abstract void |
print_list_separator(Writer writer)
Prints the separator for separating different items of a list in the concrete syntax which the USR uses. |
abstract void |
print_start_list(Writer writer)
Prints the beginning of a list in the concrete syntax which the USR uses. |
| Methods inherited from class OutputCodec |
|---|
encode, print_footer, print_header |
| Methods inherited from class Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public MultiOutputCodec()
| Method Detail |
|---|
public abstract void print_start_list(Writer writer)
throws IOException
print_header,
but before any of the USRs. It is only called if we print
more than one graph (e.g. in the solve command, but not the convert command).
writer - the writer
IOException - if an I/O error occurred
public abstract void print_end_list(Writer writer)
throws IOException
print_footer,
but after any of the USRs. It is only called if we print
more than one graph (e.g. in the solve command, but not the convert command).
writer - the writer
IOException - if an I/O error occurred
public abstract void print_list_separator(Writer writer)
throws IOException
writer - the writer
IOException - if an I/O error occurred
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||