Package com.semedy.reasoner.edb.persistentstore

Class FileName

java.lang.Object

com.semedy.reasoner.edb.persistentstore.FileName

public class FileName
extends Object

A filename for a relation may look like: <filepath>/<name>_<arity>[(<number>)].suffix

Author:

angele

Constructor Summary

Constructors

Constructor	Description
FileName()
FileName(FileName name, int[] intPositions)
FileName(String name, int arity)
FileName(String name, int arity, int number)
FileName(String fullpath, String name, int arity, int number, String suffix, String prefix, int[] intPositions)
FileName(String tempdir, String edbdir, String fullpath, String name, int arity, int number, String suffix, String prefix)

Method Summary

Modifier and Type	Method	Description
int	getArity()
String	getDatafilePath()	return the file path in edb directory
String	getEDBDir()
String	getEDBDirPath(String suffix)	return the file path in edb directory
String	getFileName(String suffix)
String	getFileNameWithoutIndex(String suffix)
String	getFullQualifiedPredicateSymbol()
int	getNumber()	return the number
String	getPath()
int[]	getPositions()
String	getPredicateSymbol()
String	getPrefix()
String	getSuffix()
String	getTempDir()
String	getTempDirPath(String suffix)	return the file path in temporary directory
String	getTreeFilePath()
static FileName	parseFileName(String filename)
void	setDirs(String tempDir, String edbdir)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

FileName

public FileName(FileName name,
 int[] intPositions)

FileName

public FileName(String fullpath,
 String name,
 int arity,
 int number,
 String suffix,
 String prefix,
 int[] intPositions)

FileName

public FileName(String tempdir,
 String edbdir,
 String fullpath,
 String name,
 int arity,
 int number,
 String suffix,
 String prefix)

FileName

public FileName()

FileName

public FileName(String name,
 int arity)

FileName

public FileName(String name,
 int arity,
 int number)

Method Details

setDirs

public void setDirs(String tempDir,
 String edbdir)

getEDBDir

public String getEDBDir()

getTempDir

public String getTempDir()

getPositions

public int[] getPositions()

parseFileName

public static FileName parseFileName(String filename)

getPath

public String getPath()

Returns:

the _fullPath

getPredicateSymbol

public String getPredicateSymbol()

Returns:

the _name

getFullQualifiedPredicateSymbol

public String getFullQualifiedPredicateSymbol()

Returns:

the _name

getArity

public int getArity()

Returns:

the _arity

getSuffix

public String getSuffix()

Returns:

the _suffix

getPrefix

public String getPrefix()

Returns:

the _suffix

getNumber

public int getNumber()

return the number

Returns:

getTempDirPath

public String getTempDirPath(String suffix)

return the file path in temporary directory

Returns:

getEDBDirPath

public String getEDBDirPath(String suffix)

return the file path in edb directory

Returns:

getDatafilePath

public String getDatafilePath()

return the file path in edb directory

Returns:

getTreeFilePath

public String getTreeFilePath()

getFileNameWithoutIndex

public String getFileNameWithoutIndex(String suffix)

getFileName

public String getFileName(String suffix)

toString

public String toString()

Overrides:

toString in class Object