Small linting fixes. (#8592)

This commit is contained in:
James Dunkerley 2023-12-20 17:25:43 +00:00 committed by GitHub
parent 232077f25e
commit 2e9bd86854
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
8 changed files with 18 additions and 11 deletions

View File

@ -1355,11 +1355,13 @@ type Builder
## PRIVATE
Describes an error produced by a function mapped over a Vector. Includes the
funtion argument's position in the vector.
function argument's position in the vector.
An error that is wrapped as a `Map_Error` can be caught as a `Map_Error`, or
as itself. In the latter case, the `Map_Error` wrapper is stripped off.
type Map_Error
## PRIVATE
Creates a new `Map_Error` from the given index and underlying error.
Error (index:Integer) inner_error
## PRIVATE
@ -1369,8 +1371,10 @@ type Map_Error
## PRIVATE
Indicates that a method should not wrap thrown errors in `Map_Error`.
type No_Wrap
## PRIVATE
Value
## PRIVATE
Wrapped_Error.from (that : Map_Error) = Wrapped_Error.Value that that.inner_error
## PRIVATE

View File

@ -1,3 +1,5 @@
import Standard.Base.System.File_Format.File_Format_Metadata
import project.Any.Any
import project.Data.Text.Text
import project.Data.XML.XML_Document
@ -6,7 +8,6 @@ import project.Network.URI.URI
import project.Nothing.Nothing
import project.System.File.File
import project.System.File_Format.File_For_Read
import Standard.Base.System.File_Format.File_Format_Metadata
import project.System.Input_Stream.Input_Stream
from project.Data.Text.Extensions import all

View File

@ -1,12 +1,12 @@
import project.Any.Any
import project.Data.Maybe.Maybe
import project.Data.Pair.Pair
import project.Data.Text.Text
import project.Data.Vector.Vector
import project.Errors.Common.No_Such_Conversion
import project.Errors.Wrapped_Error.Wrapped_Error
import project.Meta
import project.Nothing.Nothing
import project.Data.Pair.Pair
import project.Panic.Panic
import project.Runtime.Stack_Trace_Element
from project.Data.Boolean import Boolean, False, True

View File

@ -6,10 +6,10 @@ import project.Data.Text.Text
See `Error.catch` for details about error wrapping.
type Wrapped_Error
## PRIVATE
Value wrapping_error inner_error
## PRIVATE
Create a human-readable version of the error.
to_display_text : Text
to_display_text self =

View File

@ -7,8 +7,8 @@ import project.Data.Numbers.Integer
import project.Data.Vector.Map_Error
import project.Data.Vector.No_Wrap
import project.Data.Vector.Vector
import project.Errors.Common.Additional_Warnings
import project.Error.Error
import project.Errors.Common.Additional_Warnings
import project.Errors.Problem_Behavior.Problem_Behavior
import project.Errors.Unimplemented.Unimplemented
import project.Nothing.Nothing

View File

@ -1,8 +1,8 @@
import project.Any.Any
import project.Data.Text.Text
import project.Network.HTTP.HTTP_Status_Code.HTTP_Status_Code
import project.Network.URI.URI
import project.Network.URI_With_Query.URI_With_Query
import project.Network.HTTP.HTTP_Status_Code.HTTP_Status_Code
import project.Nothing.Nothing
import project.Panic.Panic

View File

@ -5,8 +5,8 @@ import Standard.Base.Errors.Illegal_State.Illegal_State
import Standard.Base.Metadata.Display
import Standard.Base.Runtime.Managed_Resource.Managed_Resource
import Standard.Base.Runtime.Ref.Ref
import Standard.Base.System.Input_Stream.Input_Stream
import Standard.Base.System.File.Advanced.Temporary_File.Temporary_File
import Standard.Base.System.Input_Stream.Input_Stream
from Standard.Base.Data.Filter_Condition import sql_like_to_regex
from Standard.Base.Metadata.Choice import Option
from Standard.Base.Metadata.Widget import Single_Choice
@ -19,10 +19,10 @@ import project.Internal.Java_Problems
polyglot java import java.io.File as Java_File
polyglot java import org.apache.poi.ss.usermodel.Workbook
polyglot java import org.enso.table.read.ExcelReader
polyglot java import org.enso.table.excel.ExcelConnectionPool
polyglot java import org.enso.table.excel.ExcelFileFormat
polyglot java import org.enso.table.excel.ReadOnlyExcelConnection
polyglot java import org.enso.table.read.ExcelReader
type Excel_Workbook
## PRIVATE
@ -240,7 +240,8 @@ type Excel_Workbook
sheet self name:(Text | Integer) =
self.read_section (Excel_Section.Worksheet name 0 Nothing)
## ADVANCED
## PRIVATE
ADVANCED
Closes the workbook, releasing any resources it holds.
This method may be used to release the underlying workbook file,
@ -257,7 +258,8 @@ type Excel_Workbook
self.excel_connection_resource_ref.put Nothing
Nothing
## Returns a simple text description of the workbook.
## PRIVATE
Returns a simple text description of the workbook.
to_text : Text
to_text self =
associated_regular_file = case self.file of

View File

@ -2,7 +2,7 @@ from Standard.Base import all
import Standard.Base.Runtime.Ref.Ref
import project.Internal.Vector_Builder.Vector_Builder
from project.Errors import Duplicate_Output_Column_Names, Invalid_Aggregate_Column, Invalid_Column_Names, Missing_Input_Columns, Truncated_Column_Names, No_Output_Columns
from project.Errors import Duplicate_Output_Column_Names, Invalid_Aggregate_Column, Invalid_Column_Names, Missing_Input_Columns, No_Output_Columns, Truncated_Column_Names
## PRIVATE
type Problem_Builder