ElementList

java.lang.Object

pgui.type.ElementList

public class ElementList extends Object

A datatype used for organising multiple elements together

Method Summary

Modifier and Type

Method

Description

void

append(Element x, String ID)

Appends an element to the ElementList

Element

get(String ID)

Returns the Element with the given ID

String

ID(Element x)

Returns the ID of the given Element

int

index(Element x)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- get
  
  public Element get(String ID)
  
  Returns the Element with the given ID
  
  Parameters:
  
  ID - Element ID
  
  Returns:
  
  The corresponding Element with that ID
- ID
  
  public String ID(Element x)
  
  Returns the ID of the given Element
  
  Parameters:
  
  x - Element
  
  Returns:
  
  Element's ID
- append
  
  public void append(Element x, String ID)
  
  Appends an element to the ElementList
  
  Parameters:
  
  x - The Element to be added
  
  ID - The ID of the Element to be added
- index
  
  public int index(Element x)
  
  Returns:
  
  The index of the specified element