Package com.uppaal.model.core2

Class Data2D

  • All Implemented Interfaces:
    java.lang.Iterable<java.awt.geom.Point2D.Double>
    public class Data2D
extends java.lang.Object
implements java.lang.Iterable<java.awt.geom.Point2D.Double>

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.awt.geom.Point2D.Double emptyMax  
      static java.awt.geom.Point2D.Double emptyMin  

    • Constructor Summary

      Constructors 
      Constructor Description
      Data2D​(java.lang.String title, java.lang.String type, java.awt.Color color)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addSample​(double x, double y)  
      void addSample​(java.awt.geom.Point2D.Double p)  
      java.awt.Color getColor()  
      java.awt.geom.Point2D.Double getMaximum()  
      java.awt.geom.Point2D.Double getMinimum()  
      java.awt.geom.Point2D.Double getNearestSampleAt​(double x)  
      java.lang.String getTitle()  
      java.lang.String getType()
      type denotes how the data should be displayed on a plot.
      double getXMinDifference()  
      boolean isEmpty()  
      java.util.Iterator<java.awt.geom.Point2D.Double> iterator()  
      void setColor​(java.awt.Color newcolor)  
      void setLogX​(boolean logx)  
      void setLogY​(boolean logy)  
      void setTitle​(java.lang.String newtitle)  
      void setType​(java.lang.String newtype)  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface java.lang.Iterable

        forEach, spliterator

    • Field Detail

      • emptyMin

        public static final java.awt.geom.Point2D.Double emptyMin

      • emptyMax

        public static final java.awt.geom.Point2D.Double emptyMax

    • Constructor Detail

      • Data2D

        public Data2D​(java.lang.String title,
              java.lang.String type,
              java.awt.Color color)

    • Method Detail

      • addSample

        public void addSample​(java.awt.geom.Point2D.Double p)

      • addSample

        public void addSample​(double x,
                      double y)

      • getColor

        public java.awt.Color getColor()

      • getTitle

        public java.lang.String getTitle()

      • getType

        public java.lang.String getType()
        type denotes how the data should be displayed on a plot. The string is interpreted as a sequence of symbols to be plotted: p - periods (dots) c - circles d - diamonds r - rectangles t - triangles (vertex pointing up) u - triangles (vertex pointing down) v - triangles (vertex pointing left) w - triangles (vertex pointing right) l - solid line k - dashed line m - dotted line n - dash-dot line a - filled polygon area between graph line and x-axis b(w) - filled bars of width w
        Returns:
        The type

      • setColor

        public void setColor​(java.awt.Color newcolor)

      • setTitle

        public void setTitle​(java.lang.String newtitle)

      • setType

        public void setType​(java.lang.String newtype)

      • setLogX

        public void setLogX​(boolean logx)

      • setLogY

        public void setLogY​(boolean logy)

      • getXMinDifference

        public double getXMinDifference()

      • getNearestSampleAt

        public java.awt.geom.Point2D.Double getNearestSampleAt​(double x)

      • iterator

        public java.util.Iterator<java.awt.geom.Point2D.Double> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<java.awt.geom.Point2D.Double>

      • isEmpty

        public boolean isEmpty()

      • getMinimum

        public java.awt.geom.Point2D.Double getMinimum()

      • getMaximum

        public java.awt.geom.Point2D.Double getMaximum()