de.uka.ilkd.key.informationflow.macros

Class AuxiliaryComputationAutoPilotMacro

java.lang.Object

de.uka.ilkd.key.macros.AbstractProofMacro

de.uka.ilkd.key.informationflow.macros.ExhaustiveProofMacro

de.uka.ilkd.key.informationflow.macros.AuxiliaryComputationAutoPilotMacro

All Implemented Interfaces:

ProofMacro

public class AuxiliaryComputationAutoPilotMacro
extends ExhaustiveProofMacro

Author:

christoph scheben

Nested Class Summary

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

ProofMacro.ProgressBarListener

Constructor Summary

Constructors

Constructor and Description
AuxiliaryComputationAutoPilotMacro()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getCategory() Gets the category of this macro.
java.lang.String	getDescription() Gets the description of this macro.
java.lang.String	getName() Gets the name of this macro.
(package private) ProofMacro	getProofMacro() Gets the proof macros.

Methods inherited from class de.uka.ilkd.key.informationflow.macros.ExhaustiveProofMacro

applyTo, canApplyTo

Methods inherited from class de.uka.ilkd.key.macros.AbstractProofMacro

applyTo, canApplyTo, getMaxSteps, getScriptCommandName, hasParameter, resetParams, setParameter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AuxiliaryComputationAutoPilotMacro

public AuxiliaryComputationAutoPilotMacro()

Method Detail

getName

public java.lang.String getName()

Description copied from interface: ProofMacro

Gets the name of this macro. Used as menu entry

Specified by:

getName in interface ProofMacro

Overrides:

getName in class ExhaustiveProofMacro

Returns:

a non-null constant string

getCategory

public java.lang.String getCategory()

Description copied from interface: ProofMacro

Gets the category of this macro. Used as name of the menu under which the macro is sorted. Return null if no submenu is to be created.

Returns:

a constant string, or null

getDescription

public java.lang.String getDescription()

Description copied from interface: ProofMacro

Gets the description of this macro. Used as tooltip.

Specified by:

getDescription in interface ProofMacro

Overrides:

getDescription in class ExhaustiveProofMacro

Returns:

a non-null constant string

getProofMacro

ProofMacro getProofMacro()

Description copied from class: ExhaustiveProofMacro

Gets the proof macros.

Specified by:

getProofMacro in class ExhaustiveProofMacro

Returns:

the proofMacro.