Package jason.runtime
Class SourcePath
java.lang.Object
jason.runtime.SourcePath
- All Implemented Interfaces:
java.io.Serializable
public class SourcePath
extends java.lang.Object
implements java.io.Serializable
manages source paths and fixes absolute path for .asl
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
CRPrefix
private boolean
hasClassResource
protected java.util.List<java.lang.String>
paths
protected java.lang.String
root
private static long
serialVersionUID
-
Constructor Summary
Constructors Constructor Description SourcePath()
-
Method Summary
Modifier and Type Method Description void
addAll(SourcePath sp)
void
addParentInPath(java.lang.String s)
void
addPath(java.lang.String cp)
void
clearPaths()
java.lang.String
fixPath(java.lang.String f)
fix path of the asl code based on aslSourcePath, also considers code from a jar file (if urlPrefix is not null)java.util.List<java.lang.String>
getPaths()
java.lang.String
getRoot()
boolean
isEmpty()
void
setRoot(java.lang.String r)
private static boolean
testURLSrc(java.lang.String asSrc)
java.lang.String
toString()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
CRPrefix
public static final java.lang.String CRPrefix- See Also:
- Constant Field Values
-
root
protected java.lang.String root -
paths
protected java.util.List<java.lang.String> paths -
hasClassResource
private boolean hasClassResource
-
-
Constructor Details
-
SourcePath
public SourcePath()
-
-
Method Details
-
setRoot
public void setRoot(java.lang.String r) -
getRoot
public java.lang.String getRoot() -
addPath
public void addPath(java.lang.String cp) -
addParentInPath
public void addParentInPath(java.lang.String s) -
addAll
-
clearPaths
public void clearPaths() -
getPaths
public java.util.List<java.lang.String> getPaths() -
isEmpty
public boolean isEmpty() -
fixPath
public java.lang.String fixPath(java.lang.String f)fix path of the asl code based on aslSourcePath, also considers code from a jar file (if urlPrefix is not null) -
testURLSrc
private static boolean testURLSrc(java.lang.String asSrc) -
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-