public class InfFlowCheckInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static Properties.Property<java.lang.Boolean> |
INF_FLOW_CHECK_PROPERTY |
Constructor and Description |
---|
InfFlowCheckInfo() |
Modifier and Type | Method and Description |
---|---|
static boolean |
get(Goal goal) |
static boolean |
isInfFlow(Goal goal) |
static void |
set(Goal goal,
boolean checkForInfFlow) |
public static final Properties.Property<java.lang.Boolean> INF_FLOW_CHECK_PROPERTY