diff options
Diffstat (limited to 'api/dotty/tools/dotc/util/Positions$/Position.html')
-rw-r--r-- | api/dotty/tools/dotc/util/Positions$/Position.html | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html index c5e68fbec..72a4aabd1 100644 --- a/api/dotty/tools/dotc/util/Positions$/Position.html +++ b/api/dotty/tools/dotc/util/Positions$/Position.html @@ -6528,9 +6528,9 @@ Int </script> </div><!-- end member --> - <div id="lineContent(lineNumber)" class="member "> + <div id="lineContent" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent(lineNumber)');">[+]</span> + <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent');">[+]</span> <span class="member-annotations"> </span> @@ -6547,19 +6547,6 @@ Int </span> - - <span class="no-left">(</span> - - - <span class="no-left"> - lineNumber: - </span> - Int - - - <span class="no-left">)</span> - - @@ -6569,10 +6556,10 @@ Int </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-lineContent(lineNumber)"> + <div class="member-body-short" id="short-body-lineContent"> </div> - <div class="member-body-long" id ="long-body-lineContent(lineNumber)"> + <div class="member-body-long" id ="long-body-lineContent"> </div> </div> @@ -6589,9 +6576,9 @@ Int </script> </div><!-- end member --> - <div id="lineContent" class="member "> + <div id="lineContent(lineNumber)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent');">[+]</span> + <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent(lineNumber)');">[+]</span> <span class="member-annotations"> </span> @@ -6608,6 +6595,19 @@ Int </span> + + <span class="no-left">(</span> + + + <span class="no-left"> + lineNumber: + </span> + Int + + + <span class="no-left">)</span> + + @@ -6617,10 +6617,10 @@ Int </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-lineContent"> + <div class="member-body-short" id="short-body-lineContent(lineNumber)"> </div> - <div class="member-body-long" id ="long-body-lineContent"> + <div class="member-body-long" id ="long-body-lineContent(lineNumber)"> </div> </div> |