@@ -709,7 +709,7 @@ module AKS {
709709 */
710710 predicate hasCount ( ) { exists ( this .getCount ( ) ) }
711711
712- string toString ( ) { result = "AgentPoolProfile" }
712+ override string toString ( ) { result = "AgentPoolProfile" }
713713 }
714714
715715 /**
@@ -738,7 +738,7 @@ module AKS {
738738 */
739739 StringLiteral getPrivateDnsZone ( ) { result = this .getProperty ( "privateDnsZone" ) }
740740
741- string toString ( ) { result = "ApiServerAccessProfile" }
741+ override string toString ( ) { result = "ApiServerAccessProfile" }
742742 }
743743
744744 /**
@@ -758,7 +758,7 @@ module AKS {
758758 */
759759 AddonKubeDashboard getKubeDashboard ( ) { result = this .getProperty ( "kubeDashboard" ) }
760760
761- string toString ( ) { result = "AddonProfiles" }
761+ override string toString ( ) { result = "AddonProfiles" }
762762 }
763763
764764 /**
@@ -781,7 +781,7 @@ module AKS {
781781 result = this .getEnabled ( ) .getBool ( )
782782 }
783783
784- string toString ( ) { result = "AddonKubeDashboard" }
784+ override string toString ( ) { result = "AddonKubeDashboard" }
785785 }
786786
787787 /**
@@ -800,7 +800,7 @@ module AKS {
800800 */
801801 Boolean getEnabled ( ) { result = this .getProperty ( "enabled" ) }
802802
803- string toString ( ) { result = "AddonAzurePolicy" }
803+ override string toString ( ) { result = "AddonAzurePolicy" }
804804 }
805805
806806 /**
@@ -849,7 +849,7 @@ module AKS {
849849 */
850850 predicate hasAdminGroupObjectIDs ( ) { exists ( this .getAdminGroupObjectIDs ( ) ) }
851851
852- string toString ( ) { result = "AADProfile" }
852+ override string toString ( ) { result = "AADProfile" }
853853 }
854854
855855 /**
@@ -913,7 +913,7 @@ module AKS {
913913 */
914914 Boolean getSkipNodesWithSystemPods ( ) { result = this .getProperty ( "skipNodesWithSystemPods" ) }
915915
916- string toString ( ) { result = "AutoScalerProfile" }
916+ override string toString ( ) { result = "AutoScalerProfile" }
917917 }
918918
919919 /**
@@ -947,7 +947,7 @@ module AKS {
947947 */
948948 Expr getAutoUpgradeChannels ( ) { result = this .getProperty ( "autoUpgradeChannels" ) }
949949
950- string toString ( ) { result = "AutoUpgradeProfile" }
950+ override string toString ( ) { result = "AutoUpgradeProfile" }
951951 }
952952
953953 /**
@@ -976,7 +976,7 @@ module AKS {
976976 */
977977 Expr getProfiles ( ) { result = this .getProperty ( "profiles" ) }
978978
979- string toString ( ) { result = "AzureMonitorProfile" }
979+ override string toString ( ) { result = "AzureMonitorProfile" }
980980 }
981981
982982
@@ -1001,7 +1001,7 @@ module AKS {
10011001 */
10021002 Boolean getIstioEnabled ( ) { result = this .getProperty ( "istioEnabled" ) }
10031003
1004- string toString ( ) { result = "ServiceMeshProfile" }
1004+ override string toString ( ) { result = "ServiceMeshProfile" }
10051005 }
10061006
10071007 /**
@@ -1025,7 +1025,7 @@ module AKS {
10251025 */
10261026 Expr getVerticalPodAutoscaler ( ) { result = this .getProperty ( "verticalPodAutoscaler" ) }
10271027
1028- string toString ( ) { result = "WorkloadAutoScalerProfile" }
1028+ override string toString ( ) { result = "WorkloadAutoScalerProfile" }
10291029 }
10301030
10311031 /**
@@ -1059,7 +1059,7 @@ module AKS {
10591059 */
10601060 StringLiteral getTrustedCa ( ) { result = this .getProperty ( "trustedCa" ) }
10611061
1062- string toString ( ) { result = "HttpProxyConfig" }
1062+ override string toString ( ) { result = "HttpProxyConfig" }
10631063 }
10641064
10651065 /**
@@ -1083,7 +1083,7 @@ module AKS {
10831083 */
10841084 Boolean getUserAssignedIdentityExceptions ( ) { result = this .getProperty ( "userAssignedIdentityExceptions" ) }
10851085
1086- string toString ( ) { result = "PodIdentityProfile" }
1086+ override string toString ( ) { result = "PodIdentityProfile" }
10871087 }
10881088
10891089 /**
@@ -1107,7 +1107,7 @@ module AKS {
11071107 */
11081108 StringLiteral getSecret ( ) { result = this .getProperty ( "secret" ) }
11091109
1110- string toString ( ) { result = "ServicePrincipalProfile" }
1110+ override string toString ( ) { result = "ServicePrincipalProfile" }
11111111 }
11121112
11131113 /**
@@ -1126,7 +1126,7 @@ module AKS {
11261126 */
11271127 Expr getWebApplicationFirewallProfile ( ) { result = this .getProperty ( "webApplicationFirewallProfile" ) }
11281128
1129- string toString ( ) { result = "IngressProfile" }
1129+ override string toString ( ) { result = "IngressProfile" }
11301130 }
11311131
11321132 /**
@@ -1145,7 +1145,7 @@ module AKS {
11451145 */
11461146 Boolean getEnabled ( ) { result = this .getProperty ( "enabled" ) }
11471147
1148- string toString ( ) { result = "MetricsProfile" }
1148+ override string toString ( ) { result = "MetricsProfile" }
11491149 }
11501150
11511151 /**
@@ -1169,7 +1169,7 @@ module AKS {
11691169 */
11701170 StringLiteral getIssuerURL ( ) { result = this .getProperty ( "issuerURL" ) }
11711171
1172- string toString ( ) { result = "OidcIssuerProfile" }
1172+ override string toString ( ) { result = "OidcIssuerProfile" }
11731173 }
11741174
11751175 /**
@@ -1188,7 +1188,7 @@ module AKS {
11881188 */
11891189 Boolean getEnabled ( ) { result = this .getProperty ( "enabled" ) }
11901190
1191- string toString ( ) { result = "SafeguardsProfile" }
1191+ override string toString ( ) { result = "SafeguardsProfile" }
11921192 }
11931193
11941194 /**
@@ -1207,7 +1207,7 @@ module AKS {
12071207 */
12081208 Boolean getEnabled ( ) { result = this .getProperty ( "enabled" ) }
12091209
1210- string toString ( ) { result = "AIToolchainOperatorProfile" }
1210+ override string toString ( ) { result = "AIToolchainOperatorProfile" }
12111211 }
12121212 }
12131213}
0 commit comments