desmoj.extensions.experimentation.util

Class Filename

java.lang.Object

desmoj.extensions.experimentation.util.Filename

public class Filename
extends java.lang.Object

A simple class representing filenames. This class is used in the experiment starter to distinguish strings from filenames which are edited using a file chooser widget.

Version:

DESMO-J, Ver. 2.5.1c copyright (c) 2015 Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Author:

Nicolas Knaak

Constructor Summary

Constructors

Constructor and Description
Filename(java.lang.String name) Creates a new Filename that does not refer to a directory.
Filename(java.lang.String name, boolean isDir) Creates a new Filename object

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName()
boolean	isDirectory()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Filename

public Filename(java.lang.String name,
                boolean isDir)

Creates a new Filename object

Parameters:

name - a valid path or file name

isDir - this flag indicates if the filename specifies a directory

Filename

public Filename(java.lang.String name)

Creates a new Filename that does not refer to a directory.

Parameters:

name - a valid path or file name

Method Detail

getName

public java.lang.String getName()

Returns:

the filename as a string

isDirectory

public boolean isDirectory()

Returns:

true iff this filename specifies a directory

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Returns:

the filename as a string