◆ WidthResult()
grammarscope.common.component.ParseView.WidthResult.WidthResult |
( |
final double |
width, |
|
|
final double |
nodeTab, |
|
|
final double |
nodeCenter, |
|
|
final double |
childTab |
|
) |
| |
◆ childTab
final double grammarscope.common.component.ParseView.WidthResult.childTab |
◆ nodeCenter
final double grammarscope.common.component.ParseView.WidthResult.nodeCenter |
◆ nodeTab
final double grammarscope.common.component.ParseView.WidthResult.nodeTab |
◆ width
final double grammarscope.common.component.ParseView.WidthResult.width |
The documentation for this class was generated from the following file:
- grammarscope/common/src/main/java/grammarscope/common/component/ParseView.java