64) { return false; } return true; } function is_valid_dynamic($check_dynamic) { if(!is_string($check_dynamic)) { return false; } $allowed_dynamics_regex = "/^(p{1,5}|f{1,5}|m(p|f)|s(p{1,2}|f{1,2})|fp|(s|r)fz)$/"; if(!preg_match($allowed_dynamics_regex, $check_dynamic)) { return false; } return true; } function validate_get_parameter() { if(!(isset($_GET["time"]) && is_valid_time($_GET["time"]))) { $_GET["time"] = "4/4"; } $_GET["time"] = remove_whitespace($_GET["time"]); if(!(isset($_GET["tempo"]) && is_valid_tempo($_GET["tempo"]))) { $_GET["tempo"] = "4=90"; } $_GET["tempo"] = remove_whitespace($_GET["tempo"]); if(!(isset($_GET["bars"]) && is_valid_bars($_GET["bars"]))) { $_GET["bars"] = "2"; } if(!(isset($_GET["shortest_note"]) && is_valid_note($_GET["shortest_note"]))) { $_GET["shortest_note"] = "8"; } if(!(isset($_GET["dynamic_beat"]) && is_valid_dynamic($_GET["dynamic_beat"]))) { $_GET["dynamic_beat"] = "pp"; } if(!(isset($_GET["dynamic_rhythm"]) && is_valid_dynamic($_GET["dynamic_rhythm"]))) { $_GET["dynamic_rhythm"] = "ff"; } if(!(isset($_GET["id"]) && is_string($_GET["id"]) && strlen($_GET["id"]) > 1)) { $_GET["id"] = md5(random_bytes(60)); } } ?>