package test.wksp.eclipse;

public class X10 {

	/**
	 * Returns a complete node containing the contents of the subtree rooted at
	 * 
	 * @key in the receiver. Uses the public API.
	 */
	void foo(String key) {
	}

	/**
	 * Returns a complete node containing the contents of the subtree rooted at
	 * 
	 * @key in the receiver. Returns null if this node does not exist in the
	 *      tree. This is a thread-safe version of naiveCopyCompleteSubtree
	 */
	void bar(String key) {
	}
}
