Package | Description |
---|---|
de.uka.ilkd.key.nparser.varexp |
Modifier and Type | Interface and Description |
---|---|
interface |
ConditionBuilder
A specilized
TacletBuilderCommand for handling \varcond s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractConditionBuilder |
class |
AbstractTacletBuilderCommand
Simple default implementation for
TacletBuilderCommand . |
class |
ConstructorBasedBuilder |
Modifier and Type | Field and Description |
---|---|
static TacletBuilderCommand |
TacletBuilderManipulators.DIFFERENT_FIELDS |
static TacletBuilderCommand |
TacletBuilderManipulators.DROP_EFFECTLESS_STORES |
Modifier and Type | Method and Description |
---|---|
static java.util.List<TacletBuilderCommand> |
TacletBuilderManipulators.getConditionBuilders()
Returns all available
TacletBuilderCommand s. |
static java.util.List<TacletBuilderCommand> |
TacletBuilderManipulators.getConditionBuildersFor(java.lang.String name)
Returns all available
TacletBuilderCommand s that response on the given name. |
Modifier and Type | Method and Description |
---|---|
static void |
TacletBuilderManipulators.register(TacletBuilderCommand... cb)
Announce a
TacletBuilderCommand for the use during the interpretation of asts. |
static void |
TacletBuilderManipulators.register(TacletBuilderCommand cb) |
Copyright © 2003-2019 The KeY-Project.