public class Paths
extends java.lang.Object
Paths
holds the path-related command line arguments and provides
several path-related services.Constructor and Description |
---|
Paths(java.lang.String mmj2PathArgument,
java.lang.String metamathPathArgument,
java.lang.String svcPathArgument)
Standard constructor.
|
Modifier and Type | Method and Description |
---|---|
java.io.File |
buildMetamathFilePath(java.lang.String pathName)
Builds a
File object relative to the metamathPath . |
java.io.File |
buildMMJ2FilePath(java.lang.String pathName)
Builds a
File object relative to the mmj2Path . |
java.io.File |
buildSvcFilePath(java.lang.String pathName)
Builds a
File object relative to the svcPath . |
java.io.File |
getMetamathPath()
Gets the metamathPath.
|
java.io.File |
getMMJ2Path()
Gets the mmj2Path.
|
java.io.File |
getSvcPath()
Gets the svcPath.
|
public Paths(java.lang.String mmj2PathArgument, java.lang.String metamathPathArgument, java.lang.String svcPathArgument) throws MMJException, java.io.IOException
mmj2PathArgument
- null or existing mmj2 directory.metamathPathArgument
- null or existing Metamath directory.svcPathArgument
- null or existing Svc directory.MMJException
- if errors found.java.io.IOException
- if IO errorpublic java.io.File buildMMJ2FilePath(java.lang.String pathName)
File
object relative to the mmj2Path
.
If the input fileName designates an absolute path then the output
File
is not relative to mmj2Path
or the Current Path.
Otherwise, if mmj2Path
is null then the output File
is
relative to the Current Path.
pathName
- name of file or directory.public java.io.File buildMetamathFilePath(java.lang.String pathName)
File
object relative to the metamathPath
.
If the input fileName designates an absolute path then the output
File
is not relative to metamathPath
or the Current Path.
Otherwise, if metamathPath
is null then the output File
is relative to the Current Path.
pathName
- name of file or directory.public java.io.File buildSvcFilePath(java.lang.String pathName)
File
object relative to the svcPath
.
If the input fileName designates an absolute path then the output
File
is not relative to svcPath
or the Current Path.
Otherwise, if svcPath
is null then the output File
is
relative to the Current Path.
pathName
- name of file or directory.public java.io.File getMMJ2Path()
public java.io.File getMetamathPath()
public java.io.File getSvcPath()