WebsiteDetails
Record
The title and class list for this documentation site. The title is used in the navigation bar.
The class list is used for generating URLs locally to get between pages. It is also used to determine whether this site covers an element.
Extends
Record
Modifiers
public final
Constructors
new WebsiteDetails (String, List)
ConstructorNo description is available for this element.
| Index | Type | Name |
|---|---|---|
| 1 | String | string |
| 2 | List | list |
Return Type
WebsiteDetails
Modifiers
public
Methods
equals (Object)
MethodNo description is available for this element.
| Index | Type | Name |
|---|---|---|
| 1 | Object | o |
Return Type
boolean
Modifiers
public final
toString ()
MethodNo description is available for this element.
Return Type
String
Modifiers
public final
hashCode ()
MethodNo description is available for this element.
Return Type
int
Modifiers
public final
classes ()
MethodNo description is available for this element.
Return Type
List
Modifiers
public
title ()
MethodNo description is available for this element.
Return Type
String
Modifiers
public