49505152535455
public Cursor(IValueFactory vf) { this.vf = vf; } public IValue makeCursor(IValue v) { return CursorFactory.makeCursor(v, new TopContext()); }
53545556575859
public IValue makeCursor(IValue v) { return CursorFactory.makeCursor(v, new TopContext()); } public IValue makeCursor(IValue v, IString name) { return CursorFactory.makeCursor(v, new TopContext(name.getValue())); }