Turns a Block into a list of Stmts.

Produce new <code>Item</code>s as appropriate for the <code>Term n</code> and the input <code>Item in</code>. @param in the Item flowing into the nod

Send out the current batch of text to be formatted. All outstanding <code>begin</code>'s are closed and the current indentation level is reset to 0. R

Method added by PHIL. [Thanks, PHIL. -Rob] This pads the buffer without closing the stream.

---------------------------------------------*/ Open an output file safely with O_EXCL and good permissions. This avoids a race condition in versio

The method's formal parameters. @return A list of {@link polyglot.ast.Formal Formal}.

A utility method which formats the text for each node in a <code>DotGraph</code> representing a CFG. @param body the <code>Body</code> whose control

For an interface parent (MUST be an interface), returns set of all subinterfaces.

Get an iterator over the list of SootMethod with an associated summary. (Does not contain filtered-out or native methods.)

@return

@return

@return The body from which this UnitGraph was built. @see Body

@return

@return

@see org.eclipse.jface.viewers.ITreeContentProvider#getChildren(Object)

@see org.eclipse.jface.viewers.ITreeContentProvider#getChildren(Object)

@see org.eclipse.jface.viewers.ITreeContentProvider#getChildren(Object)

@return

A utility routine that returns the unqualified identifier naming the class of an object. @param obj The object whose class name is to be returned.

Given a class name, uses the soot-class-path to return a ClassSource for the given class.