de.uka.ilkd.key.informationflow.macros

Interface StartSideProofMacro

All Superinterfaces:

ProofMacro

All Known Implementing Classes:

StartAuxiliaryBlockComputationMacro, StartAuxiliaryLoopComputationMacro, StartAuxiliaryMethodComputationMacro

public interface StartSideProofMacro
extends ProofMacro

Nested Class Summary

Nested classes/interfaces inherited from interface de.uka.ilkd.key.macros.ProofMacro

ProofMacro.ProgressBarListener

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROOF_MACRO_FINISHED_INFO_KEY_ORIGINAL_PROOF Key used in ProofMacroFinishedInfo to store the original Proof.

Method Summary

Methods inherited from interface de.uka.ilkd.key.macros.ProofMacro

applyTo, applyTo, canApplyTo, canApplyTo, getCategory, getDescription, getName, getScriptCommandName, hasParameter, resetParams, setParameter

Field Detail

PROOF_MACRO_FINISHED_INFO_KEY_ORIGINAL_PROOF

static final java.lang.String PROOF_MACRO_FINISHED_INFO_KEY_ORIGINAL_PROOF

Key used in ProofMacroFinishedInfo to store the original Proof.

See Also:

Constant Field Values