Package wprover
Class GgbSegment
- java.lang.Object
-
- wprover.GgbSegment
-
public class GgbSegment extends java.lang.ObjectRepresents 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 booleanequals(java.lang.Object o)java.lang.StringgetName()Returns the name of the segment.java.lang.StringgetNameP1()Returns the name of the first point.java.lang.StringgetNameP2()Returns the name of the second point.inthashCode()
-
-
-
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 segmentnameP1- the name of the first pointnameP2- 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:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
-