public class DotReader extends ScanTokenizer
innerSource, tokenStack
Constructor and Description |
---|
DotReader(SourceReader source,
GraphLibrary<?,?> targetGraph,
boolean ignoreWeights,
boolean ignoreLayoutAttributes) |
Modifier and Type | Method and Description |
---|---|
ElemType |
getCurElemType() |
java.lang.Object |
getCurrentElem() |
java.lang.Double |
getEdgeWeight() |
GDotAttributes |
getLocalDotAttributes() |
java.lang.Double |
getLocalEdgeWeight() |
java.util.Stack<DotReadLevel> |
getReadStack() |
DotReadLevel |
getReadStackTopElem() |
GraphLibrary<?,?> |
getTargetGraph() |
boolean |
isGraphRoot() |
boolean |
isIgnoreLayoutAttributes() |
boolean |
isIgnoreWeights() |
GDotAttributes |
pollLocalDotAttributes() |
void |
setCurElemType(ElemType elemType) |
void |
setCurrentVertex(java.lang.Object vertex) |
void |
setGlobalEdgeWeight(java.lang.Double weight) |
void |
setLocalDotAttributes(GDotAttributes dotAttributes) |
void |
setLocalEdgeWeight(java.lang.Double weight) |
getBottomLevelPosition, getBufferSize, getIntervalEndPos, getIntervalStartPos, getPosition, intervalToString, isEndOfBuffer, newReader, parseStart, read, setIntervalEndPos, setIntervalStartPos, setPosition, skipSpace, stepBack, toString, toTextPosition
clear, getBottomLevelSource, getFilename, isTokenStackEmpty, pollTokenValue, pushTokenValue, tokenStackToString
canStepBack, getBottomLevelIntervalStartPos, getBottomLevelPosition, getErrorPosition, hasErrorPosition, intervalToString, setErrorPosition, setIntervalPositions, switchParser
getMarkedStackSize, getResultStackSize, getStackMark, popResult, pushResult, resetStack, resultStackToString, setStackMark
public DotReader(SourceReader source, GraphLibrary<?,?> targetGraph, boolean ignoreWeights, boolean ignoreLayoutAttributes)
public boolean isIgnoreWeights()
public boolean isIgnoreLayoutAttributes()
public java.util.Stack<DotReadLevel> getReadStack()
public GraphLibrary<?,?> getTargetGraph()
public GDotAttributes pollLocalDotAttributes()
public GDotAttributes getLocalDotAttributes()
public void setLocalDotAttributes(GDotAttributes dotAttributes)
public void setCurrentVertex(java.lang.Object vertex)
public java.lang.Object getCurrentElem()
public DotReadLevel getReadStackTopElem()
public java.lang.Double getLocalEdgeWeight()
public void setLocalEdgeWeight(java.lang.Double weight)
public void setGlobalEdgeWeight(java.lang.Double weight)
public java.lang.Double getEdgeWeight()
public boolean isGraphRoot()
public ElemType getCurElemType()
public void setCurElemType(ElemType elemType)