initialFieldElementsMap);
// Visit all of the field formal parameters
NodeList<FormalParameter> formalParameters = node.getParameters().getParameters();
for (FormalParameter formalParameter : formalParameters) {
FormalParameter parameter = formalParameter;
if (parameter instanceof DefaultFormalParameter) {
parameter = ((DefaultFormalParameter) parameter).getParameter();
}
if (parameter instanceof FieldFormalParameter) {
FieldElement fieldElement = ((FieldFormalParameterElementImpl) parameter.getElement()).getField();
INIT_STATE state = fieldElementsMap.get(fieldElement);
if (state == INIT_STATE.NOT_INIT) {
fieldElementsMap.put(fieldElement, INIT_STATE.INIT_IN_FIELD_FORMAL);
} else if (state == INIT_STATE.INIT_IN_DECLARATION) {
if (fieldElement.isFinal() || fieldElement.isConst()) {