jmathlib.core.graphics.properties
Class MarkerProperty

java.lang.Object
  jmathlib.core.graphics.properties.Property
      jmathlib.core.graphics.properties.RadioProperty
          jmathlib.core.graphics.properties.MarkerProperty

public class MarkerProperty
extends RadioProperty

Field Summary

Fields inherited from class jmathlib.core.graphics.properties.RadioProperty

value, valueSet

Constructor Summary

MarkerProperty(PropertySet parent, java.lang.String name, java.lang.String marker)

Method Summary

void	drawMarker(java.awt.Graphics g, int x, int y, double markerSize)
boolean	isSet()
void	setMarker(java.lang.String s)

Methods inherited from class jmathlib.core.graphics.properties.RadioProperty

get, getValue, is, set, toString

Methods inherited from class jmathlib.core.graphics.properties.Property

addPropertyListener, getName, update, valueChanged

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkerProperty

public MarkerProperty(PropertySet parent,
                      java.lang.String name,
                      java.lang.String marker)

Method Detail

drawMarker

public void drawMarker(java.awt.Graphics g,
                       int x,
                       int y,
                       double markerSize)

isSet

public boolean isSet()

setMarker

public void setMarker(java.lang.String s)