package com.algomagic.atn.vis;

import att.grappa.GrappaConstants;

public interface ATNVisualizerConstants extends GrappaConstants {
    public static final String SYSTEM_PREFIX = "atnvis.";

    public static final String CONFIG_FILE_PROP = SYSTEM_PREFIX + "ConfigFile";
    public static final String WINDOW_TITLE_PROP = SYSTEM_PREFIX + "window.Title";
    public static final String WINDOW_HEIGHT_PROP = SYSTEM_PREFIX + "window.Height";
    public static final String WINDOW_WIDTH_PROP = SYSTEM_PREFIX + "window.Width";

    public static final String DELAY_PROP = SYSTEM_PREFIX + "defaultDelay";
    public static final String LOOP_PROP = SYSTEM_PREFIX + "loop";


    public static final String CONFIG_FILE_DEFAULT = "atnvis.properties";
    public static final String WINDOW_TITLE_DEFAULT = "ATN Visualization";
    public static final String WINDOW_HEIGHT_DEFAULT = "800";
    public static final String WINDOW_WIDTH_DEFAULT = "600";

    public static final String DELAY_DEFAULT = "500";
    public static final String LOOP_DEFAULT = "true";

    public static final int LEFT_SIDE = 0;
    public static final int RIGHT_SIDE = 1;

    public static final String OPPONENT_PROC = "Opponent";
    public static final String VERIFIER_PROC = "Verifier";
    public static final String FULLY_PROC = "Fully";
    public static final String NOT_PROC = "Not";

    public static final String SATISFIED = "True";
    public static final String NOT_SATISFIED = "False";

    public static final String STANDARD_TARGET = "StandardTarget";
    public static final String INTERSECTION_TARGET = "IntersectionTarget";
    public static final String LINKING_GOAL = "LinkingGoal";

    public static final String IMPLICATION_EDGE = "Implication";
    public static final String LINKING_MONITOR_EDGE = "LinkingMonitor";
    public static final String LINKING_SOLUTION_EDGE = "LinkingSolution";
    public static final String LINKING_IMPLICATION_EDGE = "LinkingImplication";
    public static final String INTERSECTION_EDGE = "Intersection";
    public static final String CONTROL_EDGE = "Control";

    public static final String DEFAULT_NODE = SYSTEM_PREFIX + "node.Default.";
    public static final String DEFAULT_EDGE = SYSTEM_PREFIX + "edge.Default.";


    public static final String[] NODE_ATTRS = {
	SHAPE_ATTR,
	SIDES_ATTR,
	PERIPHERIES_ATTR,
	STYLE_ATTR,
	COLOR_ATTR,
	FONTNAME_ATTR,
	FONTCOLOR_ATTR,
	FONTSIZE_ATTR,
	FONTSTYLE_ATTR };



    public static final String[] NODE_ATTRS_PROP = {
	"shape",
	"sides",
	"peripheries",
	"style",
	"color",
	"fontname",
	"fontcolor",
	"fontsize",
	"fontstyle" };

    public static final boolean[] NODE_ATTRS_INT = {
	false,
	true,
	true,
	false,
	false,
	false,
	false,
	true,
	false };


    public static final String[] EDGE_ATTRS = {
	STYLE_ATTR,
	FONTNAME_ATTR,
	COLOR_ATTR,
	FONTCOLOR_ATTR,
	FONTSIZE_ATTR,
	FONTSTYLE_ATTR,
	DIR_ATTR };

    public static final String[] EDGE_ATTRS_PROP = {
	"style",
	"fontname",
	"color",
	"fontcolor",
	"fontsize",
	"fontstyle", 
	"direction"  };


    public static final boolean[] EDGE_ATTRS_INT = {
	false,
	false,
	false,
	false,
	true,
	false,
	false };

    




}