Commit 0c58588 1 parent 04de64d commit 0c58588 Copy full SHA for 0c58588
File tree 2 files changed +3
-2
lines changed
2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -22,6 +22,7 @@ type Asn1Service() =
22
22
Dto.GenerationOptions.TypePrefix = " "
23
23
Dto.GenerationOptions.FieldPrefix = CommonTypes.FieldPrefixAuto
24
24
Dto.GenerationOptions.RenamePolicy = CommonTypes.EnumRenamePolicy.SelectiveEnumerants
25
+ Dto.GenerationOptions.ObjectIdentifierMaxLength = 8
25
26
}
26
27
27
28
interface IAsn1Service with
@@ -79,8 +80,7 @@ type Asn1Service() =
79
80
custom_ Stg_ Ast_ Version = 1
80
81
fieldPrefix = match box options.FieldPrefix with | null -> None | _ -> Some( options.FieldPrefix)
81
82
targetLanguages = match box options.TargetLanguage with | null -> [ defaultOptions.TargetLanguage] | _ -> [ options.TargetLanguage]
82
- floatingPointSizeInBytes = 8 I
83
- objectIdentifierMaxLength = 8 I
83
+ objectIdentifierMaxLength = bigint( match options.ObjectIdentifierMaxLength with | 0 -> defaultOptions.ObjectIdentifierMaxLength | _ -> options.ObjectIdentifierMaxLength)
84
84
}
85
85
86
86
member private this.ConvertInput ( input : Dto.FileData ) : CommonTypes.Input =
Original file line number Diff line number Diff line change @@ -10,6 +10,7 @@ type GenerationOptions = {
10
10
TypePrefix: string
11
11
FieldPrefix: CommonTypes .FieldPrefix
12
12
RenamePolicy: CommonTypes .EnumRenamePolicy
13
+ ObjectIdentifierMaxLength: int
13
14
}
14
15
15
16
type FileData = {
You can’t perform that action at this time.
0 commit comments