|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ConsList | |
---|---|
edu.cmu.cs.crystal.util | Several utilities that other analysis writers have found useful. |
Uses of ConsList in edu.cmu.cs.crystal.util |
---|
Methods in edu.cmu.cs.crystal.util that return ConsList | ||
---|---|---|
static
|
ConsList.concat(ConsList<T> front,
ConsList<T> back)
Concatenate the two given lists. |
|
static
|
ConsList.cons(T hd,
ConsList<T> tl)
Create a new ConsList with hd as the
first element and tl as the rest of the list. |
|
static
|
ConsList.empty()
Create a new, empty list. |
|
ConsList<T> |
ConsList.filter(Lambda<? super T,? extends Boolean> lam)
Given a 'first-class function' that takes elements of type T and returns a boolean, call that function on every element of this list, returning a new list that only contains
the elements for which the function call returned true. |
|
static
|
ConsList.list(T... ts)
Create a ConsList with the given elements. |
|
|
ConsList.map(Lambda<? super T,? extends O> lam)
Given a 'first-class function' that takes elements of type T and returns elements of type O, call that function on every element of this list, returning a new list
of Os. |
|
ConsList<T> |
ConsList.removeElement(T t)
Removes every element in the list where hd().equals(t) == true . |
|
ConsList<T> |
ConsList.removeElementOnce(T t)
Removes the first element in the list where hd().equals(t) == true . |
|
static
|
ConsList.singleton(T hd)
Create a list with one element. |
|
ConsList<T> |
ConsList.subList(int fromIndex,
int toIndex)
|
|
abstract ConsList<T> |
ConsList.tl()
Return this list without the first element. |
Methods in edu.cmu.cs.crystal.util with parameters of type ConsList | ||
---|---|---|
static
|
ConsList.concat(ConsList<T> front,
ConsList<T> back)
Concatenate the two given lists. |
|
static
|
ConsList.concat(ConsList<T> front,
ConsList<T> back)
Concatenate the two given lists. |
|
static
|
ConsList.cons(T hd,
ConsList<T> tl)
Create a new ConsList with hd as the
first element and tl as the rest of the list. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |