public enum PropagatorEventType extends Enum<PropagatorEventType> implements IEventType
FULL_PROPAGATION
: Propagation from scratch (as in initial propagation),CUSTOM_PROPAGATION
: custom propagation triggered by the developer (partially incremental propagation)Enum Constant and Description |
---|
CUSTOM_PROPAGATION |
FULL_PROPAGATION |
VOID |
ALL_EVENTS
Modifier and Type | Method and Description |
---|---|
int |
getMask()
Return the value of the mask associated with the event.
|
int |
getStrengthenedMask()
Return the strengthened mask associated to the event.
|
static boolean |
isCustomPropagation(int mask) |
static boolean |
isFullPropagation(int mask) |
static PropagatorEventType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PropagatorEventType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PropagatorEventType VOID
public static final PropagatorEventType CUSTOM_PROPAGATION
public static final PropagatorEventType FULL_PROPAGATION
public static PropagatorEventType[] values()
for (PropagatorEventType c : PropagatorEventType.values()) System.out.println(c);
public static PropagatorEventType 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 boolean isFullPropagation(int mask)
public static boolean isCustomPropagation(int mask)
Copyright © 2015. All rights reserved.