public Descriptor getOriginDescriptor(String name) {
OriginInfo o = _origins.get(name);
if (o == null) return null;
return o.getDescriptor();
}
public Origin getOrigin(String name) {
OriginInfo x = _origins.get(name);
if (x == null) return Origin.NotSet;
return x.getOriginType();
}
