de.uka.ilkd.key.macros.scripts

Class TryCloseCommand.TryCloseArguments

java.lang.Object

de.uka.ilkd.key.macros.scripts.TryCloseCommand.TryCloseArguments

Enclosing class:

TryCloseCommand

public static class TryCloseCommand.TryCloseArguments
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.Boolean	assertClosed
java.lang.String	branch
java.lang.Integer	steps

Constructor Summary

Constructors

Constructor and Description
TryCloseArguments()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

steps

public java.lang.Integer steps

branch

public java.lang.String branch

assertClosed

public java.lang.Boolean assertClosed

Constructor Detail

TryCloseArguments

public TryCloseArguments()