package edu.vt.marian.server; import java.io.*; import java.net.*; import java.lang.*; import java.util.*; import edu.vt.marian.common.*; /** class name: class_dir class description: this class represnets a class name and directory name pair, it's used by class class_dir_table, this class can be considered an entry in the table uses the services of class(es): class_dir designer(s): Jianxin Zhao (jxzhao@csgrad.cs.vt.edu) implementator(s): Ning Chai (nchai@csgrad.cs.vt.edu) finished time: Nov 23, 1998 known bugs: JDK version: 1.1.5 side effects: */ public class class_dir { private String class_name; private String dir_name; /** this is just used for debugging */ Debug debug; /** method description: this constructor will create a class dir object with the specified class name and dir name uses the services of class(es): input parameter(s): class_name -- this will be the class name of this object dir_name -- this will be the directory name of this object debug -- used for debugging output parameter(s): none return value: none synchronization:none */ public class_dir(String class_name, String dir_name, Debug debug) { this.debug = debug; this.class_name = class_name; this.dir_name = dir_name; } /** method description: this method will return the class name of this object uses the services of class(es): none input parameter(s): none output parameter(s): none return value: the class name of this object as a string synchronization:none */ public String get_class_name() { return class_name; } /** method description: this method will return the directory name of this object uses the services of class(es): none input parameter(s): none output parameter(s): none return value: the directory name of this object as a string synchronization:none */ public String get_dir_name() { return dir_name; } }