de.uka.ilkd.key.macros.scripts

Class SelectCommand.Parameters

java.lang.Object

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

Enclosing class:

SelectCommand

public class SelectCommand.Parameters
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	branch The name of the branch to select
Term	formula A formula defining the goal to select
java.lang.Integer	number The number of the goal to select, starts with 0

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

formula

public Term formula

A formula defining the goal to select

number

public java.lang.Integer number

The number of the goal to select, starts with 0

branch

public java.lang.String branch

The name of the branch to select

Constructor Detail

Parameters

public Parameters()