01: // CvsProp.java
02: // $Id: CvsProp.java,v 1.2 2000/08/16 21:37:32 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigedit.cvs;
07:
08: import org.w3c.jigsaw.http.httpd;
09:
10: import org.w3c.tools.resources.Attribute;
11: import org.w3c.tools.resources.AttributeRegistry;
12: import org.w3c.tools.resources.StringAttribute;
13:
14: import org.w3c.jigsaw.config.PropertySet;
15:
16: import org.w3c.cvs.CvsDirectory;
17:
18: import org.w3c.www.protocol.http.HttpManager;
19:
20: class CvsProp extends PropertySet {
21: private static String title = "Cvs properties";
22:
23: static {
24: Class c = null;
25: Attribute a = null;
26:
27: try {
28: c = Class.forName("org.w3c.jigedit.cvs.CvsProp");
29: } catch (Exception ex) {
30: ex.printStackTrace();
31: System.exit(1);
32: }
33: // Register the path of CVS binary
34: a = new StringAttribute(CvsDirectory.CVSPATH_P, null,
35: Attribute.EDITABLE);
36: AttributeRegistry.registerAttribute(c, a);
37: // register the path of the CVS Repository
38: a = new StringAttribute(CvsDirectory.CVSROOT_P, null,
39: Attribute.EDITABLE);
40: AttributeRegistry.registerAttribute(c, a);
41: // register the path of the cvs wrapper (the shell script that
42: // runs Cvs in the right directory
43: a = new StringAttribute(CvsDirectory.CVSWRAP_P, null,
44: Attribute.EDITABLE);
45: AttributeRegistry.registerAttribute(c, a);
46: }
47:
48: /**
49: * Get this property set title.
50: * @return A String encoded title.
51: */
52:
53: public String getTitle() {
54: return title;
55: }
56:
57: CvsProp(String name, httpd server) {
58: super(name, server);
59: }
60:
61: }
|