de.uka.ilkd.key.informationflow.proof

Class InfFlowCheckInfo

java.lang.Object

de.uka.ilkd.key.informationflow.proof.InfFlowCheckInfo

public class InfFlowCheckInfo
extends java.lang.Object

Author:

christoph

Field Summary

Fields

Modifier and Type	Field and Description
static Properties.Property<java.lang.Boolean>	INF_FLOW_CHECK_PROPERTY

Constructor Summary

Constructors

Constructor and Description
InfFlowCheckInfo()

Method Summary

Modifier and Type	Method and Description
static boolean	get(Goal goal)
static boolean	isInfFlow(Goal goal)
static void	set(Goal goal, boolean checkForInfFlow)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INF_FLOW_CHECK_PROPERTY

public static final Properties.Property<java.lang.Boolean> INF_FLOW_CHECK_PROPERTY

Constructor Detail

InfFlowCheckInfo

public InfFlowCheckInfo()

Method Detail

set

public static void set(Goal goal,
                       boolean checkForInfFlow)

get

public static boolean get(Goal goal)

isInfFlow

public static boolean isInfFlow(Goal goal)