Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Source code: DirectoryIndexer/Resource.java


1   package DirectoryIndexer;
2   
3   import java.io.*;
4   import java.util.*;
5   
6   public class Resource
7   implements Serializable
8   {
9     private String virtual_directory;
10    private String local_directory;
11    private String host;
12    private int port;
13  
14    // Construct a Resource object.
15    public Resource(String virtual_directory, String local_directory, String host, int port)
16    {
17      this.virtual_directory  = virtual_directory;
18      this.local_directory  = local_directory;
19      this.host        = host;
20      this.port        = port;
21    }
22  
23    // Test to see if two Resource objects are equal.
24    public boolean equals(Resource r)
25    {
26      return (virtual_directory.equals(r.virtual_directory) &&
27          local_directory.equals(r.local_directory) &&
28          host.equals(r.host) &&
29          port == r.port);
30    }
31  
32    public String  getVirtualDirectory()  { return virtual_directory; }
33    public String  getLocalDirectory()    { return local_directory; }
34    public String  getHost()        { return host; }
35    public int    getPort()        { return port; }
36  
37    public String toString()
38    {
39      return  "Virtual Directory: " + virtual_directory +
40          "\nLocal Directory: " + local_directory +
41          "\nHost: " + host +
42          "\nPort: " + port;
43    }
44  }