99 |
|
|
100 |
public final Enfilade1D getEnfilade(RDFNode node, Obs o) { |
public final Enfilade1D getEnfilade(RDFNode node, Obs o) { |
101 |
RDFNode n = ShortRDF.getDataNode(space.getModel(), node); |
RDFNode n = ShortRDF.getDataNode(space.getModel(), node); |
102 |
if(o != null) space.getObsTrigger().addObs(o, this, n); |
// XXX if(o != null) space.getObsTrigger().addObs(o, this, n); |
103 |
Enfilade1D enf = getFromMap(n); |
Enfilade1D enf = getFromMap(n); |
104 |
if(enf == null) return enfMaker.makeEnfilade(); |
if(enf == null) return enfMaker.makeEnfilade(); |
105 |
else return enf; |
else return enf; |
108 |
public final void setEnfilade(RDFNode node, Enfilade1D vstream) { |
public final void setEnfilade(RDFNode node, Enfilade1D vstream) { |
109 |
RDFNode n = ShortRDF.getDataNode(space.getModel(), node); |
RDFNode n = ShortRDF.getDataNode(space.getModel(), node); |
110 |
setMap(n, vstream); |
setMap(n, vstream); |
111 |
space.getObsTrigger().chg(this, n); |
// XXX space.getObsTrigger().chg(this, n); |
112 |
} |
} |
113 |
|
|
114 |
/* |
/* |