All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----grapher.Markers
public int number
public java.util.Vector vert[]
public Markers(java.net.URL file)
private void getMarkers(java.net.URL file) throws java.io.IOException, grapher.FileFormatException
All Packages Class Hierarchy This Package Previous Next Index