Lines Matching refs:list
61 * The following array list is used to map EXDR string references to their
65 * The array list is not synchronized. Multiple threads writing concurrently
68 * List list = Collections.synchronizedList(new ArrayList(...));
69 * An array list is used because string reference idenitifers start from 0,
140 case 'R' : // Retrieve the string from the string list
167 // create an empty list
168 List list = new LinkedList();
170 list.add(readSubTerm());
174 if (c == ']') return list;
175 else if (c == '[') list.add(readSubTerm());
177 throw new IOException("EXDR protocol error: unexpected list separator "+c);
223 // Store the string in the array list for subsequent