outputhelpers

Class FlattenedTreePrinter

java.lang.Object

outputhelpers.FlattenedTreePrinter

All Implemented Interfaces:

SnippetPrinter

public class FlattenedTreePrinter
extends Object
implements SnippetPrinter

Class that prints the snippets as flattened trees.

Author:

themis

Constructor Summary

Constructors

Constructor and Description
FlattenedTreePrinter()

Method Summary

Modifier and Type	Method and Description
String	snippetToString(Snippet snippet, boolean addUniqueIDs) Receives a snippet and returns a string representation in the form of flattened trees.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FlattenedTreePrinter

public FlattenedTreePrinter()

Method Detail

snippetToString

public String snippetToString(Snippet snippet,
                              boolean addUniqueIDs)

Receives a snippet and returns a string representation in the form of flattened trees. Given for example the snippet tree [[A, [B, C], [D, E]]], this function would return [[A, B, D], [A, B, E], [A, C, D], [A, C, E]].

Specified by:

snippetToString in interface SnippetPrinter

Parameters:

snippet - the snippet to be parsed.

addUniqueIDs - boolean denoting whether statements should have IDs (true) or not (false).

Returns:

a flattened tree representation for the snippet.