StructureNotation structureNotation = (StructureNotation)itemDefinition;
SymbolId symbolId = structureNotation.getSymbolId();
SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
itemDefinition = new StructureNotation(symbolIdNew, structureNotation.getLoci(), structureNotation.getFormat(), structureNotation.getVisible(), structureNotation.getConstructor(), structureNotation.getSynonym());
} else if (itemDefinition instanceof org.mizartools.dli.FunctorNotation) {
FunctorNotation functorNotation = (FunctorNotation)itemDefinition;
SymbolId symbolId1 = functorNotation.getSymbolId1();
SymbolId symbolIdNew1 = new SymbolId(articleId, symbolId1.getSymbolType(), symbolId1.getToken(), 1);
SymbolId symbolId2 = functorNotation.getSymbolId2();
SymbolId symbolIdNew2 = null;
if (symbolId2 != null) {
symbolIdNew2 = new SymbolId(articleId, symbolId2.getSymbolType(), symbolId2.getToken(), 1);
}
itemDefinition = new FunctorNotation(symbolIdNew1, symbolIdNew2, functorNotation.getLoci(), functorNotation.getFormat(), functorNotation.getVisible(), functorNotation.getConstructor(), functorNotation.getSynonym());
}
return new DecodedLibraryItem(decodedLibraryItem.getItemId(), itemDefinition);
}