1112131415161718
Car car = new Car(); car.accept(new CarElementPrintVisitor()); car.accept(new CarElementCheckInvariantVisitor()); //Break car.accept(new CarElementBreakInvariantVisistor()); car.accept(new CarElementCheckInvariantVisitor()); }