Scope id fix for external references

This commit is contained in:
caheckman 2020-10-13 17:45:53 -04:00
parent e8b7a61197
commit 078159dd29
2 changed files with 11 additions and 1 deletions

View file

@ -55,6 +55,7 @@ public class HighFunctionShellSymbol extends HighSymbol {
@Override
public void saveXML(StringBuilder buf) {
buf.append("<function");
SpecXmlUtils.encodeUnsignedIntegerAttribute(buf, "id", getId());
SpecXmlUtils.xmlEscapeAttribute(buf, "name", name);
SpecXmlUtils.encodeSignedIntegerAttribute(buf, "size", 1);
buf.append(">\n");