Package jline.io

Class LineCitations.Citation

java.lang.Object

jline.io.LineCitations.Citation

Enclosing class:

LineCitations

public static class LineCitations.Citation
extends Object

One bibliographic reference and the part of the solution it covers.

Field Summary

Fields

Modifier and Type	Field	Description
final String	covers	One line naming the part of the solution process the paper covers.
final String	key	Bibliography key of doc/latex/biblio.bib, internal shorthand, not displayed.
final String	ref	The reference, as shown to the user.

Constructor Summary

Constructors

Constructor	Description
Citation(String key, String ref, String covers)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

key

public final String key

Bibliography key of doc/latex/biblio.bib, internal shorthand, not displayed.

ref

public final String ref

The reference, as shown to the user.

covers

public final String covers

One line naming the part of the solution process the paper covers.

Constructor Details

Citation

public Citation(String key,
 String ref,
 String covers)

Method Details

toString

public String toString()

Overrides:

toString in class Object