public void testParseValueSet() {
String[] test = {"{}", "{12}", "{12 , 23}"};
String[][] result = {new String[0], new String[] {"12"}, new String[] {"12", "23"}};
for (int i = 0; i < test.length; i++) {
try {
TLCVariableValue parseValue = TLCVariableValue.innerParse(new InputPair(test[i], 0));
Assert.assertTrue(parseValue instanceof TLCSetVariableValue);
TLCSetVariableValue value = (TLCSetVariableValue) parseValue;
TLCVariableValue[] elements = value.getElements();
for (int j = 0; j < elements.length; j++) {
Assert.assertEquals(result[i][j], elements[j].value);
}
} catch (VariableValueParseException e) {
Assert.fail("Error running the test " + i);
}
}
}
public void testParseValueSet2() {
String test = "{{12}}";
try {
TLCVariableValue parseValue = TLCVariableValue.innerParse(new InputPair(test, 0));
Assert.assertTrue(parseValue instanceof TLCSetVariableValue);
TLCSetVariableValue value = (TLCSetVariableValue) parseValue;
TLCVariableValue[] elements = value.getElements();
for (int j = 0; j < elements.length; j++) {
Assert.assertTrue(elements[j] instanceof TLCSetVariableValue);
TLCSetVariableValue child = (TLCSetVariableValue) elements[j];
TLCVariableValue[] elements2 = child.getElements();
for (int k = 0; k < elements2.length; k++) {
Assert.assertEquals("12", elements2[k].value);
}
}
} catch (VariableValueParseException e) {
Assert.fail();
}
}
