Package wprover

Class GgbSegment


  • public class GgbSegment
    extends java.lang.Object
    Represents a segment in GeoGebra with a name and two point names.
    • Constructor Summary

      Constructors 
      Constructor Description
      GgbSegment​(java.lang.String name, java.lang.String nameP1, java.lang.String nameP2)
      Constructs a new GgbSegment with the specified name and point names.
    • 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 segment.
      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

      • GgbSegment

        public GgbSegment​(java.lang.String name,
                          java.lang.String nameP1,
                          java.lang.String nameP2)
        Constructs a new GgbSegment with the specified name and point names.
        Parameters:
        name - the name of the segment
        nameP1 - the name of the first point
        nameP2 - the name of the second point
    • Method Detail

      • getName

        public java.lang.String getName()
        Returns the name of the segment.
        Returns:
        the name of the segment
      • 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