Pin numbering for the LaunchPad variant in Energia follows the pin numbering of the header on the LaunchPad (see pin mapping diagram below for details). Example: LED1 can be turned on with:
pinMode(43, OUTPUT); digitalWrite(43, HIGH);
Pins can also be address by there alternative names P1_0 ... P1_7 and P2_0 ... P2_5. See Energia/hardware/msp430/variants/launchpad/pins_energia.h for details. The LaunchPad pins_energia.h is here on github.
pinMode(P1_0, OUTPUT); digitalWrite(P1_0, HIGH);
LED1, LED2, S1, S2 and internal temp sensor can also be addressed by the alternative names:
RED_LED GREEN_LED; PUSH1; PUSH2; TEMPSENSOR;
To turn on the red LED.
pinMode(RED_LED, OUTPUT); digitalWrite(RED_LED, HIGH);
The following diagrams show the complete pin map for the F5529 LaunchPad in Energia.