软件构造-Lab3APP的设计

一致性的设计

这一部分的任务是为了验证前面设计的ADT能够完成我们的需要。因此我们需要使用客户端来进行验证。通过完成实验指导书中要求完成的功能验证设计是可行的。
为了实现app的设计，我们建立了一些辅助功能。由于这些辅助功能在很大程度上都是一致的，只是在资源的描述中可能存在差异，因此我们在此处进行统一的描述，并且以课程计划项作为实例进行描述。这3个app都需要完成的功能包括以下部分：
用户提供必要信息，管理（增加、删除）可用的资源；
用户提供必要信息，管理（增加、删除）可用的位置；
用户提供必要信息，增加可用的时间对；
用户提供必要信息，增加一条新的计划项；
用户提供必要信息，取消某个计划项；
用户提供必要信息，为某个计划项分配资源；
用户提供必要信息，启动某个计划项；
用户提供必要信息，结束某个计划项；
用户选定一个计划项，查看它的当前状态；
检测当前的计划项集合中可能存在的位置和资源独占冲突；
针对用户选定的某个资源，列出使用该资源的所有计划项（包含尚未开始执行的、执行中的、已经结束的）。用户选中其中某个计划项之后，可以找出它的前序计划项；
选定特定位置，可视化展示当前时刻该位置的信息板
首先针对第1个和第2个、第3个统一功能，也就是管理位置和管理资源、增加时间对功能。时间对和位置的数量应该是相等的。增加时间对是额外增加的功能，能够保存时间。这一部分的功能设计比较简单，并且实现也很简单。首先我们先看一下课程app的属性和表示不变性如下：

	private List<CourseR> resource = new ArrayList<>();
	private List<Location> loc = new ArrayList<>();
	private List<CourseEntry<R>> entry = new ArrayList<>();
	private List<Timeslot> time = new ArrayList<>();
	
	// Abstraction function:
	//   以保存的资源、位置、时间对、计划项列表
	//   来维护一个课程管理的app
	// Representation invariant:
	//   resource、loc、entry、time等列表不为null
	// Safety from rep exposure:
	//   所有属性都定义成private保护属性不会直接泄露
	//   对于返回可变类型的对象，使用防御式拷贝的方式进行保护，避免表示泄露

然后看一下管理位置功能的实现，管理资源的实现与之类似。为了管理位置，因此需要将信息输入，保存到位置列表中。在这一步需要特别注意不同的app输入资源信息是不一致的，有的资源可能需要输入整数，有的资源需要输入的又是字符串。这里需要根据实际进行区分输入。
管理位置功能有两个函数，它们的实现如下：

	/**
	 * 为app增加一个位置
	 * @param longitude 位置的经度
	 * @param latitude 位置的纬度
	 * @param name 位置的名称
	 * @param share 位置是否可共享，1表示可共享，0表示不可共享
	 * @return 当前app中位置的数量
	 */
	public int addLocation(float longitude,float latitude,String name,int share) {
		Location a = new Location(longitude,latitude,name,share);
		loc.add(a);
		checkRep();
		return loc.size();
	}
	
	/**
	 * 为app删除一个位置
	 * @param name 位置的名称
	 * @return 当前app中位置的数量
	 */
	public int delLocation(String name) {
		if(loc.size() == 0) {
			System.out.println("位置为空，无法删除");
			return 0;
		}
		boolean f = false;
		for(Location a : loc) {
			if(a.getLoc().equals(name)) {
				f = true;
				loc.remove(a);
			}
		}
		if(f) {
			System.out.println("删除成功，资源列表如下：");
		}
		else {
			System.out.println("删除不成功，资源列表如下：");
		}
		checkRep();
		return loc.size();
	}

然后是增加一条新的计划项的功能，这个功能的完成需要输入提示信息。这个功能的实现不是很复杂，就是需要先进行资源位置时间的输入，详细实现如下：

	/**
	 * 为app增加一个计划项
	 * @param name 计划项名称
	 * @param time 课程的时间对
	 * @param loc 课程的位置
	 * @return 返回新建的课程
	 */
	public CourseEntry<R> addEntry(String name,Timeslot time, Location loc){
		SingleLocationEntryImpl sle = new SingleLocationEntryImpl();
		SingleResourceEntryImpl<CourseR> sre = new SingleResourceEntryImpl<CourseR>();
		SingleTimeslotEntryImpl ste = new SingleTimeslotEntryImpl();
		CourseEntry<R> a = new CourseEntry<R>(name,sle,sre,ste);
		a.setLocation(loc);
		a.setTime(time);
		entry.add(a);
		checkRep();
		return a;
	}

接下来就是分配资源的功能，分配资源的功能也并不复杂，都是将具体的实现交给委托进行完成了，实现如下：

	/**
	 * 为计划项分配某个资源
	 * @param name 计划项名字
	 * @param a 课程资源
	 * @return 分配成功返回true，否则返回false
	 */
	public boolean setResource(String name,CourseR a) {
		boolean f = false;
//		for(CourseEntry<R> en : entry) {
//			if(en.getName().equals(name)) {
//				f = en.addResource(a);
//			}
//		}
		for(int i = 0;i < entry.size();i++) {
			if(entry.get(i).getName().equals(name)) {
				f = entry.get(i).addResource(a);
			}
		}
		checkRep();
		return f;
	}

后面实现的是统一的改变状态功能以及查看状态功能。改变状态功能的实现同样是交给state属性进行完成，这里以running功能为例，展示以下实际的实现：

	/**
	 * 设置计划项状态为运行
	 * @param name 计划项名字
	 * @param run 输入的状态
	 * @return 设置成功返回true，否则返回false
	 */
	public boolean setRun(String name,String run) {
		if(!run.equals("Running")) {
			System.out.println("输入状态出错");
			return false;
		}
		boolean f = false;
//		for(CourseEntry<R> en : entry) {
//			if(en.getName().equals(name)) {
//				f = en.getState().Running();
//			}
//		}
		for(int i = 0;i < entry.size();i++) {
			if(entry.get(i).getName().equals(name)) {
				f = entry.get(i).getState().Running();
			}
		}
		checkRep();
		return f;
	}

之后是进行检查位置冲突和资源冲突，以及寻找使用同一资源的计划项的功能。这里以检查位置冲突为例，实际实现如下：

	/**
	 * 检查位置冲突
	 * @return 位置有冲突返回true，否则返回false
	 */
	public boolean checkLocation() {
		Check<R> a = new CheckImplone<R>();
		return a.checkLocationConflict(entry);
	}

最后实现展示功能，具体的调用逻辑如下：

	/**
	 * 将计划项显示在计划板中
	 * @param name 输入的位置
	 * @return 返回true
	 */
	public boolean showBoard(String name) {
		CourseBoard a = new CourseBoard(name,entry);
		a.visualize(a.getName(), a.getEntry());
		checkRep();
		return true;
	}

航班应用设计

航班应用中的功能在前面统一功能实现中已经描述过了，没有新增的不同的功能。输入格式需要注意先进行资源、位置、时间对的建立，时间输入格式为2020-05-15 12:31|2020-05-15 12:35。后续可进行资源分配。

高铁应用设计

高铁应用相较于前面提到的普通功能，还增加了可以阻塞的功能、重新启动的功能。输入格式需要注意先进行资源、位置、时间对的建立，时间输入格式为2020-05-15 12:31|2020-05-15 12:35。后续可进行资源分配。同时火车设计时时间对和位置项数量是一致的。这两个功能的实现是有不同的，具体实现如下：

	/**
	 * 将计划项的状态设置为阻塞
	 * @param name 计划项名称
	 * @param block 修改的状态
	 * @return 成功设置返回true，否则返回false
	 */
	public boolean setBlocked(String name,String block) {
		if(!block.equals("Blocked")) {
			System.out.println("输入状态出错");
			return false;
		}
		boolean f = false;
//		for(TrainEntry<R> en : entry) {
//			if(en.getName().equals(name)) {
//				f = en.getState().Blocked();
//			}
//		}
		for(int i = 0;i < entry.size();i++) {
			if(entry.get(i).getName().equals(name)) {
				f = entry.get(i).getState().Blocked();
			}
		}
		checkRep();
		return f;
	}

而重新启动功能就可以直接调用启动功能进行实现。

课表应用设计

课表应用还需要增加的额外功能是改变位置。输入格式需要注意先进行资源、位置、时间对的建立，时间输入格式为2020-05-15 12:31|2020-05-15 12:35。后续可进行资源分配。这个功能的实现如下：

	/**
	 * 改变计划项的位置
	 * @param name 计划项名字
	 * @param longitude 位置经度
	 * @param latitude 位置纬度
	 * @param locname 位置名字
	 * @param share 位置是否可共享，1可共享，0不可共享
	 * @return 改变成功返回true，否则返回false
	 */
	public boolean changeLocation(String name,float longitude,float latitude,String locname,int share) {
		boolean f = false;
		Location a = new Location(longitude,latitude,locname,share);
//		for(CourseEntry<R> en : entry) {
//			if(en.getName().equals(name)) {
//				f = en.getSingleLE().setLocation(a);
//			}
//		}
		for(int i = 0;i < entry.size();i++) {
			if(entry.get(i).getName().equals(name)) {
				f = entry.get(i).getSingleLE().setLocation(a);
			}
		}
		checkRep();
		return f;
	}