Giter Club home page Giter Club logo

atom-kt-advance's People

Contributors

compartia avatar

Watchers

avatar avatar

atom-kt-advance's Issues

Deprecated selector in `atom-kt-advance\styles\atom-kt-advance.less`

In atom-kt-advance\styles\atom-kt-advance.less:

Starting from Atom v1.13.0, the contents of atom-text-editor elements are no longer encapsulated within a shadow DOM boundary. This means you should stop using :host and ::shadow pseudo-selectors, and prepend all your syntax selectors with syntax--. To prevent breakage with existing style sheets, Atom will automatically upgrade the following selectors:

  • atom-text-editor .kt-assumption .region, atom-text-editor::shadow .kt-assumption .region => atom-text-editor .kt-assumption .region, atom-text-editor.editor .kt-assumption .region

  • atom-text-editor .kt-message .region, atom-text-editor::shadow .kt-message .region => atom-text-editor .kt-message .region, atom-text-editor.editor .kt-message .region

  • atom-text-editor::shadow #kt-location, #kt-location => atom-text-editor.editor #kt-location, #kt-location

  • .linter-highlight.violation:not(.line-number), atom-text-editor::shadow .linter-highlight.violation:not(.line-number) => .linter-highlight.violation:not(.line-number), atom-text-editor.editor .linter-highlight.violation:not(.line-number)

  • .linter-highlight.violation .linter-gutter, atom-text-editor::shadow .linter-highlight.violation .linter-gutter => .linter-highlight.violation .linter-gutter, atom-text-editor.editor .linter-highlight.violation .linter-gutter

  • .linter-highlight.violation .region, atom-text-editor::shadow .linter-highlight.violation .region => .linter-highlight.violation .region, atom-text-editor.editor .linter-highlight.violation .region

  • .linter-highlight.multiple:not(.line-number), atom-text-editor::shadow .linter-highlight.multiple:not(.line-number) => .linter-highlight.multiple:not(.line-number), atom-text-editor.editor .linter-highlight.multiple:not(.line-number)

  • .linter-highlight.multiple .linter-gutter, atom-text-editor::shadow .linter-highlight.multiple .linter-gutter => .linter-highlight.multiple .linter-gutter, atom-text-editor.editor .linter-highlight.multiple .linter-gutter

  • .linter-highlight.multiple .region, atom-text-editor::shadow .linter-highlight.multiple .region => .linter-highlight.multiple .region, atom-text-editor.editor .linter-highlight.multiple .region

  • .linter-highlight.level:not(.line-number), atom-text-editor::shadow .linter-highlight.level:not(.line-number) => .linter-highlight.level:not(.line-number), atom-text-editor.editor .linter-highlight.syntax--level:not(.line-number)

  • .linter-highlight.level .linter-gutter, atom-text-editor::shadow .linter-highlight.level .linter-gutter => .linter-highlight.level .linter-gutter, atom-text-editor.editor .linter-highlight.syntax--level .linter-gutter

  • .linter-highlight.level .region, atom-text-editor::shadow .linter-highlight.level .region => .linter-highlight.level .region, atom-text-editor.editor .linter-highlight.syntax--level .region

  • .linter-highlight.obsolete:not(.line-number), atom-text-editor::shadow .linter-highlight.obsolete:not(.line-number) => .linter-highlight.obsolete:not(.line-number), atom-text-editor.editor .linter-highlight.syntax--obsolete:not(.line-number)

  • .linter-highlight.obsolete .linter-gutter, atom-text-editor::shadow .linter-highlight.obsolete .linter-gutter => .linter-highlight.obsolete .linter-gutter, atom-text-editor.editor .linter-highlight.syntax--obsolete .linter-gutter

  • .linter-highlight.obsolete .region, atom-text-editor::shadow .linter-highlight.obsolete .region => .linter-highlight.obsolete .region, atom-text-editor.editor .linter-highlight.syntax--obsolete .region

  • `.linter-highlight.crossed:not(.line-number),
    a

Cannot find dependency

  1. Pull commit 9cfeed3
  2. Open Atom

Atom Version: 1.10.2
Electron Version: 0.37.8
System: Mac OS X 10.11.6
Thrown From: atom-kt-advance package, v0.0.0

Stack Trace

Failed to activate the atom-kt-advance package

At Cannot find module 'atom-linter'

Error: Cannot find module 'atom-linter'
    at Module._resolveFilename (module.js:339:15)
    at Function.Module._resolveFilename (/Applications/Atom.app/Contents/Resources/app.asar/src/module-cache.js:383:52)
    at Function.Module._load (module.js:290:25)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/jar-exec.coffee:2:11)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/jar-exec.coffee:2:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.defineProperty.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:208:21)
    at Module.load (module.js:357:32)
    at Function.Module._load (module.js:314:12)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:7:24)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:1:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.defineProperty.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:208:21)
    at Module.load (module.js:357:32)
    at Function.Module._load (module.js:314:12)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/init.coffee:1:20)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/init.coffee:1:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.defineProperty.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:208:21)
    at Module.load (module.js:357:32)
    at Function.Module._load (module.js:314:12)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Package.module.exports.Package.requireMainModule (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:718:27)

Commands

Config

{
  "core": {
    "projectHome": "/Users/mrb/git",
    "themes": [
      "one-light-ui",
      "atom-light-syntax"
    ]
  }
}

Installed Packages

# User
atom-kt-advance, v0.0.0 (inactive)
linter, v1.11.18 (inactive)
travis-ci-status, v1.3.0 (inactive)
unity-ui, v2.1.5 (inactive)
atom-dark-syntax, v0.27.0 (inactive)
atom-dark-ui, v0.52.0 (inactive)
atom-light-syntax, v0.28.0 (inactive)
atom-light-ui, v0.44.0 (inactive)
base16-tomorrow-dark-theme, v1.1.0 (inactive)
base16-tomorrow-light-theme, v1.1.1 (inactive)
one-dark-ui, v1.5.0 (inactive)
one-light-ui, v1.5.0 (inactive)
one-dark-syntax, v1.3.0 (inactive)
one-light-syntax, v1.3.0 (inactive)
solarized-dark-syntax, v1.0.2 (inactive)
solarized-light-syntax, v1.0.2 (inactive)
about, v1.5.3 (inactive)
archive-view, v0.61.1 (inactive)
autocomplete-atom-api, v0.10.0 (inactive)
autocomplete-css, v0.11.2 (inactive)
autocomplete-html, v0.7.2 (inactive)
autocomplete-plus, v2.31.1 (inactive)
autocomplete-snippets, v1.11.0 (inactive)
autoflow, v0.27.0 (inactive)
autosave, v0.23.1 (inactive)
background-tips, v0.26.1 (inactive)
bookmarks, v0.41.0 (inactive)
bracket-matcher, v0.82.1 (inactive)
command-palette, v0.38.0 (inactive)
deprecation-cop, v0.54.1 (inactive)
dev-live-reload, v0.47.0 (inactive)
encoding-selector, v0.22.0 (inactive)
exception-reporting, v0.39.0 (inactive)
find-and-replace, v0.201.0 (inactive)
fuzzy-finder, v1.3.0 (inactive)
git-diff, v1.1.0 (inactive)
go-to-line, v0.31.0 (inactive)
grammar-selector, v0.48.1 (inactive)
image-view, v0.58.2 (inactive)
incompatible-packages, v0.26.1 (inactive)
keybinding-resolver, v0.35.0 (inactive)
line-ending-selector, v0.5.0 (inactive)
link, v0.31.1 (inactive)
markdown-preview, v0.158.0 (inactive)
metrics, v0.53.1 (inactive)
notifications, v0.65.0 (inactive)
open-on-github, v1.2.0 (inactive)
package-generator, v1.0.0 (inactive)
settings-view, v0.242.2 (inactive)
snippets, v1.0.2 (inactive)
spell-check, v0.67.1 (inactive)
status-bar, v1.4.1 (inactive)
styleguide, v0.47.0 (inactive)
symbols-view, v0.113.0 (inactive)
tabs, v0.100.2 (inactive)
timecop, v0.33.2 (inactive)
tree-view, v0.208.2 (inactive)
update-package-dependencies, v0.10.0 (inactive)
welcome, v0.34.0 (inactive)
whitespace, v0.33.0 (inactive)
wrap-guide, v0.38.1 (inactive)
language-c, v0.52.1 (inactive)
language-clojure, v0.21.0 (inactive)
language-coffee-script, v0.47.2 (inactive)
language-csharp, v0.12.1 (inactive)
language-css, v0.37.1 (inactive)
language-gfm, v0.88.0 (inactive)
language-git, v0.15.0 (inactive)
language-go, v0.42.1 (inactive)
language-html, v0.45.1 (inactive)
language-hyperlink, v0.16.0 (inactive)
language-java, v0.23.0 (inactive)
language-javascript, v0.119.0 (inactive)
language-json, v0.18.2 (inactive)
language-less, v0.29.5 (inactive)
language-make, v0.22.2 (inactive)
language-mustache, v0.13.0 (inactive)
language-objective-c, v0.15.1 (inactive)
language-perl, v0.35.0 (inactive)
language-php, v0.37.2 (inactive)
language-property-list, v0.8.0 (inactive)
language-python, v0.45.0 (inactive)
language-ruby, v0.69.0 (inactive)
language-ruby-on-rails, v0.25.0 (inactive)
language-sass, v0.56.0 (inactive)
language-shellscript, v0.22.4 (inactive)
language-source, v0.9.0 (inactive)
language-sql, v0.23.0 (inactive)
language-text, v0.7.1 (inactive)
language-todo, v0.28.0 (inactive)
language-toml, v0.18.0 (inactive)
language-xml, v0.34.9 (inactive)
language-yaml, v0.26.0 (inactive)

# Dev
No dev packages

Missing dependency space-pen

  1. Git pull commit 3c7e7d0
  2. Launch Atom

Atom Version: 1.12.6
Electron Version: 1.3.9
System: Mac OS X 10.12.1
Thrown From: atom-kt-advance package, v0.0.0

Stack Trace

Failed to activate the atom-kt-advance package

At Cannot find module 'space-pen'

Error: Cannot find module 'space-pen'
    at Module._resolveFilename (module.js:455:15)
    at Module._resolveFilename (/Applications/Atom.app/Contents/Resources/electron.asar/common/reset-search-paths.js:35:12)
    at Function.Module._resolveFilename (/Applications/Atom.app/Contents/Resources/app.asar/src/module-cache.js:383:52)
    at Function.Module._load (module.js:403:25)
    at Module.require (module.js:483:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/stats-view.coffee:1:10)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/stats-view.coffee:1:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:201:21)
    at Module.load (module.js:473:32)
    at tryModuleLoad (module.js:432:12)
    at Function.Module._load (module.js:424:3)
    at Module.require (module.js:483:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/init.coffee:4:16)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/init.coffee:2:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:201:21)
    at Module.load (module.js:473:32)
    at tryModuleLoad (module.js:432:12)
    at Function.Module._load (module.js:424:3)
    at Module.require (module.js:483:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Package.module.exports.Package.requireMainModule (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:741:27)
    at Package.module.exports.Package.activateNow (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:174:16)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:157:32
    at Package.module.exports.Package.measure (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:92:15)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:150:26
    at Package.module.exports.Package.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:147:34)
    at PackageManager.module.exports.PackageManager.activatePackage (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:548:21)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:529:29
    at Config.module.exports.Config.transactAsync (/Applications/Atom.app/Contents/Resources/app.asar/src/config.js:337:18)
    at PackageManager.module.exports.PackageManager.activatePackages (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:524:19)
    at PackageManager.module.exports.PackageManager.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:506:46)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/atom-environment.js:792:28

Commands

Config

{
  "core": {
    "disabledPackages": [
      "linter-raml"
    ],
    "openEmptyEditorOnStart": false,
    "projectHome": "/Users/mrb/git",
    "telemetryConsent": "no",
    "themes": [
      "unity-ui",
      "atom-light-syntax"
    ]
  }
}

Installed Packages

# User
api-workbench, v0.8.40 (inactive)
atom-kt-advance, v0.0.0 (inactive)
diagrams, v0.23.4 (inactive)
git-time-machine, v1.5.4 (inactive)
language-haml, v0.24.1 (inactive)
linter, v1.11.18 (inactive)
linter-haml, v2.0.0 (inactive)
linter-js-yaml, v1.2.5 (inactive)
linter-raml, v1.0.1 (inactive)
raml, v0.2.0 (inactive)
unity-ui, v2.1.6 (inactive)
atom-dark-syntax, v0.27.0 (inactive)
atom-dark-ui, v0.52.0 (inactive)
atom-light-syntax, v0.28.0 (inactive)
atom-light-ui, v0.45.0 (inactive)
base16-tomorrow-dark-theme, v1.3.0 (inactive)
base16-tomorrow-light-theme, v1.3.0 (inactive)
one-dark-ui, v1.6.2 (inactive)
one-light-ui, v1.6.2 (inactive)
one-dark-syntax, v1.5.0 (inactive)
one-light-syntax, v1.5.0 (inactive)
solarized-dark-syntax, v1.0.5 (inactive)
solarized-light-syntax, v1.0.5 (inactive)
about, v1.7.0 (inactive)
archive-view, v0.62.0 (inactive)
autocomplete-atom-api, v0.10.0 (inactive)
autocomplete-css, v0.13.1 (inactive)
autocomplete-html, v0.7.2 (inactive)
autocomplete-plus, v2.31.4 (inactive)
autocomplete-snippets, v1.11.0 (inactive)
autoflow, v0.27.0 (inactive)
autosave, v0.23.1 (inactive)
background-tips, v0.26.1 (inactive)
bookmarks, v0.42.0 (inactive)
bracket-matcher, v0.82.2 (inactive)
command-palette, v0.39.0 (inactive)
deprecation-cop, v0.54.1 (inactive)
dev-live-reload, v0.47.0 (inactive)
encoding-selector, v0.22.0 (inactive)
exception-reporting, v0.40.0 (inactive)
find-and-replace, v0.202.2 (inactive)
fuzzy-finder, v1.4.0 (inactive)
git-diff, v1.1.0 (inactive)
go-to-line, v0.31.0 (inactive)
grammar-selector, v0.48.2 (inactive)
image-view, v0.60.0 (inactive)
incompatible-packages, v0.26.1 (inactive)
keybinding-resolver, v0.35.0 (inactive)
line-ending-selector, v0.5.0 (inactive)
link, v0.31.2 (inactive)
markdown-preview, v0.158.8 (inactive)
metrics, v1.1.2 (inactive)
notifications, v0.65.1 (inactive)
open-on-github, v1.2.1 (inactive)
package-generator, v1.0.1 (inactive)
settings-view, v0.243.1 (inactive)
snippets, v1.0.4 (inactive)
spell-check, v0.68.4 (inactive)
status-bar, v1.4.1 (inactive)
styleguide, v0.47.2 (inactive)
symbols-view, v0.113.1 (inactive)
tabs, v0.103.0 (inactive)
timecop, v0.33.2 (inactive)
tree-view, v0.210.0 (inactive)
update-package-dependencies, v0.10.0 (inactive)
welcome, v0.35.1 (inactive)
whitespace, v0.35.0 (inactive)
wrap-guide, v0.38.2 (inactive)
language-c, v0.54.0 (inactive)
language-clojure, v0.22.1 (inactive)
language-coffee-script, v0.48.0 (inactive)
language-csharp, v0.13.0 (inactive)
language-css, v0.40.1 (inactive)
language-gfm, v0.88.0 (inactive)
language-git, v0.15.0 (inactive)
language-go, v0.43.0 (inactive)
language-html, v0.47.1 (inactive)
language-hyperlink, v0.16.1 (inactive)
language-java, v0.24.0 (inactive)
language-javascript, v0.122.0 (inactive)
language-json, v0.18.3 (inactive)
language-less, v0.29.6 (inactive)
language-make, v0.22.2 (inactive)
language-mustache, v0.13.0 (inactive)
language-objective-c, v0.15.1 (inactive)
language-perl, v0.37.0 (inactive)
language-php, v0.37.3 (inactive)
language-property-list, v0.8.0 (inactive)
language-python, v0.45.1 (inactive)
language-ruby, v0.70.2 (inactive)
language-ruby-on-rails, v0.25.1 (inactive)
language-sass, v0.57.0 (inactive)
language-shellscript, v0.23.0 (inactive)
language-source, v0.9.0 (inactive)
language-sql, v0.25.0 (inactive)
language-text, v0.7.1 (inactive)
language-todo, v0.29.1 (inactive)
language-toml, v0.18.1 (inactive)
language-xml, v0.34.12 (inactive)
language-yaml, v0.27.1 (inactive)

# Dev
No dev packages

NaN on Activation

  1. Pull commit d304ff
  2. Reopen Atom on KT Advance project
  3. Invoke linter, expected marker generation and messages but none appeared
  4. Open developer tools console
  5. Console NaN error, kt-advance-scanner.coffee;45
  6. Repeatable, with or without project
Window load time: 313ms
/Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:333 kt-advance scanner: contructor
<E> /Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:45 NaN(anonymous function) @ 
        /Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:45
/Users/mrb/git/atom-kt-advance/lib/init.coffee:93 kt-advance: activate
/Users/mrb/git/atom-kt-advance/lib/init.coffee:93 kt-advance: javaExecutablePath has changed java
/Users/mrb/git/atom-kt-advance/lib/init.coffee:93 kt-advance: Attempting to register an indie linter
/Applications/Atom.app/Contents/Resources/app.asar/node_modules/space-pen/lib/space-pen.js:452 /deep/ combinator is deprecated. 
See https://www.chromestatus.com/features/6750456638341120 
for more details.
/Users/mrb/git/atom-kt-advance/lib/init.coffee:93 kt-advance: indie linter registered

macOS Sierra
Java 1.0.8_102

Atom Core Packages

  • All

Atom Community Packages

  • atom-kt-advance 0.0.0
  • linter 1.11.18

Atom Development Packages

  • none

Atom Git Packages

  • none

Change history details

We can run the KT Advance analyzer most effectively at the function level. We already have extracted what we need to know about the program, so incremental analysis thereafter runs very fast.

After an editing session, when parts of the program have become "dirty" with respect to the analysis results, we want to know at least which functions were changed since the last analysis run. We will pass these details, say in a JSON or XML file, to KT Advance for analysis. "The more details the better," says Henny, as she can parse the obligations and work out whether in fact the invariants must be regenerated.

We may create some trigger in the Atom plugin to invoke the analyzer in the background. I assume we can do some sort of fork-exec from the code, but if not we can find some other way. If we can in fact do a fork-exec, it would be good to know if a progress monitor

I see that the Atom editor knows how many lines have been added and deleted (as shown in the footer of the editor), so perhaps there is some record or diff construct embedded within it that we can draw from to obtain session and commit information.

Challenges:

  • There may be several editing session saves between analysis runs, so the difference in the source code from the analyzer's point of view is the accumulation of those changes, not just the latest change.
  • An easy, and perhaps best, way to do this would be to extract the change difference from a Git commit history. This would impose on the user the requirement that the analyzer work at the commit level, not at the source level. So, is there a convenient way in Atom to pull a commit difference and save it to some legible format?

Deprecated selector in `atom-kt-advance/styles/atom-kt-advance.less`

In atom-kt-advance/styles/atom-kt-advance.less:

Starting from Atom v1.13.0, the contents of atom-text-editor elements are no longer encapsulated within a shadow DOM boundary. This means you should stop using :host and ::shadow pseudo-selectors, and prepend all your syntax selectors with syntax--. To prevent breakage with existing style sheets, Atom will automatically upgrade the following selectors:

  • atom-text-editor .kt-assumption .region, atom-text-editor::shadow .kt-assumption .region => atom-text-editor .kt-assumption .region, atom-text-editor.editor .kt-assumption .region

  • atom-text-editor .kt-message .region, atom-text-editor::shadow .kt-message .region => atom-text-editor .kt-message .region, atom-text-editor.editor .kt-message .region

  • atom-text-editor::shadow #kt-location, #kt-location => atom-text-editor.editor #kt-location, #kt-location

  • .linter-highlight.violation:not(.line-number), atom-text-editor::shadow .linter-highlight.violation:not(.line-number) => .linter-highlight.violation:not(.line-number), atom-text-editor.editor .linter-highlight.violation:not(.line-number)

  • .linter-highlight.violation .linter-gutter, atom-text-editor::shadow .linter-highlight.violation .linter-gutter => .linter-highlight.violation .linter-gutter, atom-text-editor.editor .linter-highlight.violation .linter-gutter

  • .linter-highlight.violation .region, atom-text-editor::shadow .linter-highlight.violation .region => .linter-highlight.violation .region, atom-text-editor.editor .linter-highlight.violation .region

  • .linter-highlight.multiple:not(.line-number), atom-text-editor::shadow .linter-highlight.multiple:not(.line-number) => .linter-highlight.multiple:not(.line-number), atom-text-editor.editor .linter-highlight.multiple:not(.line-number)

  • .linter-highlight.multiple .linter-gutter, atom-text-editor::shadow .linter-highlight.multiple .linter-gutter => .linter-highlight.multiple .linter-gutter, atom-text-editor.editor .linter-highlight.multiple .linter-gutter

  • .linter-highlight.multiple .region, atom-text-editor::shadow .linter-highlight.multiple .region => .linter-highlight.multiple .region, atom-text-editor.editor .linter-highlight.multiple .region

  • .linter-highlight.level:not(.line-number), atom-text-editor::shadow .linter-highlight.level:not(.line-number) => .linter-highlight.level:not(.line-number), atom-text-editor.editor .linter-highlight.syntax--level:not(.line-number)

  • .linter-highlight.level .linter-gutter, atom-text-editor::shadow .linter-highlight.level .linter-gutter => .linter-highlight.level .linter-gutter, atom-text-editor.editor .linter-highlight.syntax--level .linter-gutter

  • .linter-highlight.level .region, atom-text-editor::shadow .linter-highlight.level .region => .linter-highlight.level .region, atom-text-editor.editor .linter-highlight.syntax--level .region

  • .linter-highlight.obsolete:not(.line-number), atom-text-editor::shadow .linter-highlight.obsolete:not(.line-number) => .linter-highlight.obsolete:not(.line-number), atom-text-editor.editor .linter-highlight.syntax--obsolete:not(.line-number)

  • .linter-highlight.obsolete .linter-gutter, atom-text-editor::shadow .linter-highlight.obsolete .linter-gutter => .linter-highlight.obsolete .linter-gutter, atom-text-editor.editor .linter-highlight.syntax--obsolete .linter-gutter

  • .linter-highlight.obsolete .region, atom-text-editor::shadow .linter-highlight.obsolete .region => .linter-highlight.obsolete .region, atom-text-editor.editor .linter-highlight.syntax--obsolete .region

  • .linter-highlight.crossed:not(.line-number), atom-text-editor::shadow .linter-highlight.crossed:not(.line-number) => .linter-highlight.crossed:not(.line-number), atom-text-editor.editor .linter-highlight.crossed:not(.line-number)

  • .linter-highlight.open:not(.line-number), atom-text-editor::shadow .linter-highlight.open:not(.line-number) => .linter-highlight.open:not(.line-number), atom-text-editor.editor .linter-highlight.syntax--open:not(.line-number)

  • .linter-highlight.open .linter-gutter, atom-text-editor::shadow .linter-highlight.open .linter-gutter => .linter-highlight.open .linter-gutter, atom-text-editor.editor .linter-highlight.syntax--open .linter-gutter

  • .linter-highlight.open .region, atom-text-editor::shadow .linter-highlight.open .region => .linter-highlight.open .region, atom-text-editor.editor .linter-highlight.syntax--open .region

Automatic translation of selectors will be removed in a few release cycles to minimize startup time. Please, make sure to upgrade the above selectors as soon as possible.

Object.extname is deprecated.

Argument to path.extname must be a string

Object.extname (/usr/share/atom/resources/app/src/electron-shims.js:20:10)
KtAdvanceScanner.accept (/home/ikiss/.atom/packages/atom-kt-advance/lib/scanner.coffee:150:19)
Object.maybeScan (/home/ikiss/.atom/packages/atom-kt-advance/lib/init.coffee:31:80)
<unknown> (/home/ikiss/.atom/packages/atom-kt-advance/lib/init.coffee:70:24)
Function.module.exports.Emitter.simpleDispatch (<embedded>:63943:20)
Emitter.emit (<embedded>:64059:34)

Initial activation error

  1. Install linter as apm install linter
  2. Clone atom-it-advance as git clone https://[email protected]/compartia/atom-kt-advance into ~/git
  3. Create symbolic link to ~/.atom/packages/atom-kt-advance as ln -s /Users/mrb/git/atom-kt-advance ~/.atom/packages/atom-kt-advance
  4. Start Atom using Launchpad, receive error message

Atom Version: 1.10.2
Electron Version: 0.37.8
System: Mac OS X 10.11.6
Thrown From: atom-kt-advance package, v0.0.0

Stack Trace

Failed to activate the atom-kt-advance package

At Path must be a string. Received false

TypeError: Path must be a string. Received false
  at assertPath (path.js:7:11)
  at Object.join (path.js:1253:7)
  at KtAdvanceScanner.mayBeExecJar (/Users/mrb/git/atom-kt-advance/lib/kt-advance-scanner.coffee:30:18)
  at Object.module.exports.activate (/Users/mrb/git/atom-kt-advance/lib/init.coffee:45:18)
  at Package.module.exports.Package.activateNow (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:183:20)
  at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:156:32
  at Package.module.exports.Package.measure (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:92:15)
  at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:149:26
  at Package.module.exports.Package.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:146:34)
  at PackageManager.module.exports.PackageManager.activatePackage (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:538:21)
  at /Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:519:29
  at Config.module.exports.Config.transactAsync (/Applications/Atom.app/Contents/Resources/app.asar/src/config.js:337:18)
  at PackageManager.module.exports.PackageManager.activatePackages (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:514:19)
  at PackageManager.module.exports.PackageManager.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:497:46)
  at /Applications/Atom.app/Contents/Resources/app.asar/src/atom-environment.js:765:28

Commands

Config

{
  "core": {
    "projectHome": "/Users/mrb/git",
    "themes": [
      "one-light-ui",
      "atom-light-syntax"
    ]
  }
}

Installed Packages

# User
atom-kt-advance, v0.0.0 (inactive)
linter, v1.11.16 (inactive)
travis-ci-status, v1.1.1 (inactive)
unity-ui, v2.1.5 (inactive)
atom-dark-syntax, v0.27.0 (inactive)
atom-dark-ui, v0.52.0 (inactive)
atom-light-syntax, v0.28.0 (inactive)
atom-light-ui, v0.44.0 (inactive)
base16-tomorrow-dark-theme, v1.1.0 (inactive)
base16-tomorrow-light-theme, v1.1.1 (inactive)
one-dark-ui, v1.5.0 (inactive)
one-light-ui, v1.5.0 (inactive)
one-dark-syntax, v1.3.0 (inactive)
one-light-syntax, v1.3.0 (inactive)
solarized-dark-syntax, v1.0.2 (inactive)
solarized-light-syntax, v1.0.2 (inactive)
about, v1.5.3 (inactive)
archive-view, v0.61.1 (inactive)
autocomplete-atom-api, v0.10.0 (inactive)
autocomplete-css, v0.11.2 (inactive)
autocomplete-html, v0.7.2 (inactive)
autocomplete-plus, v2.31.1 (inactive)
autocomplete-snippets, v1.11.0 (inactive)
autoflow, v0.27.0 (inactive)
autosave, v0.23.1 (inactive)
background-tips, v0.26.1 (inactive)
bookmarks, v0.41.0 (inactive)
bracket-matcher, v0.82.1 (inactive)
command-palette, v0.38.0 (inactive)
deprecation-cop, v0.54.1 (inactive)
dev-live-reload, v0.47.0 (inactive)
encoding-selector, v0.22.0 (inactive)
exception-reporting, v0.39.0 (inactive)
find-and-replace, v0.201.0 (inactive)
fuzzy-finder, v1.3.0 (inactive)
git-diff, v1.1.0 (inactive)
go-to-line, v0.31.0 (inactive)
grammar-selector, v0.48.1 (inactive)
image-view, v0.58.2 (inactive)
incompatible-packages, v0.26.1 (inactive)
keybinding-resolver, v0.35.0 (inactive)
line-ending-selector, v0.5.0 (inactive)
link, v0.31.1 (inactive)
markdown-preview, v0.158.0 (inactive)
metrics, v0.53.1 (inactive)
notifications, v0.65.0 (inactive)
open-on-github, v1.2.0 (inactive)
package-generator, v1.0.0 (inactive)
settings-view, v0.242.2 (inactive)
snippets, v1.0.2 (inactive)
spell-check, v0.67.1 (inactive)
status-bar, v1.4.1 (inactive)
styleguide, v0.47.0 (inactive)
symbols-view, v0.113.0 (inactive)
tabs, v0.100.2 (inactive)
timecop, v0.33.2 (inactive)
tree-view, v0.208.2 (inactive)
update-package-dependencies, v0.10.0 (inactive)
welcome, v0.34.0 (inactive)
whitespace, v0.33.0 (inactive)
wrap-guide, v0.38.1 (inactive)
language-c, v0.52.1 (inactive)
language-clojure, v0.21.0 (inactive)
language-coffee-script, v0.47.2 (inactive)
language-csharp, v0.12.1 (inactive)
language-css, v0.37.1 (inactive)
language-gfm, v0.88.0 (inactive)
language-git, v0.15.0 (inactive)
language-go, v0.42.1 (inactive)
language-html, v0.45.1 (inactive)
language-hyperlink, v0.16.0 (inactive)
language-java, v0.23.0 (inactive)
language-javascript, v0.119.0 (inactive)
language-json, v0.18.2 (inactive)
language-less, v0.29.5 (inactive)
language-make, v0.22.2 (inactive)
language-mustache, v0.13.0 (inactive)
language-objective-c, v0.15.1 (inactive)
language-perl, v0.35.0 (inactive)
language-php, v0.37.2 (inactive)
language-property-list, v0.8.0 (inactive)
language-python, v0.45.0 (inactive)
language-ruby, v0.69.0 (inactive)
language-ruby-on-rails, v0.25.0 (inactive)
language-sass, v0.56.0 (inactive)
language-shellscript, v0.22.4 (inactive)
language-source, v0.9.0 (inactive)
language-sql, v0.23.0 (inactive)
language-text, v0.7.1 (inactive)
language-todo, v0.28.0 (inactive)
language-toml, v0.18.0 (inactive)
language-xml, v0.34.9 (inactive)
language-yaml, v0.26.0 (inactive)

# Dev
No dev packages

Missing module

[Enter steps to reproduce below:]

  1. Pull repo from master, commit eaafcb8 (after 8 November pull request 9 merge)
  2. Open Atom

Atom Version: 1.11.2
Electron Version: 0.37.8
System: Mac OS X 10.12.1
Thrown From: atom-kt-advance package, v0.0.0

Stack Trace

Failed to activate the atom-kt-advance package

At Cannot find module 'moment'

Error: Cannot find module 'moment'
    at Module._resolveFilename (module.js:339:15)
    at Function.Module._resolveFilename (/Applications/Atom.app/Contents/Resources/app.asar/src/module-cache.js:383:52)
    at Function.Module._load (module.js:290:25)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/scanner.coffee:5:9)
    at Object.<anonymous> (/Users/mrb/git/atom-kt-advance/lib/scanner.coffee:1:1)
    at Module._compile (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:103:30)
    at Object.defineProperty.value [as .coffee] (/Applications/Atom.app/Contents/Resources/app.asar/src/compile-cache.js:208:21)
    at Module.load (module.js:357:32)
    at Function.Module._load (module.js:314:12)
    at Module.require (module.js:367:17)
    at require (/Applications/Atom.app/Contents/Resources/app.asar/src/native-compile-cache.js:50:27)
    at Object.module.exports.activate (/Users/mrb/git/atom-kt-advance/lib/init.coffee:28:28)
    at Package.module.exports.Package.activateNow (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:183:20)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:156:32
    at Package.module.exports.Package.measure (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:92:15)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package.js:149:26
    at Package.module.exports.Package.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:146:34)
    at PackageManager.module.exports.PackageManager.activatePackage (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:538:21)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:519:29
    at Config.module.exports.Config.transactAsync (/Applications/Atom.app/Contents/Resources/app.asar/src/config.js:337:18)
    at PackageManager.module.exports.PackageManager.activatePackages (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:514:19)
    at PackageManager.module.exports.PackageManager.activate (/Applications/Atom.app/Contents/Resources/app.asar/src/package-manager.js:497:46)
    at /Applications/Atom.app/Contents/Resources/app.asar/src/atom-environment.js:779:28

Commands

Config

{
  "core": {
    "disabledPackages": [
      "linter-raml"
    ],
    "openEmptyEditorOnStart": false,
    "projectHome": "/Users/mrb/git",
    "telemetryConsent": "no",
    "themes": [
      "unity-ui",
      "atom-light-syntax"
    ]
  }
}

Installed Packages

# User
api-workbench, v0.8.40 (inactive)
atom-kt-advance, v0.0.0 (inactive)
diagrams, v0.19.0 (inactive)
git-time-machine, v1.5.3 (inactive)
language-haml, v0.24.0 (inactive)
linter, v1.11.18 (inactive)
linter-haml, v2.0.0 (inactive)
linter-js-yaml, v1.2.5 (inactive)
linter-raml, v1.0.1 (inactive)
raml, v0.2.0 (inactive)
unity-ui, v2.1.6 (inactive)
atom-dark-syntax, v0.27.0 (inactive)
atom-dark-ui, v0.52.0 (inactive)
atom-light-syntax, v0.28.0 (inactive)
atom-light-ui, v0.44.0 (inactive)
base16-tomorrow-dark-theme, v1.2.0 (inactive)
base16-tomorrow-light-theme, v1.2.0 (inactive)
one-dark-ui, v1.6.0 (inactive)
one-light-ui, v1.6.0 (inactive)
one-dark-syntax, v1.3.0 (inactive)
one-light-syntax, v1.3.0 (inactive)
solarized-dark-syntax, v1.0.2 (inactive)
solarized-light-syntax, v1.0.2 (inactive)
about, v1.7.0 (inactive)
archive-view, v0.61.1 (inactive)
autocomplete-atom-api, v0.10.0 (inactive)
autocomplete-css, v0.11.2 (inactive)
autocomplete-html, v0.7.2 (inactive)
autocomplete-plus, v2.31.1 (inactive)
autocomplete-snippets, v1.11.0 (inactive)
autoflow, v0.27.0 (inactive)
autosave, v0.23.1 (inactive)
background-tips, v0.26.1 (inactive)
bookmarks, v0.42.0 (inactive)
bracket-matcher, v0.82.1 (inactive)
command-palette, v0.38.0 (inactive)
deprecation-cop, v0.54.1 (inactive)
dev-live-reload, v0.47.0 (inactive)
encoding-selector, v0.22.0 (inactive)
exception-reporting, v0.40.0 (inactive)
find-and-replace, v0.201.1 (inactive)
fuzzy-finder, v1.4.0 (inactive)
git-diff, v1.1.0 (inactive)
go-to-line, v0.31.0 (inactive)
grammar-selector, v0.48.2 (inactive)
image-view, v0.59.0 (inactive)
incompatible-packages, v0.26.1 (inactive)
keybinding-resolver, v0.35.0 (inactive)
line-ending-selector, v0.5.0 (inactive)
link, v0.31.1 (inactive)
markdown-preview, v0.158.0 (inactive)
metrics, v1.0.0 (inactive)
notifications, v0.65.1 (inactive)
open-on-github, v1.2.0 (inactive)
package-generator, v1.0.0 (inactive)
settings-view, v0.242.2-hotfix1 (inactive)
snippets, v1.0.2 (inactive)
spell-check, v0.68.2 (inactive)
status-bar, v1.4.1 (inactive)
styleguide, v0.47.0 (inactive)
symbols-view, v0.113.1 (inactive)
tabs, v0.101.0 (inactive)
timecop, v0.33.2 (inactive)
tree-view, v0.209.3 (inactive)
update-package-dependencies, v0.10.0 (inactive)
welcome, v0.35.1 (inactive)
whitespace, v0.33.0 (inactive)
wrap-guide, v0.38.2 (inactive)
language-c, v0.52.1 (inactive)
language-clojure, v0.21.0 (inactive)
language-coffee-script, v0.47.2 (inactive)
language-csharp, v0.12.1 (inactive)
language-css, v0.37.1 (inactive)
language-gfm, v0.88.0 (inactive)
language-git, v0.15.0 (inactive)
language-go, v0.42.1 (inactive)
language-html, v0.45.1 (inactive)
language-hyperlink, v0.16.0 (inactive)
language-java, v0.23.0 (inactive)
language-javascript, v0.119.0 (inactive)
language-json, v0.18.2 (inactive)
language-less, v0.29.5 (inactive)
language-make, v0.22.2 (inactive)
language-mustache, v0.13.0 (inactive)
language-objective-c, v0.15.1 (inactive)
language-perl, v0.35.0 (inactive)
language-php, v0.37.2 (inactive)
language-property-list, v0.8.0 (inactive)
language-python, v0.45.0 (inactive)
language-ruby, v0.69.0 (inactive)
language-ruby-on-rails, v0.25.0 (inactive)
language-sass, v0.56.0 (inactive)
language-shellscript, v0.22.4 (inactive)
language-source, v0.9.0 (inactive)
language-sql, v0.23.0 (inactive)
language-text, v0.7.1 (inactive)
language-todo, v0.28.0 (inactive)
language-toml, v0.18.0 (inactive)
language-xml, v0.34.9 (inactive)
language-yaml, v0.26.0 (inactive)

# Dev
No dev packages

Invalidating changed source code results

If a user edits a C source file after its KT Advance analysis was completed, then the previous Advance results may no longer be accurate. There are some sophisticated parsing algorithms we might apply later to determine whether the analysis remains accurate after a change. Until then, perhaps we can apply a simple default rule that any change to a function automatically invalidates all previous analysis results associated with that function (INV, PPO, PEV, SPO, SEV, API).

How best to show previous results invalidated? I don't know. Can these be tagged somehow as dirty to indicate the analysis for that function must be re-performed? We don't want necessarily to remove the results altogether because the user might parse for himself whether it remains valid. Moreover we might track statistics on file/program dirty result counts.

Line number magic

During source code editing, the initial Advance results markers correctly follow source lines around, but the associated line numbers in message bodies do not update.

Subsequently invoking ⌘+S replaces the Advance results at the original line numbers which are now incorrect.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.