Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Verifpal
Verifpal for Visual Studio Code
Commits
a2413517
Verified
Commit
a2413517
authored
May 07, 2021
by
Nadim Kobeissi
💾
Browse files
Verifpal for Visual Studio Code 1.0.9
parent
3b12d324
Pipeline
#854
failed with stages
in 1 minute and 4 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
package-lock.json
View file @
a2413517
{
"name": "verifpal",
"version"
:
"1.0.
8
"
,
"version": "1.0.
9
",
"lockfileVersion": 2,
"requires": true,
"packages": {
"": {
"name": "verifpal",
"version"
:
"1.0.
8
"
,
"version": "1.0.
9
",
"license": "GPL-3.0",
"dependencies": {
"cross-spawn": "latest"
...
...
package.json
View file @
a2413517
{
"name"
:
"verifpal"
,
"displayName"
:
"Verifpal"
,
"version"
:
"1.0.
8
"
,
"version"
:
"1.0.
9
"
,
"publisher"
:
"symbolicsoft"
,
"description"
:
"Verifpal language support."
,
"author"
:
{
...
...
src/HoverProvider.ts
View file @
a2413517
...
...
@@ -6,7 +6,7 @@ import VerifpalLib from "./VerifpalLib";
export
default
class
HoverProvider
{
provideHover
(
document
:
vscode
.
TextDocument
,
position
:
vscode
.
Position
):
Promise
<
any
>
{
const
wordPosition
=
document
.
getWordRangeAtPosition
(
position
);
if
(
!
wordPosition
)
return
new
Promise
((
resolve
)
=>
resolve
()
)
;
if
(
!
wordPosition
)
return
Promise
.
resolve
();
const
word
=
document
.
getText
(
wordPosition
);
const
fileContents
=
document
.
getText
();
return
VerifpalLib
.
getKnowledgeMap
(
fileContents
).
then
((
result
:
string
)
=>
{
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment