逝二世

public static void main(String[] args) {
    users = new User[9];
    for (int i = 0; i < 3; i++) {
      users[i] = new PrimarySchoolTeacher("张三" + (i + 1), "123");
      users[i + 3] = new JuniorSchoolTeacher("李四" + (i + 1), "123");
      users[i + 6] = new SeniorSchoolTeacher("王五" + (i + 1), "123");
    }
    Visit visit = new Visit(new InitialState(), null, null);
    File file = new File("paper");
    if (!file.exists()) {
      file.mkdir();
    }

    while (!visit.stop) {
      visit.run();
    }
  }