Package | Description |
---|---|
de.uka.ilkd.key.informationflow.proof | |
de.uka.ilkd.key.informationflow.rule.executor | |
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.util.properties |
Modifier and Type | Field and Description |
---|---|
static Properties.Property<java.lang.Boolean> |
InfFlowCheckInfo.INF_FLOW_CHECK_PROPERTY |
Modifier and Type | Field and Description |
---|---|
static Properties.Property<ImmutableList<Term>> |
InfFlowContractAppTacletExecutor.INF_FLOW_CONTRACT_APPL_PROPERTY
Strategy property which saves the list of formulas which where added
by information flow contract applications.
|
Modifier and Type | Method and Description |
---|---|
<T> void |
Goal.addStrategyInfo(Properties.Property<T> property,
T info,
StrategyInfoUndoMethod undoMethod) |
<T> T |
Goal.getStrategyInfo(Properties.Property<T> property) |
Modifier and Type | Method and Description |
---|---|
void |
Properties.addPropertyListener(Properties.Property<?> property,
Properties.PropertyListener listener) |
void |
AbstractProperties.addPropertyListener(Properties.Property<?> property,
Properties.PropertyListener listener) |
protected <T> void |
AbstractProperties.firePropertyChange(Properties.Property<T> property,
T oldValue,
T newValue) |
<T> T |
MapProperties.get(Properties.Property<T> property) |
<T> T |
ArrayProperties.get(Properties.Property<T> property) |
<T> T |
Properties.get(Properties.Property<T> property) |
<T> void |
Properties.PropertyListener.propertyChanged(Properties.Property<T> property,
T oldValue,
T newValue) |
<T> void |
MapProperties.put(Properties.Property<T> property,
T value) |
<T> void |
ArrayProperties.put(Properties.Property<T> property,
T value) |
<T> void |
Properties.put(Properties.Property<T> property,
T value) |
<T> void |
MapProperties.remove(Properties.Property<T> property) |
<T> void |
ArrayProperties.remove(Properties.Property<T> property) |
<T> void |
Properties.remove(Properties.Property<T> property) |
void |
Properties.removePropertyListener(Properties.Property<?> property,
Properties.PropertyListener listener) |
void |
AbstractProperties.removePropertyListener(Properties.Property<?> property,
Properties.PropertyListener listener) |
Copyright © 2003-2019 The KeY-Project.