Package convex.dlfs

Class DLFS

java.lang.Object

convex.dlfs.DLFS

public class DLFS
extends Object

Static API for DLFS

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ROOT_STRING
static final String	SCHEME	URI scheme for DLFS

Constructor Summary

Constructors

Constructor	Description
DLFS()

Method Summary

Modifier and Type	Method	Description
static AString	checkName(AString name)
static AString	checkName(String name)
static DLPath	checkPath(Path path)	Converts to a DLFS path
static DLFSLocal	createLocal()
static DLFSProvider	provider()

Methods inherited from class java.lang.Object

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

Field Details

SCHEME

public static final String SCHEME

URI scheme for DLFS

See Also:

• Constant Field Values

ROOT_STRING

public static final String ROOT_STRING

See Also:

• Constant Field Values

Constructor Details

DLFS

public DLFS()

Method Details

provider

public static DLFSProvider provider()

createLocal

public static DLFSLocal createLocal()

checkPath

public static DLPath checkPath(Path path)

Converts to a DLFS path

Parameters:

path - Path to check

Returns:

DLFS compatible Path instance

Throws:

ProviderMismatchException - if not a DLFS file

checkName

public static AString checkName(String name)

checkName

public static AString checkName(AString name)