plugins/devkit/src/dom/IdeaVersion.java

   1 // Generated on Wed Nov 07 17:26:02 MSK 2007
   2 // DTD/Schema  :    plugin.dtd
   3
   4 package org.jetbrains.idea.devkit.dom;
   5
   6 import com.intellij.util.xml.DomElement;
   7 import com.intellij.util.xml.GenericAttributeValue;
   8 import com.intellij.util.xml.Required;
   9 import org.jetbrains.annotations.NotNull;
  10
  11 public interface IdeaVersion extends DomElement {
  12         @NotNull
  13         GenericAttributeValue<String> getMax();
  14
  15         @NotNull
  16         @Required
  17         GenericAttributeValue<String> getSinceBuild();
  18
  19         @NotNull
  20         GenericAttributeValue<String> getUntilBuild();
  21
  22
  23         @NotNull
  24         GenericAttributeValue<String> getMin();
  25 }