Render period on identifiers
This commit is contained in:
parent
41950eeb0a
commit
993a28acbb
|
@ -1109,8 +1109,19 @@ public class DataRenderer extends Renderer {
|
||||||
s = "id: "+s;
|
s = "id: "+s;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (ii.hasUse())
|
if (ii.hasUse() || ii.hasPeriod()) {
|
||||||
s = s + " ("+ii.getUse().toString()+")";
|
s = s + "(";
|
||||||
|
if (ii.hasUse()) {
|
||||||
|
s = s + "use: "+ii.getUse().toString();
|
||||||
|
}
|
||||||
|
if (ii.hasUse() && ii.hasPeriod()) {
|
||||||
|
s = s + ", ";
|
||||||
|
}
|
||||||
|
if (ii.hasPeriod()) {
|
||||||
|
s = s + "period: "+displayPeriod(ii.getPeriod());
|
||||||
|
}
|
||||||
|
s = s + ")";
|
||||||
|
}
|
||||||
return s;
|
return s;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue