public DockableProperty createProperty() { return new SplitDockPlaceholderProperty(); }
public DockableProperty getLocationAt( Path placeholder ) { SplitDockPathProperty path = station.getDockablePathProperty( placeholder ); return new SplitDockPlaceholderProperty( placeholder, path ); }
public SplitDockPlaceholderProperty copy(){ SplitDockPlaceholderProperty copy = new SplitDockPlaceholderProperty( placeholder, backup == null ? null : backup.copy() ); copy( copy ); return copy; }
public DockableProperty getDockableProperty( PerspectiveDockable child, PerspectiveDockable target ){ Path placeholder = null; if( target != null ){ placeholder = target.getPlaceholder(); } else{ placeholder = child.getPlaceholder(); } SplitDockPathProperty backup = getDockablePathProperty( child ); if( placeholder == null ){ return backup; } return new SplitDockPlaceholderProperty( placeholder, backup ); }
public DockableProperty getDockableProperty( PerspectiveDockable child, PerspectiveDockable target ){ Path placeholder = null; if( target != null ){ placeholder = target.getPlaceholder(); } else{ placeholder = child.getPlaceholder(); } SplitDockPathProperty backup = getDockablePathProperty( child ); if( placeholder == null ){ return backup; } return new SplitDockPlaceholderProperty( placeholder, backup ); }
/** * Creates a {@link SplitDockPlaceholderProperty} for <code>dockable</code>, may * insert an additional placeholder in the tree. * @param dockable the element whose location is searched * @param target hint required to find the placeholder * @return the placeholder or <code>null</code> if the {@link #getPlaceholderStrategy() strategy} * did not assign a placeholder to <code>dockable</code> */ public SplitDockPlaceholderProperty getDockablePlaceholderProperty( Dockable dockable, Dockable target ){ Leaf leaf = getRoot().getLeaf(dockable); if( leaf == null ) { throw new IllegalArgumentException("dockable not known to this station"); } Path placeholder = getPlaceholderStrategy().getPlaceholderFor(target == null ? dockable : target); if( placeholder == null ) { return null; } placeholderSet.set(leaf, placeholder); return new SplitDockPlaceholderProperty(placeholder, getDockablePathProperty(dockable)); }
/** * Creates a {@link SplitDockPlaceholderProperty} for <code>dockable</code>, may * insert an additional placeholder in the tree. * @param dockable the element whose location is searched * @param target hint required to find the placeholder * @return the placeholder or <code>null</code> if the {@link #getPlaceholderStrategy() strategy} * did not assign a placeholder to <code>dockable</code> */ public SplitDockPlaceholderProperty getDockablePlaceholderProperty( Dockable dockable, Dockable target ){ Leaf leaf = getRoot().getLeaf(dockable); if( leaf == null ) { throw new IllegalArgumentException("dockable not known to this station"); } Path placeholder = getPlaceholderStrategy().getPlaceholderFor(target == null ? dockable : target); if( placeholder == null ) { return null; } placeholderSet.set(leaf, placeholder); return new SplitDockPlaceholderProperty(placeholder, getDockablePathProperty(dockable)); }
Path placeholder = info.getPlaceholder(); if( placeholder != null ){ info.setLocation( new SplitDockPlaceholderProperty( placeholder, property ) ); placeholder = subInfo.getPlaceholder(); if( placeholder != null ){ subInfo.setLocation( new SplitDockPlaceholderProperty( placeholder, property ) );
SplitDockPlaceholderProperty newLocation = new SplitDockPlaceholderProperty( request.getPlaceholder(), path ); request.answer( newLocation );
SplitDockPlaceholderProperty newLocation = new SplitDockPlaceholderProperty( request.getPlaceholder(), path ); request.answer( newLocation );