Skip to content

Commit fa56d3f

Browse files
authored
Debug Java Module Overrides.
Listen for JVM remote debug connections when launching TLC in smoke-test mode. [IDE]
1 parent da0fb2c commit fa56d3f

File tree

3 files changed

+24
-3
lines changed

3 files changed

+24
-3
lines changed

.project

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,15 @@
1414
<natures>
1515
<nature>org.eclipse.jdt.core.javanature</nature>
1616
</natures>
17+
<filteredResources>
18+
<filter>
19+
<id>1644339741492</id>
20+
<name></name>
21+
<type>30</type>
22+
<matcher>
23+
<id>org.eclipse.core.resources.regexFilterMatcher</id>
24+
<arguments>node_modules|.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
25+
</matcher>
26+
</filter>
27+
</filteredResources>
1728
</projectDescription>

.vscode/launch.json

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,20 @@
44
"configurations": [
55
{
66
"type": "java",
7-
"name": "Debug Java Module Override (Attach 8000)",
7+
"name": "Debug Java Module Override",
88
"request": "attach",
99
"hostName": "localhost",
10-
"port": 8000
10+
"port": "${input:portPrompt}"
11+
// vscode-java's process picker broken https://github.com/microsoft/vscode-java-debug/issues/1121
12+
// "processId": "${command:PickJavaProcess}"
13+
}
14+
],
15+
"inputs": [
16+
{
17+
"id": "portPrompt",
18+
"description": "Please enter the port of TLC's Java VM",
19+
"default": "8080",
20+
"type": "promptString"
1121
}
1222
]
1323
}

.vscode/settings.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"tlaplus.smoke.prefix.path": "../.smoke/",
33
"tlaplus.smoke.prefix.name": "Smoke",
44
"tlaplus.tlc.modelChecker.options": "-deadlock -noTE",
5-
"tlaplus.java.options": "-XX:+UseParallelGC -DTLA-Library=/workspaces/CommunityModules/.smoke/:/workspaces/CommunityModules/modules/:/workspaces/CommunityModules/tests -Dtlc2.overrides.TLCOverrides=tlc2.overrides.TLCOverrides -cp /workspaces/CommunityModules/tlc/tla2tools.jar:/workspaces/CommunityModules/build/modules:/workspaces/CommunityModules/build/deps",
5+
"tlaplus.java.options": "-XX:+UseParallelGC -agentlib:jdwp=transport=dt_socket,server=y,suspend=n,address=0 -DTLA-Library=/workspaces/CommunityModules/.smoke/:/workspaces/CommunityModules/modules/:/workspaces/CommunityModules/tests -Dtlc2.overrides.TLCOverrides=tlc2.overrides.TLCOverrides -cp /workspaces/CommunityModules/tlc/tla2tools.jar:/workspaces/CommunityModules/build/modules:/workspaces/CommunityModules/build/deps",
66
"tlaplus.java.home": "/home/codespace/.java/current/",
77
"[tlaplus]": {"editor.codeActionsOnSave": {"source": true} },
88
"breadcrumbs.enabled": false,

0 commit comments

Comments
 (0)