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

Class UserNoteInteraction

java.lang.Object

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

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

All Implemented Interfaces:

java.io.Serializable

public class UserNoteInteraction
extends Interaction

Version:

1 (07.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	note
private static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
UserNoteInteraction()
UserNoteInteraction(java.lang.String note)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)
java.lang.String	getNote()
void	setNote(java.lang.String note)
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

note

private java.lang.String note

Constructor Detail

UserNoteInteraction

public UserNoteInteraction()

UserNoteInteraction

public UserNoteInteraction(java.lang.String note)

Method Detail

accept

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

Specified by:

accept in class Interaction

getNote

public java.lang.String getNote()

setNote

public void setNote(java.lang.String note)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object