Package | Description |
---|---|
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
Constructor and Description |
---|
SimpleTacletSelectionMenu(ImmutableList<PosTacletApp> apps,
NotationInfo info,
java.awt.event.ActionListener listener,
Services services)
creates an instance of this menu displaying the applications stored in
apps
|
Modifier and Type | Method and Description |
---|---|
static PosTacletApp |
PosTacletApp.createPosTacletApp(FindTaclet taclet,
MatchConditions matchCond,
PosInOccurrence pos,
Services services) |
static PosTacletApp |
PosTacletApp.createPosTacletApp(FindTaclet taclet,
SVInstantiations instantiations,
ImmutableList<IfFormulaInstantiation> ifInstantiations,
PosInOccurrence pos,
Services services) |
static PosTacletApp |
PosTacletApp.createPosTacletApp(FindTaclet taclet,
SVInstantiations instantiations,
PosInOccurrence pos,
Services services)
creates a PosTacletApp for the given taclet with some known instantiations
and a position information
and CHECKS variable conditions as well as it resolves
collisions
The ifInstantiations parameter is not
matched against the if sequence, but only stored.
|
PosTacletApp |
TacletApp.setPosInOccurrence(PosInOccurrence pos,
Services services)
returns a new PosTacletApp that is equal to this TacletApp except that
the position is set to the given PosInOccurrence.
|
Copyright © 2003-2019 The KeY-Project.