public String[] getAttributeNames() {
        String[] s = new String[attributes.length];
        for (int i = 0; i < attributes.length; i++) {
            s[i] = attributes[i].name;
        }
        return s;
    }