Class DiagnosticCodes

java.lang.Object
ca.mcscert.jpipe.compiler.model.DiagnosticCodes
public final class DiagnosticCodes extends Object
Compiler diagnostic error-code tags embedded in error messages.

Each constant is the bracketed tag that appears at the start of a diagnostic message, e.g. "[unknown-model] unknown model 'foo'". Centralising them here makes them greppable and prevents silent drift between the site that emits a diagnostic and any tooling (tests, IDEs) that matches on the tag string.

  • Field Details

    • SINGLE_CONCLUSION

      public static final String SINGLE_CONCLUSION
      A justification model declares more than one conclusion element.
      See Also:

    • UNRESOLVED_OVERRIDE

      public static final String UNRESOLVED_OVERRIDE
      A qualified override reference appears in a model that does not implement any template.
      See Also:

    • CYCLIC_IMPLEMENTS

      public static final String CYCLIC_IMPLEMENTS
      Two models mutually implement each other, creating a cycle.
      See Also:

    • IMPLEMENTS_ERROR

      public static final String IMPLEMENTS_ERROR
      An implements directive could not be applied.
      See Also:

    • INVALID_SUPPORT

      public static final String INVALID_SUPPORT
      An AddSupport command references an element that does not exist.
      See Also:

    • UNKNOWN_MODEL

      public static final String UNKNOWN_MODEL
      A command references a model name that does not exist in the unit.
      See Also:

    • UNKNOWN_ELEMENT

      public static final String UNKNOWN_ELEMENT
      A command references an element ID that does not exist in its model.
      See Also:

    • EXECUTION_ERROR

      public static final String EXECUTION_ERROR
      A command could not be executed (catch-all for unexpected failures).
      See Also:

    • UNRESOLVED_SYMBOL

      public static final String UNRESOLVED_SYMBOL
      A command remained unexecuted after all dependency rounds were exhausted.
      See Also: