Ptidej-v5.2-master/MoDeC Bytecode Instrumentation Tests/Instrumented Classes/Visitor_OrderManager/VisitorInterface.java
//package src.VISITOR;
public interface VisitorInterface {
  public void visit(NonCaliforniaOrder nco);
  public void visit(CaliforniaOrder co);
  public void visit(OverseasOrder oo);
}
