KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > java2html > javasource > JavaSourceType


1 package de.java2html.javasource;
2
3 import java.util.ArrayList JavaDoc;
4 import java.util.List JavaDoc;
5
6 /**
7  * Different types of source code for classifying characters in the raw text.
8  * @author Markus Gebhard
9  */

10 public class JavaSourceType {
11   private static final List JavaDoc ALL = new ArrayList JavaDoc();
12
13   private static int idCounter = 0;
14
15   public final static JavaSourceType BACKGROUND = new JavaSourceType("Background", false);
16
17   //Not really a Javasource type, but useful for conversion output options
18
public final static JavaSourceType LINE_NUMBERS = new JavaSourceType("Line numbers", true);
19
20   public final static JavaSourceType COMMENT_BLOCK = new JavaSourceType("Multi-line comments", true); //green
21

22   public final static JavaSourceType COMMENT_LINE = new JavaSourceType("Single-line comments", true); //green
23

24   public final static JavaSourceType KEYWORD = new JavaSourceType("Keywords", true);
25
26   public final static JavaSourceType STRING = new JavaSourceType("Strings", true); //darker red
27

28   public final static JavaSourceType CHAR_CONSTANT = new JavaSourceType("Character constants", true); //dark red
29

30   public final static JavaSourceType NUM_CONSTANT = new JavaSourceType("Numeric constants", true); //dark red
31

32   public final static JavaSourceType PARENTHESIS = new JavaSourceType("Parenthesis", true);
33
34   public final static JavaSourceType CODE_TYPE = new JavaSourceType("Primitive Types", true);
35
36   public final static JavaSourceType CODE = new JavaSourceType("Others", true);
37
38   public final static JavaSourceType JAVADOC_KEYWORD = new JavaSourceType("Javadoc keywords", true); //dark green
39

40   public final static JavaSourceType JAVADOC_HTML_TAG = new JavaSourceType("Javadoc HTML tags", true);
41
42   public final static JavaSourceType JAVADOC_LINKS = new JavaSourceType("Javadoc links", true);
43
44   public final static JavaSourceType JAVADOC = new JavaSourceType("Javadoc others", true); //green
45

46   public final static JavaSourceType UNDEFINED = new JavaSourceType("Undefined", false);
47
48   public static final JavaSourceType ANNOTATION = new JavaSourceType("Annotation", true);
49
50   public static JavaSourceType[] getAll() {
51     return (JavaSourceType[]) ALL.toArray(new JavaSourceType[ALL.size()]);
52   }
53
54   private String JavaDoc name;
55   private int id;
56   private boolean displayRelevant;
57
58   /**
59    * @param name The name of the type
60    * @param displayRelevant false if this type does not really matter for
61    * display (e.g. because type means empty or illegal code).
62    */

63   private JavaSourceType(String JavaDoc name, boolean displayRelevant) {
64     this.id = idCounter++;
65     this.name = name;
66     this.displayRelevant = displayRelevant;
67     ALL.add(this);
68   }
69
70   public String JavaDoc getName() {
71     return toString();
72   }
73
74   public int getID() {
75     return id;
76   }
77
78   public String JavaDoc toString() {
79     return name;
80   }
81
82   public boolean isDisplayRelevant() {
83     return displayRelevant;
84   }
85 }
Popular Tags