/* * Copyright (C) 2013-2015 Daniel Dietsch (dietsch@informatik.uni-freiburg.de) * Copyright (C) 2015 University of Freiburg * * This file is part of the ULTIMATE CDTParser plug-in. * * The ULTIMATE CDTParser plug-in is free software: you can redistribute it and/or modify * it under the terms of the GNU Lesser General Public License as published * by the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * The ULTIMATE CDTParser plug-in is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with the ULTIMATE CDTParser plug-in. If not, see . * * Additional permission under GNU GPL version 3 section 7: * If you modify the ULTIMATE CDTParser plug-in, or any covered work, by linking * or combining it with Eclipse RCP (or a modified version of Eclipse RCP), * containing parts covered by the terms of the Eclipse Public License, the * licensors of the ULTIMATE CDTParser plug-in grant you additional permission * to convey the resulting work. */ package de.uni_freiburg.informatik.ultimate.cdt.parser.preferences; import de.uni_freiburg.informatik.ultimate.cdt.parser.Activator; import de.uni_freiburg.informatik.ultimate.core.lib.preferences.UltimatePreferenceInitializer; import de.uni_freiburg.informatik.ultimate.core.model.preferences.PreferenceType; import de.uni_freiburg.informatik.ultimate.core.model.preferences.UltimatePreferenceItem; public class PreferenceInitializer extends UltimatePreferenceInitializer { public PreferenceInitializer() { super(Activator.PLUGIN_ID, "CDT Parser"); } @Override protected UltimatePreferenceItem[] initDefaultPreferences() { return new UltimatePreferenceItem[] { new UltimatePreferenceItem<>(INCLUDE_PATHS, "", PreferenceType.Path) }; } public static final String INCLUDE_PATHS = "Please specify include paths that will be parsed with the given C-File"; }