gov.nasa.jpf.util

Class Misc

java.lang.Object

gov.nasa.jpf.util.Misc

public class Misc
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.Iterable<?>	emptyIterable
static java.util.Iterator<?>	emptyIterator
static java.lang.Object[]	emptyObjectArray

Constructor Summary

Constructors

Constructor and Description
Misc()

Method Summary

Modifier and Type	Method and Description
static <E> void	addAll(java.util.Collection<E> target, java.lang.Iterable<? extends E> src)
static <T> T[]	appendArray(T[] base, T... elements)
static <T> T[]	appendElement(T[] base, T newElement)
static <T> T[]	appendUniqueElement(T[] base, T newElement)
static java.lang.String[]	arrayWithoutFirst(java.lang.String[] base, int nElements)
static <T> T[]	arrayWithoutFirst(T[] base, int nElements)
static <B,E extends B> java.lang.Iterable<B>	asBaseIterable(java.util.Collection<E> col)
static int	clearBit(int val, int idx)
static int	compare(java.lang.Integer i1, java.lang.Integer i2)
static boolean	compare(int len, java.lang.Object[] a1, java.lang.Object[] a2) equals first len objects of two reference arrays, which can contain null elements.
static <T> boolean	contains(T[] array, java.lang.Object elem)
static <T> T	createObject(java.lang.Class<T> cls, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
static <E,T> java.util.HashMap<E,java.lang.Integer>	createOccurrenceMap(java.util.Collection<T> collection, ElementCreator<T,E> creator)
static <K,V> java.util.ArrayList<java.util.Map.Entry<K,V>>	createSortedEntryList(java.util.HashMap<K,V> map, java.util.Comparator<java.util.Map.Entry<K,V>> comparer)
static <K,V,E> java.util.ArrayList<E>	createSortedList(java.util.HashMap<K,V> map, TwoTypeComparator<java.util.Map.Entry<K,V>,E> comparer, ElementCreator<java.util.Map.Entry<K,V>,E> creator)
static <E> java.lang.Iterable<E>	emptyIterable()
static <E> java.util.Iterator<E>	emptyIterator()
static boolean	equals(java.lang.Object[] a1, java.lang.Object[] a2)
static boolean	equals(java.lang.Object a, java.lang.Object b)
static java.lang.String	fromFirst(java.lang.String s, char c)
static <T> T[]	getAddedElements(T[] oldArray, T[] newArray)
static <B,E extends B> java.util.Iterator<B>	getBaseIterator(java.util.Collection<E> col)
static <T,E> E	getNextElementOfType(T[] base, java.lang.Class<E> elemType, T prev)
static <T> T[]	getRemovedElements(T[] oldArray, T[] newArray)
static <K,V> java.util.ArrayList<java.lang.String>	getSortedKeyStrings(java.util.HashMap<K,V> map)
static <T> boolean	hasElementOfType(T[] base, java.lang.Class<?> elemType)
static int	hashCode(java.lang.Object o)
static <T> int	indexOf(T[] array, java.lang.Object elem)
static <E> java.lang.Iterable<E>	iterableFromIterator(java.util.Iterator<E> iter)
static <T> T[]	newArray(T... elements)
static java.lang.String[]	prependArray(java.lang.String[] base, java.lang.String... elements)
static <T> T[]	prependArray(T[] base, T... elements)
static <T> T[]	removeElement(T[] base, T element)
static int	setBit(int val, int idx)
static <T> T[]	stripNullElements(T[] oldArray)
static java.lang.String	stripToLastDot(java.lang.String s)
static java.lang.String	toString(int[] array, int start, int end, java.lang.String prefix, java.lang.String separator, java.lang.String postfix)
static java.lang.String	toString(java.lang.Iterable<?> collection)
static java.lang.String	toString(java.lang.Iterable<?> collection, java.lang.String prefix, java.lang.String separator, java.lang.String postfix)
static java.lang.String	toString(java.lang.Object[] collection)
static java.lang.String	toString(java.lang.Object[] array, java.lang.String prefix, java.lang.String separator, java.lang.String postfix)
static java.lang.String	toString(java.lang.String[] collection)
static java.lang.String	upToFirst(java.lang.String s, char c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

emptyObjectArray

public static final java.lang.Object[] emptyObjectArray

emptyIterator

public static final java.util.Iterator<?> emptyIterator

emptyIterable

public static final java.lang.Iterable<?> emptyIterable

Constructor Detail

Misc

public Misc()

Method Detail

hashCode

public static int hashCode(java.lang.Object o)

equals

public static boolean equals(java.lang.Object a,
                             java.lang.Object b)

emptyIterator

public static <E> java.util.Iterator<E> emptyIterator()

emptyIterable

public static <E> java.lang.Iterable<E> emptyIterable()

iterableFromIterator

public static <E> java.lang.Iterable<E> iterableFromIterator(java.util.Iterator<E> iter)

asBaseIterable

public static <B,E extends B> java.lang.Iterable<B> asBaseIterable(java.util.Collection<E> col)

getBaseIterator

public static <B,E extends B> java.util.Iterator<B> getBaseIterator(java.util.Collection<E> col)

addAll

public static <E> void addAll(java.util.Collection<E> target,
                              java.lang.Iterable<? extends E> src)

indexOf

public static <T> int indexOf(T[] array,
                              java.lang.Object elem)

contains

public static <T> boolean contains(T[] array,
                                   java.lang.Object elem)

stripNullElements

public static <T> T[] stripNullElements(T[] oldArray)

getAddedElements

public static <T> T[] getAddedElements(T[] oldArray,
                                       T[] newArray)

getRemovedElements

public static <T> T[] getRemovedElements(T[] oldArray,
                                         T[] newArray)

getSortedKeyStrings

public static <K,V> java.util.ArrayList<java.lang.String> getSortedKeyStrings(java.util.HashMap<K,V> map)

createSortedEntryList

public static <K,V> java.util.ArrayList<java.util.Map.Entry<K,V>> createSortedEntryList(java.util.HashMap<K,V> map,
                                                                                        java.util.Comparator<java.util.Map.Entry<K,V>> comparer)

createSortedList

public static <K,V,E> java.util.ArrayList<E> createSortedList(java.util.HashMap<K,V> map,
                                                              TwoTypeComparator<java.util.Map.Entry<K,V>,E> comparer,
                                                              ElementCreator<java.util.Map.Entry<K,V>,E> creator)

compare

public static int compare(java.lang.Integer i1,
                          java.lang.Integer i2)

createOccurrenceMap

public static <E,T> java.util.HashMap<E,java.lang.Integer> createOccurrenceMap(java.util.Collection<T> collection,
                                                                               ElementCreator<T,E> creator)

createObject

public static <T> T createObject(java.lang.Class<T> cls,
                                 java.lang.Class<?>[] argTypes,
                                 java.lang.Object[] args)

toString

public static java.lang.String toString(java.lang.Object[] collection)

toString

public static java.lang.String toString(java.lang.String[] collection)

toString

public static java.lang.String toString(java.lang.Iterable<?> collection)

toString

public static java.lang.String toString(java.lang.Iterable<?> collection,
                                        java.lang.String prefix,
                                        java.lang.String separator,
                                        java.lang.String postfix)

toString

public static java.lang.String toString(java.lang.Object[] array,
                                        java.lang.String prefix,
                                        java.lang.String separator,
                                        java.lang.String postfix)

toString

public static java.lang.String toString(int[] array,
                                        int start,
                                        int end,
                                        java.lang.String prefix,
                                        java.lang.String separator,
                                        java.lang.String postfix)

newArray

public static <T> T[] newArray(T... elements)

appendArray

public static <T> T[] appendArray(T[] base,
                                  T... elements)

prependArray

public static <T> T[] prependArray(T[] base,
                                   T... elements)

prependArray

public static java.lang.String[] prependArray(java.lang.String[] base,
                                              java.lang.String... elements)

arrayWithoutFirst

public static <T> T[] arrayWithoutFirst(T[] base,
                                        int nElements)

appendElement

public static <T> T[] appendElement(T[] base,
                                    T newElement)

appendUniqueElement

public static <T> T[] appendUniqueElement(T[] base,
                                          T newElement)

removeElement

public static <T> T[] removeElement(T[] base,
                                    T element)

hasElementOfType

public static <T> boolean hasElementOfType(T[] base,
                                           java.lang.Class<?> elemType)

getNextElementOfType

public static <T,E> E getNextElementOfType(T[] base,
                                           java.lang.Class<E> elemType,
                                           T prev)

arrayWithoutFirst

public static java.lang.String[] arrayWithoutFirst(java.lang.String[] base,
                                                   int nElements)

equals

public static boolean equals(java.lang.Object[] a1,
                             java.lang.Object[] a2)

compare

public static boolean compare(int len,
                              java.lang.Object[] a1,
                              java.lang.Object[] a2)

equals first len objects of two reference arrays, which can contain null elements. If any of the reference arrays is null, this is treated as if all elements would be null

stripToLastDot

public static java.lang.String stripToLastDot(java.lang.String s)

setBit

public static int setBit(int val,
                         int idx)

clearBit

public static int clearBit(int val,
                           int idx)

upToFirst

public static java.lang.String upToFirst(java.lang.String s,
                                         char c)

fromFirst

public static java.lang.String fromFirst(java.lang.String s,
                                         char c)