org.objectweb.dsrg.sofa.util.checker
Class CheckingResult

java.lang.Object
  extended by org.objectweb.dsrg.sofa.util.checker.CheckingResult

public class CheckingResult
extends java.lang.Object

This class contains results of behavior checking.


Field Summary
static int ARCHITECTURE_ERROR
           
static int BADACTIVITY
           
 int code
          Code of the message
static int COMPOSITIONERROR
           
static int ILLEGALACCESSEXCEPTION_ERROR
           
static int INSTANTIATION_ERROR
           
static int INTERNAL_ERROR
           
static int IO_ERROR
           
 java.lang.String message
          Message of the result
static int NOACTIVITY
           
static int NONDETERMINISTIC_CONSENT
           
static int OK
           
static int PARSE_ERROR
           
 
Constructor Summary
CheckingResult(int code, java.lang.String message)
          Creates a new instance of CheckingResult
 
Method Summary
 java.lang.String toString()
          Retursn a string representation of the result.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

code

public int code
Code of the message


message

public java.lang.String message
Message of the result


OK

public static final int OK
See Also:
Constant Field Values

PARSE_ERROR

public static final int PARSE_ERROR
See Also:
Constant Field Values

ARCHITECTURE_ERROR

public static final int ARCHITECTURE_ERROR
See Also:
Constant Field Values

IO_ERROR

public static final int IO_ERROR
See Also:
Constant Field Values

BADACTIVITY

public static final int BADACTIVITY
See Also:
Constant Field Values

NOACTIVITY

public static final int NOACTIVITY
See Also:
Constant Field Values

NONDETERMINISTIC_CONSENT

public static final int NONDETERMINISTIC_CONSENT
See Also:
Constant Field Values

COMPOSITIONERROR

public static final int COMPOSITIONERROR
See Also:
Constant Field Values

INTERNAL_ERROR

public static final int INTERNAL_ERROR
See Also:
Constant Field Values

INSTANTIATION_ERROR

public static final int INSTANTIATION_ERROR
See Also:
Constant Field Values

ILLEGALACCESSEXCEPTION_ERROR

public static final int ILLEGALACCESSEXCEPTION_ERROR
See Also:
Constant Field Values
Constructor Detail

CheckingResult

public CheckingResult(int code,
                      java.lang.String message)
Creates a new instance of CheckingResult

Method Detail

toString

public java.lang.String toString()
Retursn a string representation of the result.

Overrides:
toString in class java.lang.Object
Returns:
string representation of the result