/**
* Returns a set of needed latex instructions for this latex printable object.
*
* @return A set of needed latex instructions for this latex printable object.
*/
public LatexInstructionList getLatexInstructions() {
LatexInstructionList instructions = new LatexInstructionList();
instructions.add(getLatexInstructionsStatic());
instructions.add(this.getLeft());
instructions.add(this.getRight());
instructions.add(this.seenTypes.getLatexInstructions());
instructions.add(getRule());
return instructions;
}
/**
* Returns a set of needed latex instructions for this latex printable object.
*
* @return A set of needed latex instructions for this latex printable object.
*/
public static LatexInstructionList getLatexInstructionsStatic() {
LatexInstructionList instructions = new LatexInstructionList();
instructions.add(new DefaultLatexInstruction("\\newcounter{tree}")); // $NON-NLS-1$
instructions.add(new DefaultLatexInstruction("\\newcounter{node}[tree]")); // $NON-NLS-1$
instructions.add(new DefaultLatexInstruction("\\newlength{\\treeindent}")); // $NON-NLS-1$
instructions.add(new DefaultLatexInstruction("\\newlength{\\nodeindent}")); // $NON-NLS-1$
instructions.add(new DefaultLatexInstruction("\\newlength{\\nodesep}")); // $NON-NLS-1$
instructions.add(
new DefaultLatexInstruction(
"\\newif\\ifarrows"
+ LATEX_LINE_BREAK_SOURCE_CODE //$NON-NLS-1$
+ "\\arrowsfalse")); //$NON-NLS-1$
instructions.add(
new DefaultLatexInstruction(
"\\definecolor{" //$NON-NLS-1$
+ LATEX_COLOR_NONE
+ "}{rgb}{0.0,0.0,0.0}", //$NON-NLS-1$
LATEX_COLOR_NONE + ": color of normal text")); // $NON-NLS-1$
return instructions;
}
