de.uka.ilkd.key.gui.interactionlog.model

Class SettingChangeInteraction

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.model.Interaction

de.uka.ilkd.key.gui.interactionlog.model.SettingChangeInteraction

All Implemented Interfaces:

java.io.Serializable

public class SettingChangeInteraction
extends Interaction

Version:

1 (06.12.18)

Author:

Alexander Weigl

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

Interaction.InteractionGraphicStyle

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	message
private java.util.Properties	savedSettings
private static long	serialVersionUID
private InteractionListener.SettingType	type

Fields inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
SettingChangeInteraction()
SettingChangeInteraction(java.util.Properties settings, InteractionListener.SettingType t)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)
java.lang.String	getMessage()
java.util.Properties	getSavedSettings()
InteractionListener.SettingType	getType()
void	setMessage(java.lang.String message)
void	setSavedSettings(java.util.Properties savedSettings)
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

message

private java.lang.String message

savedSettings

private java.util.Properties savedSettings

type

private InteractionListener.SettingType type

Constructor Detail

SettingChangeInteraction

public SettingChangeInteraction()

SettingChangeInteraction

public SettingChangeInteraction(java.util.Properties settings,
                                InteractionListener.SettingType t)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getMessage

public java.lang.String getMessage()

setMessage

public void setMessage(java.lang.String message)

getSavedSettings

public java.util.Properties getSavedSettings()

setSavedSettings

public void setSavedSettings(java.util.Properties savedSettings)

accept

public <T> T accept(InteractionVisitor<T> visitor)

Specified by:

accept in class Interaction

getType

public InteractionListener.SettingType getType()