Package wprover

Class GgbMidpoint

  • public class GgbMidpoint
extends java.lang.Object
    Represents a midpoint in GeoGebra with a label and optionally associated points or a segment.

    • Constructor Summary

      Constructors 
      Constructor Description
      GgbMidpoint​(java.lang.String name)
      Constructs a new GgbMidpoint with the specified name.
      GgbMidpoint​(java.lang.String labelMidpoint, java.lang.String labelSegment)
      Constructs a new GgbMidpoint with the specified midpoint label and segment label.
      GgbMidpoint​(java.lang.String labelMidpoint, java.lang.String labelP1, java.lang.String labelP2)
      Constructs a new GgbMidpoint with the specified midpoint label and point labels.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      java.lang.String getName()
      Returns the name of the midpoint.
      java.lang.String getNameP1()
      Returns the name of the first point.
      java.lang.String getNameP2()
      Returns the name of the second point.
      int hashCode()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • GgbMidpoint

        public GgbMidpoint​(java.lang.String labelMidpoint,
                   java.lang.String labelP1,
                   java.lang.String labelP2)
        Constructs a new GgbMidpoint with the specified midpoint label and point labels.
        Parameters:
        labelMidpoint - the label of the midpoint
        labelP1 - the label of the first point
        labelP2 - the label of the second point

      • GgbMidpoint

        public GgbMidpoint​(java.lang.String labelMidpoint,
                   java.lang.String labelSegment)
        Constructs a new GgbMidpoint with the specified midpoint label and segment label.
        Parameters:
        labelMidpoint - the label of the midpoint
        labelSegment - the label of the segment

      • GgbMidpoint

        public GgbMidpoint​(java.lang.String name)
        Constructs a new GgbMidpoint with the specified name.
        Parameters:
        name - the name of the midpoint

    • Method Detail

      • getName

        public java.lang.String getName()
        Returns the name of the midpoint.
        Returns:
        the name of the midpoint

      • getNameP1

        public java.lang.String getNameP1()
        Returns the name of the first point.
        Returns:
        the name of the first point

      • getNameP2

        public java.lang.String getNameP2()
        Returns the name of the second point.
        Returns:
        the name of the second point

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object