/*
 * Copyright (C) Yutaka Matsuno 2010-2012 All rights reserved.
 */
package net.dependableos.dcase.diagram.common.constant;

/**
 * A class that defines system property keys.
 */
public final class SystemPropertyKeyConst {

    /**
     * The keys for the system properties.
     */
    private SystemPropertyKeyConst() {
    }

    /**
     * The key for the extension of the GMF diagram file.
     */
    public static final String DIAGRAM_FILE_EXTENSION = "diagram.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the GMF model file.
     */
    public static final String MODEL_GMF_FILE_EXTENSION = "model.gmf.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the D-Case file.
     */
    public static final String MODEL_DCASE_FILE_EXTENSION = "model.dcase.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the ARM file.
     */
    public static final String MODEL_ARM_FILE_EXTENSION = "model.arm.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the ARM file.
     */
    public static final String MODEL_SACM_FILE_EXTENSION = "model.sacm.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the template file.
     */
    public static final String TEMPLATE_MODEL_FILE_EXTENSION = "template.model.file.extension"; //$NON-NLS-1$
    
    /**
     * The key for the template project name.
     */
    public static final String TEMPLATE_RESOURCE_PROJECT_NAME = "template.resource.project.name";   //$NON-NLS-1$
    
    /**
     * The key for value of the top margin of the canvas.
     */
    public static final String DIAGRAM_EDIT_CANVAS_MARGIN_TOP = "diagram.edit.canvas.margin.top";   //$NON-NLS-1$

    /**
    * The key for value of the left margin of the canvas.
     */
    public static final String DIAGRAM_EDIT_CANVAS_MARGIN_LEFT = "diagram.edit.canvas.margin.left"; //$NON-NLS-1$

    /**
     * The key for value of the bottom margin of the canvas.
     */
    public static final String DIAGRAM_EDIT_CANVAS_MARGIN_BOTTOM = "diagram.edit.canvas.margin.bottom"; //$NON-NLS-1$

    /**
     * The key for value of the right margin of the canvas.
     */
    public static final String DIAGRAM_EDIT_CANVAS_MARGIN_RIGHT = "diagram.edit.canvas.margin.right";   //$NON-NLS-1$

    /**
     * The key for the message output level.
     */
    public static final String MESSAGE_OUTPUT_LEVEL = "message.output.level";   //$NON-NLS-1$

    /**
     * The key for the extension of the d* diagram file.
     */
    public static final String DSTAR_FILE_EXTENSION = "dstar.file.extension";   //$NON-NLS-1$

    /**
     * The key for the extension of the d* model file.
     */
    public static final String MODEL_DSTAR_FILE_EXTENSION = "model.dstar.file.extension";   //$NON-NLS-1$

    /**
     * The key for the external command project name.
     */
    public static final String EXTERNAL_COMMAND_PROJECT_NAME = "external.command.project.name";   //$NON-NLS-1$

}