Class InstantiationTree

java.lang.Object
  |
  +--InstantiationTree

public class InstantiationTree

extends java.lang.Object

This Datat Type implements a tree structure, where every Node correspons to a TextualInstantiation. Leaves are Objects with a empty children Vector.

Version:

Vanilla-1 Mon Apr 9 10:50:37 2001

Author:

M. Oliver Möller

Field Summary

java.util.Vector	children All child instantiatino trees.
TextualInstantiation	content
static int	offsetFactor Space indentations when displaying children
static java.lang.String	spaces

Constructor Summary

InstantiationTree(TextualInstantiation tinst)
Default Constructor

Method Summary

void	addChild(InstantiationTree instt) Add a child
private void	collectGlobalJoinsStartingBelowHere(java.util.Vector allJoins) Adds the global joins starting in a descendand to the argument Vector
private void	collectGlobalJoinsStartingHERE(java.util.Vector allJoins) Add the global joins, that have their root transition in the textual instantiation.
java.util.Vector	computeGlobalJoins() Compute the global joins starting at this component or at a component below.
java.util.Enumeration	enumChildren() Return enumeration of the children
InstantiationTree	findNodeWithContent(TextualInstantiation tinst) Returns the node of the tree that contains the specific TextualInstantiation. Returns null, if it is not found.
java.lang.String	showWithOffset(int offset) Return a string representing the (sub-)tree, with offsetFactor*offset spaces before the name

Methods inherited from class java.lang.Object

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

Field Detail

content

public TextualInstantiation content

children

public java.util.Vector children

All child instantiatino trees.

offsetFactor

public static int offsetFactor

Space indentations when displaying children

spaces

public static final java.lang.String spaces

Constructor Detail

InstantiationTree

public InstantiationTree(TextualInstantiation tinst)

Default Constructor

Method Detail

addChild

public void addChild(InstantiationTree instt)

Add a child

enumChildren

public java.util.Enumeration enumChildren()

Return enumeration of the children

findNodeWithContent

public InstantiationTree findNodeWithContent(TextualInstantiation tinst)

Returns the node of the tree that contains the specific TextualInstantiation.

Returns null, if it is not found.

showWithOffset

public java.lang.String showWithOffset(int offset)

Return a string representing the (sub-)tree, with offsetFactor*offset spaces before the name

computeGlobalJoins

public java.util.Vector computeGlobalJoins()

Compute the global joins starting at this component or at a component below.

collectGlobalJoinsStartingBelowHere

private void collectGlobalJoinsStartingBelowHere(java.util.Vector allJoins)

Adds the global joins starting in a descendand to the argument Vector

collectGlobalJoinsStartingHERE

private void collectGlobalJoinsStartingHERE(java.util.Vector allJoins)

Add the global joins, that have their root transition in the textual instantiation. If this component is not an OR component, nothing is done.