Package | Description |
---|---|
de.uka.ilkd.key.informationflow.rule.executor | |
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
de.uka.ilkd.key.rule.executor.javadl |
Modifier and Type | Class and Description |
---|---|
class |
InfFlowContractAppTacletExecutor |
Modifier and Type | Field and Description |
---|---|
protected TacletExecutor<? extends Taclet> |
Taclet.executor
The taclet executor
|
Modifier and Type | Method and Description |
---|---|
TacletExecutor<? extends Taclet> |
Taclet.getExecutor() |
Modifier and Type | Class and Description |
---|---|
class |
AntecTacletExecutor<TacletKind extends AntecTaclet>
Executes a Taclet which matches on a formula in the antecedent
|
class |
FindTacletExecutor<TacletKind extends FindTaclet> |
class |
NoFindTacletExecutor |
class |
RewriteTacletExecutor<TacletKind extends RewriteTaclet> |
class |
SuccTacletExecutor<TacletKind extends SuccTaclet> |
Copyright © 2003-2019 The KeY-Project.