|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Communication.BreakInfo
public final class BreakInfo
Line break information for pretty-printing abstract syntax trees.
Method Summary | |
---|---|
static BreakInfo |
compute(AST tree,
boolean mathml)
Construct the line break information for the denoted tree. |
java.util.Vector |
getChildren()
Get the children of this node. |
int |
getLength()
Get the total length of the linear representation of the tree. |
AST |
getTree()
Get the tree to which this break information belongs. |
static int |
length(BreakInfo[] infos)
Get sum of the lengths of the info nodes |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static BreakInfo compute(AST tree, boolean mathml)
tree
- an abstract syntax tree.mathml
- true iff the mathml representation is considered.public AST getTree()
public int getLength()
public java.util.Vector getChildren()
public static int length(BreakInfo[] infos)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |