de.uka.ilkd.key.macros.scripts

Class SetCommand.Parameters

java.lang.Object

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

Enclosing class:

SetCommand

static class SetCommand.Parameters
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	key
java.lang.String	value

Constructor Summary

Constructors

Constructor and Description
Parameters()

Method Summary

Modifier and Type	Method and Description
java.util.Properties	getProperties()

Methods inherited from class java.lang.Object

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

Field Detail

key

public java.lang.String key

value

public java.lang.String value

Constructor Detail

Parameters

Parameters()

Method Detail

getProperties

public java.util.Properties getProperties()