public void selectVariableReference(VariableSpecification val) { variableReference_ = val; variableReference_selected = true; undefined_selected = false; }