tom.library.sl
Interface Visitable

All Known Subinterfaces:
Strategy
All Known Implementing Classes:
AbstractStrategy, AbstractStrategyBasic, AbstractStrategyCombinator, All, AllSeq, BuiltinBottomUp, BuiltinRepeat, BuiltinRepeatId, BuiltinTopDown, CFGViewer.AllCfg, CFGViewer.Assign, CFGViewer.BuildLabelMap, CFGViewer.IsMarked, CFGViewer.Mark, CFGViewer.OneCfg, CFGViewer.PrintDotLink, CFGViewer.PrintDotNode, CFGViewer.UnMark, Choice, ChoiceId, ChoiceUndet, DeRef, Fail, Identity, IfThenElse, Mu, MuVar, Not, Omega, OmegaU, One, OneId, Pselect, Sequence, SequenceId, ToolBox.BuildDescriptor, Up, Viewer.RemoveMu, VisitableBuiltin

public interface Visitable


Method Summary
 Visitable getChildAt(int i)
          Returns the child at the specified position
 int getChildCount()
          Returns the number of children of the current Visitable
 Visitable[] getChildren()
          Returns the list of (non builtin) Visitable children
 Visitable setChildAt(int i, Visitable child)
          Replaces a child at the specified position
 Visitable setChildren(Visitable[] children)
          Replaces all children of any visitable at once, and returns this visitable.
 

Method Detail

setChildren

Visitable setChildren(Visitable[] children)
Replaces all children of any visitable at once, and returns this visitable.

Parameters:
children - array of children to set up
Returns:
the current Visitable

getChildren

Visitable[] getChildren()
Returns the list of (non builtin) Visitable children

Returns:
an array of Visitable children

getChildAt

Visitable getChildAt(int i)
Returns the child at the specified position

Parameters:
i - index of the element to return
Returns:
the child at the specified position in the list

setChildAt

Visitable setChildAt(int i,
                     Visitable child)
Replaces a child at the specified position

Parameters:
i - index of the element to return
child - element to set up
Returns:
the current Visitable

getChildCount

int getChildCount()
Returns the number of children of the current Visitable

Returns:
the number of children