sofya.base
Class SConstants.BranchType

java.lang.Object
  extended by sofya.base.SConstants.BranchType
Enclosing interface:
SConstants

public static final class SConstants.BranchType
extends java.lang.Object

Type-safe enumeration for branch object types.


Field Summary
static SConstants.BranchType CALL
          Type-safe constant for call
static SConstants.BranchType DONTCARE
           
static SConstants.BranchType ENTRY
          Type-safe constant for entry
static int ICALL
          Integer constant for call
static int IDONTCARE
           
static int IENTRY
          Integer constant for entry
static SConstants.BranchType IF
          Type-safe constant for if
static int IIF
          Integer constant for if
static int IOTHER
          Integer constant for other
static int ISWITCH
          Integer constant for switch
static int ITHROW
          Integer constant for throw
static int MASK_CALL
          Bitmask to enable call branches.
static int MASK_ENTRY
          Bitmask to enable entry branches.
static int MASK_IF
          Bitmask to enable if branches.
static int MASK_OTHER
          Bitmask to enable other branches (such as summary exit branches).
static int MASK_SWITCH
          Bitmask to enable switch branches.
static int MASK_THROW
          Bitmask to enable throw branches.
static int MASK_VALID
          Bitmask for screening for valid branch type bits.
static SConstants.BranchType OTHER
          Type-safe constant for other
static SConstants.BranchType SWITCH
          Type-safe constant for switch
static SConstants.BranchType THROW
          Type-safe constant for throw
 
Method Summary
static SConstants.BranchType fromInt(int i)
          Converts an integer to its equivalent type-safe branch type constant (for deserialization).
 int toInt()
          Converts this type-safe constant to an integer (for serialization).
 int toMask()
          Converts this type-safe constant to a bitmask.
 java.lang.String toString()
          Returns a string representation of the branch type.
static java.lang.String toString(int bitMask)
          Converts a bitmask encoding enabled branch types into a string representation of the enabled types.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MASK_IF

public static final int MASK_IF
Bitmask to enable if branches.

See Also:
Constant Field Values

MASK_SWITCH

public static final int MASK_SWITCH
Bitmask to enable switch branches.

See Also:
Constant Field Values

MASK_THROW

public static final int MASK_THROW
Bitmask to enable throw branches.

See Also:
Constant Field Values

MASK_CALL

public static final int MASK_CALL
Bitmask to enable call branches.

See Also:
Constant Field Values

MASK_ENTRY

public static final int MASK_ENTRY
Bitmask to enable entry branches.

See Also:
Constant Field Values

MASK_OTHER

public static final int MASK_OTHER
Bitmask to enable other branches (such as summary exit branches).

See Also:
Constant Field Values

MASK_VALID

public static final int MASK_VALID
Bitmask for screening for valid branch type bits.

See Also:
Constant Field Values

IIF

public static final int IIF
Integer constant for if

See Also:
Constant Field Values

ISWITCH

public static final int ISWITCH
Integer constant for switch

See Also:
Constant Field Values

ITHROW

public static final int ITHROW
Integer constant for throw

See Also:
Constant Field Values

ICALL

public static final int ICALL
Integer constant for call

See Also:
Constant Field Values

IENTRY

public static final int IENTRY
Integer constant for entry

See Also:
Constant Field Values

IOTHER

public static final int IOTHER
Integer constant for other

See Also:
Constant Field Values

IDONTCARE

public static final int IDONTCARE
See Also:
Constant Field Values

IF

public static final SConstants.BranchType IF
Type-safe constant for if


SWITCH

public static final SConstants.BranchType SWITCH
Type-safe constant for switch


THROW

public static final SConstants.BranchType THROW
Type-safe constant for throw


CALL

public static final SConstants.BranchType CALL
Type-safe constant for call


ENTRY

public static final SConstants.BranchType ENTRY
Type-safe constant for entry


OTHER

public static final SConstants.BranchType OTHER
Type-safe constant for other


DONTCARE

public static final SConstants.BranchType DONTCARE
Method Detail

toMask

public int toMask()
Converts this type-safe constant to a bitmask.


toInt

public int toInt()
Converts this type-safe constant to an integer (for serialization).


fromInt

public static SConstants.BranchType fromInt(int i)
Converts an integer to its equivalent type-safe branch type constant (for deserialization).


toString

public java.lang.String toString()
Returns a string representation of the branch type.

Overrides:
toString in class java.lang.Object

toString

public static java.lang.String toString(int bitMask)
Converts a bitmask encoding enabled branch types into a string representation of the enabled types.