public class TacletBuilderManipulators
extends java.lang.Object
VariableCondition
s.Constructor and Description |
---|
TacletBuilderManipulators() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<TacletBuilderCommand> |
getConditionBuilders()
Returns all available
TacletBuilderCommand s. |
static java.util.List<TacletBuilderCommand> |
getConditionBuildersFor(java.lang.String name)
Returns all available
TacletBuilderCommand s that response on the given name. |
static void |
loadWithServiceLoader()
Register all
TacletBuilderCommand that are found via the Java's ServiceLoader facility. |
static void |
register(TacletBuilderCommand... cb)
Announce a
TacletBuilderCommand for the use during the interpretation of asts. |
static void |
register(TacletBuilderCommand cb) |
public static final AbstractConditionBuilder ABSTRACT_OR_INTERFACE
public static final AbstractConditionBuilder SAME
public static final AbstractConditionBuilder IS_SUBTYPE
public static final AbstractConditionBuilder STRICT
public static final AbstractConditionBuilder DISJOINT_MODULO_NULL
public static final AbstractTacletBuilderCommand NEW_LABEL
public static final AbstractTacletBuilderCommand NEW_JAVATYPE
public static final AbstractTacletBuilderCommand NEW_VAR
public static final AbstractTacletBuilderCommand FREE_1
public static final AbstractTacletBuilderCommand FREE_2
public static final AbstractTacletBuilderCommand FREE_3
public static final AbstractTacletBuilderCommand FREE_4
public static final AbstractTacletBuilderCommand FREE_5
public static final AbstractTacletBuilderCommand NEW_TYPE_OF
public static final AbstractTacletBuilderCommand NEW_DEPENDING_ON
public static final AbstractConditionBuilder FREE_LABEL_IN_VARIABLE
public static final AbstractConditionBuilder DIFFERENT
public static final AbstractConditionBuilder FINAL
public static final AbstractConditionBuilder ENUM_CONST
public static final AbstractConditionBuilder LOCAL_VARIABLE
public static final AbstractConditionBuilder ARRAY_LENGTH
public static final AbstractConditionBuilder ARRAY
public static final AbstractConditionBuilder REFERENCE_ARRAY
public static final AbstractConditionBuilder MAY_EXPAND_METHOD_2
public static final AbstractConditionBuilder MAY_EXPAND_METHOD_3
public static final AbstractConditionBuilder STATIC_METHOD
public static final AbstractConditionBuilder THIS_REFERENCE
public static final AbstractConditionBuilder REFERENCE
public static final AbstractConditionBuilder ENUM_TYPE
public static final AbstractConditionBuilder CONTAINS_ASSIGNMENT
public static final AbstractConditionBuilder FIELD_TYPE
public static final AbstractConditionBuilder STATIC_REFERENCE
public static final TacletBuilderCommand DIFFERENT_FIELDS
public static final AbstractConditionBuilder SAME_OBSERVER
public static AbstractConditionBuilder applyUpdateOnRigid
public static final AbstractConditionBuilder DROP_EFFECTLESS_ELEMENTARIES
public static final AbstractConditionBuilder SIMPLIFY_ITE_UPDATE
public static final AbstractConditionBuilder SUBFORMULAS
public static final AbstractConditionBuilder STATIC_FIELD
public static final AbstractConditionBuilder SUBFORMULA
public static final TacletBuilderCommand DROP_EFFECTLESS_STORES
public static final AbstractConditionBuilder EQUAL_UNIQUE
public static final AbstractConditionBuilder META_DISJOINT
public static final AbstractConditionBuilder IS_OBSERVER
public static final AbstractConditionBuilder CONSTANT
public static final AbstractConditionBuilder HAS_SORT
public static final AbstractConditionBuilder HAS_ELEM_SORT
public static final AbstractConditionBuilder LABEL
public static final AbstractConditionBuilder STORE_TERM_IN
public static final AbstractConditionBuilder STORE_STMT_IN
public static final AbstractConditionBuilder HAS_INVARIANT
public static final AbstractConditionBuilder GET_INVARIANT
public static final AbstractConditionBuilder GET_FREE_INVARIANT
public static final AbstractConditionBuilder GET_VARIANT
public static final AbstractConditionBuilder IS_LABELED
public static void register(TacletBuilderCommand... cb)
TacletBuilderCommand
for the use during the interpretation of asts.
This affects every following interpretation of rule contextes
in TacletPBuilder
.public static void register(TacletBuilderCommand cb)
register(TacletBuilderCommand...)
public static void loadWithServiceLoader()
TacletBuilderCommand
that are found via the Java's ServiceLoader
facility.public static java.util.List<TacletBuilderCommand> getConditionBuilders()
TacletBuilderCommand
s.public static java.util.List<TacletBuilderCommand> getConditionBuildersFor(java.lang.String name)
TacletBuilderCommand
s that response on the given name.Copyright © 2003-2019 The KeY-Project.