generate line number info (initial); position manager (supports stopping at breakpoints, doesn't support stepping yet)

2011-07-13 17:37:11 +02:00
parent 42397c887a
commit cec1ce7c9a
13 changed files with 211 additions and 8 deletions
@@ -45,5 +45,6 @@
      <iconProvider implementation="org.jetbrains.jet.plugin.JetIconProvider"/>
      <fileTypeIndentOptionsProvider implementation="org.jetbrains.jet.plugin.formatter.JetIndentOptionsProvider"/>
      <elementDescriptionProvider implementation="org.jetbrains.jet.plugin.findUsages.JetElementDescriptionProvider"/>
+      <debugger.positionManagerFactory implementation="org.jetbrains.jet.plugin.debugger.JetPositionManagerFactory"/>
  </extensions>
 </idea-plugin>