Code

#include "mbed.h"

DigitalOut myled1(p5,p6); // This does not work 
DigitalOut myled2(p7,p8); 
DigitalOut myled3(p9,p10); 
DigitalOut myled4(p11,p12); 
DigitalOut myled5(p13,p14); 
DigitalOut myled6(p15,p16);

/* This should be something like this:
DigitalOut myled1(p5);
DigitalOut myled2(p6);
...
DigitalOut myled12(p16);
*/


DigitalIn pb1(p26); 
DigitalIn pb2(p25); 
DigitalIn pb3(p24); 
DigitalIn pb4(p23); 
DigitalIn pb5(p22); 
DigitalIn pb6(p21);

int main() { 
pb1.mode(pushdown); // pushdown should probably be PullDown
while(1) { myled1 = pb1; } 

// The program will never reach the following code because of the 'while(1) { myled1 = pb1; }' loop
pb2.mode(pushdown); 
while(1){ myled2 = pb2; } 

pb3.mode(pushdown); 
while(1){ myled3 = pb3; } 

pb4.mode(pushdown); 
while(1){ myled4 = pb4; } 

pb5.mode(pushdown); 
while(1){ myled5 = pb5; } 

pb6.mode(pushdown) 
while(1){ myled6 = pb6; } 

/* A solution to the while loop problem could be this:
while(1){
// group 1
myled1 = pb1;
myled2 = pb1;
// group 2
myled3 = pb2;
myled4 = pb3;
...
// group 6
myled11 = pb6;
myled12 = pb6;
}
*/
}