de.uka.ilkd.key.macros.scripts

Class MacroCommand.Parameters

java.lang.Object

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

Enclosing class:

MacroCommand

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

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.lang.String,java.lang.String>	instantiations Variable macro parameters
java.lang.String	macroName Macro name parameter
java.lang.String	matches Run on formula matching the given regex
java.lang.Integer	occ Run on formula number "occ" parameter

Constructor Summary

Constructors

Constructor and Description
Parameters()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

macroName

public java.lang.String macroName

Macro name parameter

occ

public java.lang.Integer occ

Run on formula number "occ" parameter

matches

public java.lang.String matches

Run on formula matching the given regex

instantiations

public java.util.Map<java.lang.String,java.lang.String> instantiations

Variable macro parameters

Constructor Detail

Parameters

public Parameters()