Package wprover
Class GgbLine
- java.lang.Object
-
- wprover.GgbLine
-
public class GgbLine extends java.lang.ObjectRepresents a line in GeoGebra with a name and two 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 line.java.lang.StringgetNameP1()Returns the name of the first point.java.lang.StringgetNameP2()Returns the name of the second point.inthashCode()
-
-
-
Constructor Detail
-
GgbLine
public GgbLine(java.lang.String name, java.lang.String nameP1, java.lang.String nameP2)Constructs a new GgbLine with the specified name and point names.- Parameters:
name- the name of the linenameP1- the name of the first pointnameP2- the name of the second point
-
GgbLine
public GgbLine(java.lang.String name)
Constructs a new GgbLine with the specified name.- Parameters:
name- the name of the line
-
-
Method Detail
-
getName
public java.lang.String getName()
Returns the name of the line.- Returns:
- the name of the line
-
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
-
-