(a) Except as provided in subdivision (b), salaries of elected state officers may not be reduced during their term of office. Laws that set these salaries are appropriations.(b) Beginning on January 1, 1981, the base salary of a judge of a court of record shall equal the annual salary payable as of July 1, 1980, for that office had the judge been elected in 1978. The Legislature may prescribe increases in those salaries during a term of office, and it may terminate prospective increases in those salaries at any time during a term of office, but it shall not reduce the salary of a judge during a term of office below the highest level paid during that term of office. Laws setting the salaries of judges shall not constitute an obligation of contract pursuant to Section 9 of Article I or any other provision of law.