-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtypes.json-analysis.txt
More file actions
35 lines (29 loc) · 955 Bytes
/
types.json-analysis.txt
File metadata and controls
35 lines (29 loc) · 955 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
State not perceptible on heap:
drawEchoCharacter* // Fixed by GraphicsGenerator
drawLine* // Fixed by GraphicsGenerator
drawSelectedText* // Fixed by GraphicsGenerator
drawTabbedText* // Fixed by GraphicsGenerator
drawUnselectedText // Fixed by GraphicsGenerator
--> Arguments are not compared?
Incomplete component: Missing size/UI
getPositionAbove
getPositionBelow
findFocusOwner
Incomplete component: Always true or false
isManagingFocus
requestDefaultFocus
Incompleteness:
decode // no-op
isBackingStoreEnabled // 1 out of 2^32 values
loadClass // always exception
setUnicodeStream // always exception
Abstract class:
InputVerifier#shouldYieldFocus
Native method:
weakCompareAndSet5
weakCompareAndSet2
weakCompareAndSet5
No explanation yet:
disableSwingFocusManager // Requires static state of parent.
getLabel // Unsound because `getActionCommand` is equivalent if button model is always `null`
setLogStream // Requires static state of parent.