de.uka.ilkd.key.macros.scripts

Class AutoCommand.Parameters

java.lang.Object

de.uka.ilkd.key.macros.scripts.AutoCommand.Parameters

Enclosing class:

AutoCommand

public static class AutoCommand.Parameters
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	breakpoint Run on formula matching the given regex
java.lang.String	matches Run on formula matching the given regex
int	maxSteps
boolean	onAllOpenGoals

Constructor Summary

Constructors

Constructor and Description
Parameters()

Method Summary

Modifier and Type	Method and Description
int	getSteps()
boolean	isOnAllOpenGoals()
void	setOnAllOpenGoals(boolean onAllOpenGoals)

Methods inherited from class java.lang.Object

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

Field Detail

onAllOpenGoals

public boolean onAllOpenGoals

maxSteps

public int maxSteps

matches

public java.lang.String matches

Run on formula matching the given regex

breakpoint

public java.lang.String breakpoint

Run on formula matching the given regex

Constructor Detail

Parameters

public Parameters()

Method Detail

isOnAllOpenGoals

public boolean isOnAllOpenGoals()

setOnAllOpenGoals

public void setOnAllOpenGoals(boolean onAllOpenGoals)

getSteps

public int getSteps()