package jetbrains.mps.samples.Kaja.editor;

/*Generated by MPS */

import jetbrains.mps.editor.runtime.style.AbstractStyleKey;

public class KajaStylePack_KeyPack {
  public static class TODO_StyleKey extends AbstractStyleKey {
    public TODO_StyleKey() {
      super("TODO");
    }
    public TODO_StyleKey(int priority) {
      super("TODO", priority);
    }
  }
  public static class NUMBER_StyleKey extends AbstractStyleKey {
    public NUMBER_StyleKey() {
      super("NUMBER");
    }
    public NUMBER_StyleKey(int priority) {
      super("NUMBER", priority);
    }
  }
  public static class KEYWORD_StyleKey extends AbstractStyleKey {
    public KEYWORD_StyleKey() {
      super("KEYWORD");
    }
    public KEYWORD_StyleKey(int priority) {
      super("KEYWORD", priority);
    }
  }
  public static class ConceptName_StyleKey extends AbstractStyleKey {
    public ConceptName_StyleKey() {
      super("ConceptName");
    }
    public ConceptName_StyleKey(int priority) {
      super("ConceptName", priority);
    }
  }
  public static class LINE_COMMENT_StyleKey extends AbstractStyleKey {
    public LINE_COMMENT_StyleKey() {
      super("LINE_COMMENT");
    }
    public LINE_COMMENT_StyleKey(int priority) {
      super("LINE_COMMENT", priority);
    }
  }
  public static class DEFAULT_INSTANCE_FIELD_StyleKey extends AbstractStyleKey {
    public DEFAULT_INSTANCE_FIELD_StyleKey() {
      super("DEFAULT_INSTANCE_FIELD");
    }
    public DEFAULT_INSTANCE_FIELD_StyleKey(int priority) {
      super("DEFAULT_INSTANCE_FIELD", priority);
    }
  }
  public static class STRING_StyleKey extends AbstractStyleKey {
    public STRING_StyleKey() {
      super("STRING");
    }
    public STRING_StyleKey(int priority) {
      super("STRING", priority);
    }
  }
}
