public class PathMap
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<Path,Label> |
map |
protected JifTypeSystem |
ts |
Constructor and Description |
---|
PathMap(JifTypeSystem ts) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Path> |
allPaths()
Return all paths in the map including NV.
|
void |
dump(polyglot.util.CodeWriter w) |
PathMap |
exc(Label label,
polyglot.types.Type type) |
PathMap |
exception(polyglot.types.Type type,
Label label) |
Label |
get(Path p) |
PathMap |
join(PathMap m) |
Label |
N() |
PathMap |
N(Label label) |
Label |
NV()
Normal value label
|
PathMap |
NV(Label label) |
java.util.Set<Path> |
paths()
Return all paths in the map except NV (which isn't really a
path).
|
Label |
R() |
PathMap |
R(Label label) |
PathMap |
set(Path p,
Label L) |
boolean |
singlePath()
Returns true if there's only one "path" through the method or
constructor according to this PathMap
|
PathMap |
subst(LabelSubstitution subst) |
PathMap |
subst(VarMap bounds) |
java.lang.String |
toString() |
protected JifTypeSystem ts
public PathMap(JifTypeSystem ts)
public Label N()
public Label NV()
public Label R()
public java.util.Set<Path> paths()
public java.util.Set<Path> allPaths()
public PathMap subst(LabelSubstitution subst) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public java.lang.String toString()
toString
in class java.lang.Object
public void dump(polyglot.util.CodeWriter w)
public boolean singlePath()