de.uka.ilkd.key.gui

Class RecentFileMenu.RecentFileEntry

java.lang.Object

de.uka.ilkd.key.gui.RecentFileMenu.RecentFileEntry

Enclosing class:

RecentFileMenu

public static class RecentFileMenu.RecentFileEntry
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	absolutePath
private java.lang.String	fileName

Constructor Summary

Constructors

Constructor and Description
RecentFileEntry(java.lang.String absolutePath)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getAbsolutePath()
java.lang.String	getFileName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

fileName

private java.lang.String fileName

absolutePath

private java.lang.String absolutePath

Constructor Detail

RecentFileEntry

public RecentFileEntry(java.lang.String absolutePath)

Method Detail

getAbsolutePath

public java.lang.String getAbsolutePath()

getFileName

public java.lang.String getFileName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object