keel.GraphInterKeel.util

Class Path

java.lang.Object

keel.GraphInterKeel.util.Path

public class Path
extends java.lang.Object

Author:

Administrador

Field Summary

Fields

Modifier and Type	Field and Description
protected static java.lang.String	path File path.

Constructor Summary

Constructors

Constructor and Description
Path()

Method Summary

Modifier and Type	Method and Description
static java.io.File	getFilePath() Generate a file with the path stored
static java.lang.String	getPath() Get the path
static void	setFilePath(java.io.File filePath) Sets the path from a given file
static void	setPath(java.lang.String path) Set the path

Methods inherited from class java.lang.Object

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

Field Detail

path

protected static java.lang.String path

File path.

Constructor Detail

Path

public Path()

Method Detail

getPath

public static java.lang.String getPath()

Get the path

Returns:

Path

setPath

public static void setPath(java.lang.String path)

Set the path

Parameters:

path - Path to set

getFilePath

public static java.io.File getFilePath()

Generate a file with the path stored

Returns:

New file

setFilePath

public static void setFilePath(java.io.File filePath)

Sets the path from a given file

Parameters:

filePath - Reference file