// The icon of this actor has 3 LEDs: red, yellow, and green.
// For each LED, create the corresponding parameter and
// graphical icon. Then initialize the LED to the off setting.
red = new Parameter(this, "red");
_ledRed = new RectangleAttribute(node_icon, "_ledRed");
Location ledRedLoc = new Location(_ledRed, "_location");
double[] ledRedLocVal = { -20.0, 0.0 };
ledRedLoc.setLocation(ledRedLocVal);
_ledRed.width.setToken("20.0");
_ledRed.height.setToken("39.0");
_ledRed.centered.setToken("true");
_redOff();
green = new Parameter(this, "green");
_ledGreen = new RectangleAttribute(node_icon, "_ledGreen");
Location ledGreenLoc = new Location(_ledGreen, "_location");
double[] ledGreenLocVal = { 0.0, 0.0 };
ledGreenLoc.setLocation(ledGreenLocVal);
_ledGreen.width.setToken("20.0");
_ledGreen.height.setToken("39.0");
_ledGreen.centered.setToken("true");
_greenOff();
yellow = new Parameter(this, "yellow");
_ledYellow = new RectangleAttribute(node_icon, "_ledYellow");
Location ledYellowLoc = new Location(_ledYellow, "_location");
double[] ledYellowLocVal = { 20.0, 0.0 };
ledYellowLoc.setLocation(ledYellowLocVal);
_ledYellow.width.setToken("20.0");