Strings (TAJS)

java.lang.Object
- dk.brics.tajs.util.Strings

```
public class Strings
extends Object
```
Miscellaneous string operations.

Method Summary

Methods
Modifier and Type	Method and Description
`static String`	`escape(String s)` Escapes special characters in the given string.
`static String`	`escapeSource(String s)` Escapes quotes and special characters in the (Javascript source) string.
`static boolean`	`isArrayIndex(String s)` Checks whether the given string is a valid array index.
`static boolean`	`isIdentifier(String s)` Checks whether the given string is a valid identifier (where reserved words are not valid).
`static boolean`	`isIdentifierAndNotPrefixOfReservedName(String s)` Checks whether the given string is an identifier and not a prefix of a reserved name.
`static boolean`	`isIdentifierParts(String s)` Checks whether the given string consists of valid identifier parts.
`static boolean`	`isNumber(String s)` Checks whether the given string is a valid double, including Infinity, -Infinity, and NaN.
`static String`	`randomString(int len)` Generates a random string of the given length containing digits and letters.
`static void`	`reset()` Resets the random string generator.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - escape
```
public static String escape(String s)
```
    Escapes special characters in the given string. Special characters are all Unicode chars except 0x20-0x7e but including \, ", {, and }.
  - escapeSource
```
public static String escapeSource(String s)
```
    Escapes quotes and special characters in the (Javascript source) string.
  - isArrayIndex
```
public static boolean isArrayIndex(String s)
```
    Checks whether the given string is a valid array index.
  - isIdentifier
```
public static boolean isIdentifier(String s)
```
    Checks whether the given string is a valid identifier (where reserved words are not valid).
  - isIdentifierAndNotPrefixOfReservedName
```
public static boolean isIdentifierAndNotPrefixOfReservedName(String s)
```
    Checks whether the given string is an identifier and not a prefix of a reserved name.
  - isIdentifierParts
```
public static boolean isIdentifierParts(String s)
```
    Checks whether the given string consists of valid identifier parts.
  - isNumber
```
public static boolean isNumber(String s)
```
    Checks whether the given string is a valid double, including Infinity, -Infinity, and NaN. This is an over-approximation of the strings that may appear when number values are coerced to string values.
  - randomString
```
public static String randomString(int len)
```
    Generates a random string of the given length containing digits and letters.
  - reset
```
public static void reset()
```
    Resets the random string generator.

Class Strings

Method Summary

Methods inherited from class java.lang.Object

Method Detail

escape

escapeSource

isArrayIndex

isIdentifier

isIdentifierAndNotPrefixOfReservedName

isIdentifierParts

isNumber

randomString

reset