public class LocationSet
extends java.lang.Object
Constructor and Description |
---|
LocationSet(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(Location e) |
boolean |
equals(java.lang.Object o)
Location sets with equal names are equal.
|
Location |
get(int index) |
java.util.List<Location> |
getLocations() |
java.lang.String |
getName() |
void |
setLocations(java.util.List<Location> locations) |
void |
setName(java.lang.String name) |
int |
size() |
java.lang.String |
toString() |
public java.lang.String getName()
public void setName(java.lang.String name)
public int size()
public java.util.List<Location> getLocations()
public void setLocations(java.util.List<Location> locations)
public boolean add(Location e)
public Location get(int index)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.