public Class Markers

Class Inheritance

extends Object

Imports

Manages Markers.

Field Summary

Modifier and Type	Field and Description
private HashMap<TextPos, List<WeakReference<Marker>>>	markers

Access	Constructor and Description
public	Markers()

Modifier and Type	Method and Description
public Marker	getMarker(TextPos pos)
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.
public void	update(TextPos start, TextPos end, int charsTop, int linesAdded, int charsBottom)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll wait wait wait

markers	back to summary
private HashMap<TextPos, List<WeakReference<Marker>>> markers

Markers	back to summary
public Markers()

getMarker	back to summary
public Marker getMarker(TextPos pos)

toString back to summary

toString	back to summary
public String toString() Overrides java.lang.Object.toString. Doc from java.lang.Object.toString. Returns a string representation of the object. Satisfying this method's contract implies a non-`null` result must be returned. Annotations @Override

public String toString()

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Annotations

update	back to summary
public void update(TextPos start, TextPos end, int charsTop, int linesAdded, int charsBottom)