for (int j = 0; j<definitions.length; j++)
if ((i!=j) && (definitions[i].getSymbol().equals(definitions[j].getSymbol())))
violations.addViolation("Element '"+definitions[i].getSymbol()+"' is already defined",
definitions[i].getLocation());*/
if (getDefinition(startSymbol)==null)
violations.addViolation("Start symbol \""+startSymbol+"\""+
"is not defined through a definition", location);
if (getDefinitionCount()<=0)
violations.addViolation("No definitions are defined", location);