Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## net.sf.saxon.tinytree
Class CharSlice

    java.lang.Object
      net.sf.saxon.tinytree.CharSlice

All Implemented Interfaces:
  java.lang.CharSequence, java.io.Serializable

public final class CharSlice
extends java.lang.Object
implements java.lang.CharSequence, java.io.Serializable

This is an implementation of the JDK 1.4 CharSequence interface: it implements a CharSequence as a view of an array. The implementation relies on the array being immutable: as a minimum, the caller is required to ensure that the array contents will not change so long as the CharSlice remains in existence. This class should be more efficient than String because it avoids copying the characters unnecessarily. The methods in the class don't check their arguments. Incorrect arguments will generally result in exceptions from lower-level classes.

See Also:
  Serialized Form

Constructor Summary
`CharSlice(char[] array)`
`CharSlice(char[] array, int start, int length)`

Method Summary
`char` | `charAt(int index)` Returns the character at the specified index.
`void` | `copyTo(char[] destination, int destOffset)` Append the contents to another array at a given offset.
`boolean` | `equals(java.lang.Object other)` Compare equality
`int` | `hashCode()` Generate a hash code
`int` | `indexOf(char c)` Get the index of a specific character in the sequence.
`int` | `length()` Returns the length of this character sequence.
`void` | `setLength(int length)` Set the length of this character sequence, without changing the array and start offset to which it is bound
`java.lang.CharSequence` | `subSequence(int start, int end)` Returns a new character sequence that is a subsequence of this sequence.
`java.lang.String` | `substring(int start, int end)` Returns a new character sequence that is a subsequence of this sequence.
`java.lang.String` | `toString()` Convert to a string
`void` | `write(java.io.Writer writer)` Write the value to a writer

Methods inherited from class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Constructor Detail

### CharSlice

    public CharSlice(char[] array)

### CharSlice

    public CharSlice(char[] array,
                     int start,
                     int length)

Method Detail

### length

    public int length()

  Returns the length of this character sequence. The length is the number of 16-bit Unicode characters in the sequence.

  Specified by:
    `length` in interface `java.lang.CharSequence`
  Returns:
    the number of characters in this sequence

### setLength

    public void setLength(int length)

  Set the length of this character sequence, without changing the array and start offset to which it is bound

### charAt

    public char charAt(int index)

  Returns the character at the specified index. An index ranges from zero to `length() - 1`. The first character of the sequence is at index zero, the next at index one, and so on, as for array indexing.

  Specified by:
    `charAt` in interface `java.lang.CharSequence`
  Parameters:
    `index` - the index of the character to be returned
  Returns:
    the specified character
  Throws:
    `java.lang.IndexOutOfBoundsException` - if the `index` argument is negative or not less than `length()`

### subSequence

    public java.lang.CharSequence subSequence(int start,
                                              int end)

  Returns a new character sequence that is a subsequence of this sequence. The subsequence starts with the character at the specified index and ends with the character at index `end - 1`. The length of the returned sequence is `end - start`, so if `start == end` then an empty sequence is returned.

  Specified by:
    `subSequence` in interface `java.lang.CharSequence`
  Parameters:
    `start` - the start index, inclusive
    `end` - the end index, exclusive
  Returns:
    the specified subsequence
  Throws:
    `java.lang.IndexOutOfBoundsException` - if `start` or `end` are negative, if `end` is greater than `length()`, or if `start` is greater than `end`

### toString

    public java.lang.String toString()

  Convert to a string

  Specified by:
    `toString` in interface `java.lang.CharSequence`

### equals

    public boolean equals(java.lang.Object other)

  Compare equality

### hashCode

    public int hashCode()

  Generate a hash code

### indexOf

    public int indexOf(char c)

  Get the index of a specific character in the sequence. Returns -1 if not found. This method mimics `String.indexOf(int)`

  Parameters:
    `c` - the character to be found
  Returns:
    the position of the first occurrence of that character, or -1 if not found.

### substring

    public java.lang.String substring(int start,
                                      int end)

  Returns a new character sequence that is a subsequence of this sequence. Unlike subSequence, this is guaranteed to return a String.

### copyTo

    public void copyTo(char[] destination,
                       int destOffset)

  Append the contents to another array at a given offset. The caller is responsible for ensuring that sufficient space is available.

  Parameters:
    `destination` - the array to which the characters will be copied
    `destOffset` - the offset in the target array where the copy will start

### write

    public void write(java.io.Writer writer)
               throws java.io.IOException

  Write the value to a writer

  Throws:
    `java.io.IOException`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD