public class PathElement extends Object implements Serializable
| Constructor and Description |
|---|
PathElement(String name,
int[] index) |
| Modifier and Type | Method and Description |
|---|---|
static PathElement |
fromString(String s)
Creates a path element from a string like
|
int[] |
getIndex() |
String |
getName() |
static String |
pathToString(PathElement[] path)
Transforms the path into a string like
a/c[2]/d[0][5]/x |
String |
toString()
Encodes the path element into a string like
|
public PathElement(String name, int[] index)
public String toString()
name[idx_1][idx_2]..[idx_n]
public static PathElement fromString(String s)
name[idx_1][idx_2]..[idx_n]
public String getName()
public int[] getIndex()
public static String pathToString(PathElement[] path)
path - Copyright © 2019 Space Applications Services. All rights reserved.