<commit_before>package org.lamport.tla.toolbox.tool.tlc.ui.editor;

/**
 * Section definitions
 * @author <NAME>
 * @version $Id$
 */
public interface ISectionConstants
{
    // sections of the first page
    public final static String SEC_WHAT_IS_THE_SPEC = "__what_is_the_spec";
    public final static String SEC_WHAT_TO_CHECK = "__what_to_check";
    public final static String SEC_WHAT_TO_CHECK_INVARIANTS = "__what_to_check_invariants";
    public final static String SEC_WHAT_TO_CHECK_PROPERTIES = "__what_to_check_properties";
    public final static String SEC_WHAT_IS_THE_MODEL = "__what_is_the_model";
    public final static String SEC_HOW_TO_RUN = "__how_to_run";
    // section on the second page
    public final static String SEC_NEW_DEFINITION = "__additional_definition";
    public final static String SEC_DEFINITION_OVERRIDE = "__definition_override";
    public final static String SEC_STATE_CONSTRAINT = "__state_constraints";
    public final static String SEC_ACTION_CONSTRAINT = "__action_constraints";
    public final static String SEC_MODEL_VALUES = "__model_values";
    public final static String SEC_LAUNCHING_SETUP = "__launching_setup";

    // sections of the third page
    public final static String SEC_PROGRESS = "__progress";
    public final static String SEC_OUTPUT = "__output";
    public static final String SEC_COVERAGE = "__coverage";
    public static final String SEC_ERRORS = "__errors";
<commit_msg>added constants<commit_after>package org.lamport.tla.toolbox.tool.tlc.ui.editor;

import org.lamport.tla.toolbox.tool.tlc.ui.editor.part.ValidateableConstantSectionPart;
import org.lamport.tla.toolbox.tool.tlc.util.ModelHelper;

/**
 * Section definitions
 * @author <NAME>
 * @version $Id$
 * 
 * This seems to be a list of identifiers given to sections of the three
 * Model Editor pages.  Here's how the constant SEC_WHAT_IS_THE_MODEL is
 * used.  I presume the others are used in a similar fashion:
 * 
 * The constant is given as an argument to the ValidateableConstantSectionPart
 * constructor in the createBodyContent method of MainModelPage, which gives it 
 * to its super, the ValidateableTableSectionPart constructor, which calls
 * page.getDataBindingManager().bindSection that puts it in the hash table
 * sectionsForPage with key the id of the page and value a vector of
 * all section ids that were registered with bindSection.  That value is
 * read only by DataBindingManager.setAllSectionsEnabled which is called
 * in BasicFormPage.setEnabled, which is called by BasicFormPage.refresh,
 * which is called by:
 *  - BasicFormPage.createFormContent
 *  - a listener installed in ModelEditor by a ModelHelper.installModelModificationResourceChangeListener
 *  - MainModelPage.refresh() 
 */

public interface ISectionConstants
{
    // sections of the first page
    public final static String SEC_WHAT_IS_THE_SPEC = "__what_is_the_spec";
    public final static String SEC_WHAT_TO_CHECK = "__what_to_check";
    public final static String SEC_WHAT_TO_CHECK_INVARIANTS = "__what_to_check_invariants";
    public final static String SEC_WHAT_TO_CHECK_PROPERTIES = "__what_to_check_properties";
    
    public final static String SEC_WHAT_IS_THE_MODEL = "__what_is_the_model";
    public final static String SEC_HOW_TO_RUN = "__how_to_run";
    // section on the second page
    public final static String SEC_NEW_DEFINITION = "__additional_definition";
    public final static String SEC_DEFINITION_OVERRIDE = "__definition_override";
    public final static String SEC_STATE_CONSTRAINT = "__state_constraints";
    public final static String SEC_ACTION_CONSTRAINT = "__action_constraints";
    public final static String SEC_MODEL_VALUES = "__model_values";
    public final static String SEC_LAUNCHING_SETUP = "__launching_setup";

    // sections of the third page
    public final static String SEC_PROGRESS = "__progress";
    public final static String SEC_OUTPUT = "__output";
    public static final String SEC_COVERAGE = "__coverage";
    public static final String SEC_ERRORS = "__errors";

{'fraction_non_alphanumeric': 0.06222331529758977, 'fraction_numerical': 0.0, 'mean_word_length': 4.81, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '23533', 'n_tokens_mistral': 1166, 'n_tokens_neox': 1165, 'n_words': 371}