90 lines
2.4 KiB
Java
90 lines
2.4 KiB
Java
/*
|
|
ZZLocalDimension.java
|
|
*
|
|
* Copyright (c) 2000, Ted Nelson and Tuomas Lukka
|
|
*
|
|
* You may use and distribute under the terms of either the GNU Lesser
|
|
* General Public License, either version 2 of the license or,
|
|
* at your choice, any later version. Alternatively, you may use and
|
|
* distribute under the terms of the XPL.
|
|
*
|
|
* See the LICENSE.lgpl and LICENSE.xpl files for the specific terms of
|
|
* the licenses.
|
|
*
|
|
* This software is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the README
|
|
* file for more details.
|
|
*
|
|
*/
|
|
/*
|
|
* Written by Tuomas Lukka
|
|
*/
|
|
package org.gzigzag;
|
|
import java.util.*;
|
|
|
|
/** Dimension-centric implementation of a locally
|
|
* stored dimension.
|
|
*/
|
|
public class ZZLocalDimension extends ZZDimension {
|
|
public static final String rcsid = "$Id: ZZLocalDimension.java,v 1.14 2000/11/30 08:44:32 ajk Exp $";
|
|
public static final boolean dbg = true;
|
|
final static void p(String s) { if(dbg) ZZLogger.log(s); }
|
|
final static void pa(String s) { ZZLogger.log(s); }
|
|
|
|
/** Connections to the positive direction. */
|
|
Hashtable cp = new Hashtable();
|
|
/** Connections to the negative direction. */
|
|
Hashtable cm = new Hashtable();
|
|
|
|
public ZZCellHandle s(ZZCellHandle c, int steps, ZZObs o) {
|
|
String s = c.id;
|
|
if(o != null) triggers.addObs(s, o);
|
|
if(steps>0)
|
|
while(steps-- > 0 && s != null) {
|
|
s = (String)cp.get(s);
|
|
if(o != null) triggers.addObs(s, o);
|
|
}
|
|
else
|
|
while(steps++ < 0 && s != null) {
|
|
s = (String)cm.get(s);
|
|
if(o != null) triggers.addObs(s, o);
|
|
}
|
|
|
|
if(s==null) return null;
|
|
return (ZZCellHandle)space.getCellByID(s);
|
|
}
|
|
public void connect(ZZCellHandle c, ZZCellHandle d) {
|
|
disconnect(c, 1);
|
|
disconnect(d, -1);
|
|
/* XXX: This is from 0.3 branch, don't know if this
|
|
should be chosen instead of the above
|
|
if(cp.get(c.id) != null ||
|
|
cm.get(d.id) != null)
|
|
throw new ZZConnectWouldBreakError("localdim");
|
|
*/
|
|
cp.put(c.id, d.id);
|
|
cm.put(d.id, c.id);
|
|
triggers.chg(c.id);
|
|
triggers.chg(d.id);
|
|
}
|
|
public void disconnect(ZZCellHandle c, int dir) {
|
|
String o;
|
|
if(dir>0) {
|
|
o = (String)cp.get(c.id);
|
|
if(o!=null) {
|
|
cp.remove(c.id);
|
|
cm.remove(o);
|
|
}
|
|
} else {
|
|
o = (String)cm.get(c.id);
|
|
if(o!=null) {
|
|
cm.remove(c.id);
|
|
cp.remove(o);
|
|
}
|
|
}
|
|
triggers.chg(c.id);
|
|
}
|
|
|
|
}
|