in ev3-api/src/ev3api_brick.c [39:53]
bool_t ev3_button_is_pressed(button_t button) {
brickbtn_t brickbtn;
switch(button) {
case LEFT_BUTTON: brickbtn = BRICK_BUTTON_LEFT; break;
case RIGHT_BUTTON: brickbtn = BRICK_BUTTON_RIGHT; break;
case UP_BUTTON: brickbtn = BRICK_BUTTON_UP; break;
case DOWN_BUTTON: brickbtn = BRICK_BUTTON_DOWN; break;
case ENTER_BUTTON: brickbtn = BRICK_BUTTON_ENTER; break;
case BACK_BUTTON: brickbtn = BRICK_BUTTON_BACK; break;
default: return false;
}
return _global_ev3_brick_info.button_pressed[brickbtn];
}