if (function.getAttribute() != null) { buffer.append(".").append(function.getAttribute());
if (function.getAttribute() != null) { buffer.append(".").append(function.getAttribute());
if (function.getAttribute() != null) { buffer.append(".").append(function.getAttribute());
if (function.getAttribute() != null) { buffer.append(".").append(function.getAttribute());