source: fedd/abac-src/atnvis/src/com/algomagic/atn/VisualizationConstants.java @ 55c074c

package com.algomagic.atn;

import att.grappa.GrappaConstants;

public interface VisualizationConstants 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 PARSER_PROP = SYSTEM_PREFIX + "parser";
    public static final String PARSER_DEFAULT = "com.algomagic.atn.NullParser";
    
    public static final String SCALE_PROP = SYSTEM_PREFIX + "graph.Scale";
    public static final String SCALE_DEFAULT = "1.0";

    public static final String IGNOREPROC_PROP = SYSTEM_PREFIX + "parser.IgnoreProcessing";
    public static final String IGNOREPROC_DEFAULT = "true";


    public static final String SHADOW_PROP = SYSTEM_PREFIX + "graph.ShadowColor";
    public static final String SHADOW_DEFAULT = "grey90";


    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 = "Unprocessed";

    public static final String SATISFIED = "Satisfied";
    public static final String NOT_SATISFIED = "Failed";
    public static final String UNKNOWN = "Unknown";

    public static final String STANDARD_TARGET = "StandardTarget";
    public static final String ROLE_TARGET = "RoleTarget";
    public static final String LINKING_ROLE_TARGET = "LinkingRoleTarget";
    public static final String TRIVIAL_TARGET = "TrivialTarget";
    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,
        COLOR_ATTR,
        DIR_ATTR };

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


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

}