-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: OrphanedShapes TestModel, GHA uses ubuntu-22.04 (#744)
- Loading branch information
1 parent
84523f4
commit 8e428ca
Showing
45 changed files
with
1,092 additions
and
25 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -11,7 +11,7 @@ jobs: | |
| strategy: | ||
| fail-fast: false | ||
| matrix: | ||
| os: [ubuntu-latest, windows-latest, macos-13] | ||
| os: [ubuntu-22.04, windows-latest, macos-13] | ||
| runs-on: ${{matrix.os}} | ||
| steps: | ||
| - uses: actions/checkout@v3 | ||
|
|
@@ -47,5 +47,5 @@ jobs: | |
| run: make polymorph_dafny | ||
|
|
||
| - name: not-grep | ||
| if: matrix.os == 'ubuntu-latest' | ||
| if: matrix.os == 'ubuntu-22.04' | ||
| uses: mattsb42-meta/[email protected] | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,55 @@ | ||
| # Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
|
|
||
| CORES=2 | ||
|
|
||
| ENABLE_EXTERN_PROCESSING=1 | ||
| TRANSPILE_TESTS_IN_RUST=1 | ||
|
|
||
| include ../SharedMakefile.mk | ||
|
|
||
| NAMESPACE=simple.orphaned | ||
|
|
||
| PROJECT_SERVICES := \ | ||
| SimpleOrphaned | ||
|
|
||
| MAIN_SERVICE_FOR_RUST := SimpleOrphaned | ||
|
|
||
| SERVICE_NAMESPACE_SimpleOrphaned=simple.orphaned | ||
|
|
||
| SERVICE_DEPS_SimpleOrphaned := | ||
|
|
||
| SMITHY_DEPS=dafny-dependencies/Model/traits.smithy | ||
|
|
||
| # This project has no dependencies | ||
| # DEPENDENT-MODELS:= | ||
|
|
||
| POLYMORPH_OPTIONS=--generate project-files,client-constructors\ | ||
|
|
||
| # Go | ||
|
|
||
| GO_MODULE_NAME="github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes" | ||
|
|
||
| TRANSLATION_RECORD_GO := \ | ||
| dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr | ||
|
|
||
| # Python | ||
|
|
||
| PYTHON_MODULE_NAME=simple_orphaned | ||
|
|
||
| TRANSLATION_RECORD_PYTHON := \ | ||
| --translation-record ../dafny-dependencies/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr | ||
|
|
||
| # Constants for languages that drop extern names (Python, Go) | ||
|
|
||
| TYPES_FILE_PATH=Model/SimpleOrphanedTypes.dfy | ||
| TYPES_FILE_WITH_EXTERN_STRING="module {:extern \"simple.orphaned.internaldafny.types\" } SimpleOrphanedTypes" | ||
| TYPES_FILE_WITHOUT_EXTERN_STRING="module SimpleOrphanedTypes" | ||
|
|
||
| INDEX_FILE_PATH=src/Index.dfy | ||
| INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"simple.orphaned.internaldafny\" } SimpleOrphaned refines AbstractSimpleOrphanedService {" | ||
| INDEX_FILE_WITHOUT_EXTERN_STRING="module SimpleOrphaned refines AbstractSimpleOrphanedService {" | ||
|
|
||
| WRAPPED_INDEX_FILE_PATH=src/WrappedSimpleOrphanedImpl.dfy | ||
| WRAPPED_INDEX_FILE_WITH_EXTERN_STRING="module {:options \"--function-syntax:4\"} {:extern \"simple.orphaned.internaldafny.wrapped\"} WrappedSimpleOrphanedService refines WrappedAbstractSimpleOrphanedService {" | ||
| WRAPPED_INDEX_FILE_WITHOUT_EXTERN_STRING="module {:options \"--function-syntax:4\"} WrappedSimpleOrphanedService refines WrappedAbstractSimpleOrphanedService {" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,130 @@ | ||
| // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
| // SPDX-License-Identifier: Apache-2.0 | ||
|
|
||
| $version: "2" | ||
| namespace simple.orphaned | ||
|
|
||
| @aws.polymorph#localService( | ||
| sdkId: "SimpleOrphaned", | ||
| config: SimpleOrphanedConfig, | ||
| ) | ||
| service SimpleOrphaned { | ||
| version: "2021-11-01", | ||
| resources: [], | ||
| operations: [], | ||
| } | ||
|
|
||
| structure SimpleOrphanedConfig { | ||
| structureMember: OrphanedConfigShape | ||
| } | ||
|
|
||
| structure OrphanedConfigShape { | ||
| stringMember: String | ||
| } | ||
|
|
||
| blob OrphanedBlob | ||
|
|
||
| boolean OrphanedBoolean | ||
|
|
||
| string OrphanedString | ||
|
|
||
| // TODO: Once SimpleTypes for commented-out shapes are completed, | ||
| // uncomment these and add as members to OrphanedStructure | ||
| // byte OrphanedByte | ||
|
|
||
| // short OrphanedShort | ||
|
|
||
| integer OrphanedInteger | ||
|
|
||
| long OrphanedLong | ||
|
|
||
| // float OrphanedFloat | ||
|
|
||
| // double OrphanedDouble | ||
|
|
||
| // bigInteger OrphanedBigInteger | ||
|
|
||
| // bigDecimal OrphanedBigDecimal | ||
|
|
||
| // timestamp OrphanedTimestamp | ||
|
|
||
| // document OrphanedDocument | ||
|
|
||
| // This is a smithy V1 Enum | ||
| @enum([ | ||
| { | ||
| name: "FIRST", | ||
| value: "0x0014", | ||
| }, | ||
| { | ||
| name: "SECOND", | ||
| value: "0x0046", | ||
| }, | ||
| { | ||
| name: "THIRD", | ||
| value: "0x0078", | ||
| }, | ||
| ]) | ||
| string OrphanedV1Enum | ||
|
|
||
| list OrphanedList { | ||
| member: String | ||
| } | ||
|
|
||
| map OrphanedMap { | ||
| key: String | ||
| value: String | ||
| } | ||
|
|
||
| structure OrphanedStructure { | ||
| blobValue: OrphanedBlob, | ||
| booleanValue: OrphanedBoolean, | ||
| stringValue: OrphanedString, | ||
| // byteValue: OrphanedByte, | ||
| // shortValue: OrphanedShort, | ||
| integerValue: OrphanedInteger, | ||
| longValue: OrphanedLong, | ||
| // floatValue: OrphanedFloat, | ||
| // doubleValue: OrphanedDouble, | ||
| // bigIntegerValue: OrphanedBigInteger, | ||
| // bigDecimalValue: OrphanedBigDecimal, | ||
| // timestampValue: OrphanedTimestamp, | ||
| unionValue: OrphanedUnion, | ||
| enumValue: OrphanedV1Enum, | ||
| mapValue: OrphanedMap, | ||
| listValue: OrphanedList | ||
| } | ||
|
|
||
| union OrphanedUnion { | ||
| integerValue: Integer | ||
| stringValue: String | ||
| } | ||
|
|
||
| @error("client") | ||
| structure OrphanedError { | ||
| @required | ||
| message: String, | ||
| } | ||
|
|
||
| @aws.polymorph#reference(resource: OrphanedResource) | ||
| structure OrphanedResourceReference {} | ||
|
|
||
| @aws.polymorph#extendable | ||
| resource OrphanedResource { | ||
| operations: [ | ||
| OrphanedResourceOperation | ||
| ] | ||
| } | ||
|
|
||
| operation OrphanedResourceOperation { | ||
| input: OrphanedResourceOperationInput | ||
| output: OrphanedResourceOperationOutput | ||
| } | ||
|
|
||
| structure OrphanedResourceOperationInput { | ||
| someString: String | ||
| } | ||
|
|
||
| structure OrphanedResourceOperationOutput { | ||
| someString: String | ||
| } |
Oops, something went wrong.