File tree
10 files changed
+276
-135
lines changed- codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo
- codegen
- localservice
- nameresolver
- shapevisitor
- utils
10 files changed
+276
-135
lines changedLines changed: 5 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
115 | 115 | | |
116 | 116 | | |
117 | 117 | | |
118 | | - | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
119 | 122 | | |
120 | 123 | | |
121 | 124 | | |
| |||
158 | 161 | | |
159 | 162 | | |
160 | 163 | | |
161 | | - | |
| 164 | + | |
162 | 165 | | |
163 | 166 | | |
164 | 167 | | |
| |||
Lines changed: 10 additions & 11 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
400 | 400 | | |
401 | 401 | | |
402 | 402 | | |
403 | | - | |
404 | | - | |
405 | | - | |
| 403 | + | |
| 404 | + | |
406 | 405 | | |
407 | | - | |
| 406 | + | |
408 | 407 | | |
409 | 408 | | |
410 | 409 | | |
| |||
541 | 540 | | |
542 | 541 | | |
543 | 542 | | |
544 | | - | |
| 543 | + | |
545 | 544 | | |
546 | 545 | | |
547 | 546 | | |
548 | | - | |
| 547 | + | |
549 | 548 | | |
550 | 549 | | |
551 | 550 | | |
| |||
576 | 575 | | |
577 | 576 | | |
578 | 577 | | |
579 | | - | |
| 578 | + | |
580 | 579 | | |
581 | 580 | | |
582 | 581 | | |
583 | 582 | | |
584 | 583 | | |
585 | | - | |
| 584 | + | |
586 | 585 | | |
587 | 586 | | |
588 | 587 | | |
| |||
646 | 645 | | |
647 | 646 | | |
648 | 647 | | |
649 | | - | |
| 648 | + | |
650 | 649 | | |
651 | 650 | | |
652 | 651 | | |
| |||
672 | 671 | | |
673 | 672 | | |
674 | 673 | | |
675 | | - | |
| 674 | + | |
676 | 675 | | |
677 | 676 | | |
678 | 677 | | |
679 | | - | |
| 678 | + | |
680 | 679 | | |
681 | 680 | | |
682 | 681 | | |
| |||
Lines changed: 4 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
89 | 89 | | |
90 | 90 | | |
91 | 91 | | |
92 | | - | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
93 | 96 | | |
94 | 97 | | |
95 | 98 | | |
| |||
Lines changed: 18 additions & 12 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
514 | 514 | | |
515 | 515 | | |
516 | 516 | | |
517 | | - | |
| 517 | + | |
| 518 | + | |
518 | 519 | | |
519 | 520 | | |
520 | 521 | | |
| |||
523 | 524 | | |
524 | 525 | | |
525 | 526 | | |
526 | | - | |
| 527 | + | |
527 | 528 | | |
528 | 529 | | |
529 | 530 | | |
530 | 531 | | |
531 | 532 | | |
532 | 533 | | |
533 | | - | |
| 534 | + | |
534 | 535 | | |
535 | 536 | | |
536 | 537 | | |
| |||
610 | 611 | | |
611 | 612 | | |
612 | 613 | | |
613 | | - | |
| 614 | + | |
| 615 | + | |
614 | 616 | | |
615 | 617 | | |
616 | 618 | | |
| |||
619 | 621 | | |
620 | 622 | | |
621 | 623 | | |
622 | | - | |
| 624 | + | |
623 | 625 | | |
624 | 626 | | |
625 | 627 | | |
626 | 628 | | |
627 | 629 | | |
628 | 630 | | |
629 | | - | |
| 631 | + | |
630 | 632 | | |
631 | 633 | | |
632 | 634 | | |
| |||
671 | 673 | | |
672 | 674 | | |
673 | 675 | | |
674 | | - | |
| 676 | + | |
| 677 | + | |
675 | 678 | | |
676 | 679 | | |
677 | | - | |
| 680 | + | |
| 681 | + | |
678 | 682 | | |
679 | 683 | | |
680 | 684 | | |
681 | 685 | | |
682 | 686 | | |
683 | 687 | | |
684 | 688 | | |
685 | | - | |
| 689 | + | |
| 690 | + | |
686 | 691 | | |
687 | 692 | | |
688 | 693 | | |
| |||
691 | 696 | | |
692 | 697 | | |
693 | 698 | | |
694 | | - | |
| 699 | + | |
695 | 700 | | |
696 | 701 | | |
697 | 702 | | |
698 | 703 | | |
699 | 704 | | |
700 | 705 | | |
701 | | - | |
| 706 | + | |
702 | 707 | | |
703 | 708 | | |
704 | 709 | | |
| |||
721 | 726 | | |
722 | 727 | | |
723 | 728 | | |
724 | | - | |
| 729 | + | |
| 730 | + | |
725 | 731 | | |
726 | 732 | | |
727 | 733 | | |
| |||
0 commit comments