1 ////////////////////////////////////////////////////////////////////////////////
2 // MillScript: an Open Spice interpreter and batch website creation tool
3 // Copyright (C) 2001-2004 Open World Ltd
4 //
5 // This file is part of MillScript.
6 //
7 // MillScript is free software; you can redistribute it and/or modify it under
8 // the terms of the GNU General Public License as published by the Free
9 // Software Foundation; either version 2 of the License, or (at your option)
10 // any later version.
11 //
12 // MillScript is distributed in the hope that it will be useful, but WITHOUT
13 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 // more details.
16 //
17 // You should have received a copy of the GNU General Public License along with
18 // MillScript; if not, write to the Free Software Foundation, Inc., 59 Temple
19 // Place, Suite 330, Boston, MA 02111-1307 USA
20 ////////////////////////////////////////////////////////////////////////////////
21 package org.millscript.millscript.datatypes;
22
23 import java.util.AbstractList;
24
25 /**
26 * This class implements a List, backed by a String.
27 *
28 * @deprecated As of MillScript 10.2.0, this functionallity has been subsumed
29 * by the MillScript-Util project and it's Map API, see
30 * {@link org.millscript.commons.util.list.IStringList}.
31 */
32 @Deprecated
33 public final class StringList extends AbstractList< Object > {
34
35 /**
36 * The backing string for this list.
37 */
38 private final String string;
39
40 /**
41 * Constructs a new StringList, backed by the specified string.
42 *
43 * @param s the backing string for this list
44 */
45 public StringList( final String s ) {
46 this.string = s;
47 }
48
49 /**
50 * @see java.util.List#get(int)
51 */
52 @Override
53 public Object get( final int i ) {
54 return new Character( string.charAt( i ) );
55 }
56
57 /**
58 * @see java.util.Collection#size()
59 */
60 @Override
61 public int size() {
62 return string.length();
63 }
64
65 }