KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > CheckingResult


1 /*
2  * Copyright 2005
3  * Formal Methods In Software Engineering Group
4  * Institute of Computer Science
5  * Academy of Sciences of the Czech Republic
6  *
7  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
8  *
9  */
10 package SOFA.SOFAnode.Util.DFSRChecker;
11
12 /**
13  * This class keeps the checking results.
14  */
15 public class CheckingResult {
16
17     /**
18      * Creates a new instance of CheckingResult.
19      * @param type type of the error found
20      * @param description the description of the composaition error found
21      */
22     public CheckingResult(int type, String JavaDoc description) {
23         this.type = type;
24         this.description = description;
25     }
26     
27     /**
28      * @see java.lang.Object#toString()
29      */
30     public String JavaDoc toString() {
31         return description;
32     }
33     
34     /**
35      * The type of the composition error
36      */
37     public int type;
38     
39     /**
40      * The description of the composition error
41      */
42     public String JavaDoc description;
43     
44     public static final int ERR_OK = 0;
45     public static final int ERR_BADACTIVITY = 1;
46     public static final int ERR_NOACTIVITY = 2;
47     public static final int ERR_INFINITEACTIVITY = 3;
48     public static final int ERR_SYNTAXERROR = 4;
49     public static final int ERR_OTHERERROR = 5;
50     
51 }
52
Popular Tags