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 Object

Field Summary

Fields

Modifier and Type	Field and Description
private String	absolutePath
private String	fileName

Constructor Summary

Constructors

Constructor and Description
RecentFileEntry(String absolutePath)

Method Summary

Modifier and Type	Method and Description
String	getAbsolutePath()
String	getFileName()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

fileName

private String fileName

absolutePath

private String absolutePath

Constructor Detail

RecentFileEntry

public RecentFileEntry(String absolutePath)

Method Detail

getAbsolutePath

public String getAbsolutePath()

getFileName

public String getFileName()

toString

public String toString()

Overrides:

toString in class Object