public class UserNoteInteraction extends Interaction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
UserNoteInteraction() |
UserNoteInteraction(java.lang.String note) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getMarkdown() |
java.lang.String |
getNote() |
void |
setNote(java.lang.String note) |
java.lang.String |
toString() |
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getProofScriptRepresentation
reapply
Copyright © 2003-2019 The KeY-Project.