Homework11.rar

Homework11.rar

import com.oocourse.specs3.AppRunner;
import work.MyPath;
import work.MyRailwaySystem;

public class Main {
    public static void main（String[] args） {
        long start = System.currentTimeMillis（）;
        try {
            AppRunner runner =
                    AppRunner.newInstance（MyPath.class MyRailwaySystem.class）;
            runner.run（args）;
        } catch （Exception e） {
            e.printStackTrace（）;
        }
        System.err.println（System.currentTimeMillis（） - start）;
    }
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件       9869  2019-05-12 12:49  指导书\README.md

     文件     405621  2019-05-15 14:48  指导书\specs-homework-3-1.3-raw-jar-with-dependencies.jar

     文件      23294  2019-05-25 22:52  指导书\面向对象JML系列第三次指导书.md

     文件        521  2019-05-13 23:15  src\Main.java

     文件       5201  2019-05-14 19:11  src\work\MyGraph.java

     文件       2684  2019-05-14 01:53  src\work\MyPath.java

     文件      11775  2019-05-21 20:38  src\work\MyRailwaySystem.java

     文件       2803  2019-05-14 19:21  src\work\UndirectedGraph.java

     目录          0  2019-05-25 22:47  src\work

     目录          0  2019-05-25 22:51  指导书

     目录          0  2019-05-25 22:46  src

----------- ---------  ---------- -----  ----

               461768                    11