public enum IntEventType extends Enum<IntEventType> implements IEventType
REMOVE
: value removal event,INCLOW
: lower bound increase event,DECUPP
: upper bound decrease event,BOUND
: lower bound increase and/or upper bound decrease event,INSTANTIATE
: variable instantiation event Enum Constant and Description |
---|
BOUND |
DECUPP |
INCLOW |
INSTANTIATE |
REMOVE |
VOID |
ALL_EVENTS
Modifier and Type | Method and Description |
---|---|
static int |
all() |
static int |
boundAndInst() |
int |
getMask()
Return the value of the mask associated with the event.
|
int |
getStrengthenedMask()
Return the strengthened mask associated to the event.
|
static int |
instantiation() |
static boolean |
isBound(int mask) |
static boolean |
isDecupp(int mask) |
static boolean |
isInclow(int mask) |
static boolean |
isInstantiate(int mask) |
static boolean |
isRemove(int mask) |
static IntEventType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static IntEventType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final IntEventType VOID
public static final IntEventType REMOVE
public static final IntEventType INCLOW
public static final IntEventType DECUPP
public static final IntEventType BOUND
public static final IntEventType INSTANTIATE
public static IntEventType[] values()
for (IntEventType c : IntEventType.values()) System.out.println(c);
public static IntEventType valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic int getMask()
IEventType
getMask
in interface IEventType
public int getStrengthenedMask()
IEventType
getStrengthenedMask
in interface IEventType
public static int all()
public static int boundAndInst()
public static int instantiation()
public static boolean isInstantiate(int mask)
public static boolean isRemove(int mask)
public static boolean isBound(int mask)
public static boolean isInclow(int mask)
public static boolean isDecupp(int mask)
Copyright © 2015. All rights reserved.