Skip to content

Commit

Permalink
Minor corrections for Java CG test result files
Browse files Browse the repository at this point in the history
  • Loading branch information
@peterwvj
peterwvj committed Oct 29, 2018
1 parent 918a802 commit 69a6a3c
Show file tree
Hide file tree
Showing 19 changed files with 19 additions and 19 deletions.
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ComplexExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyAChvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLlNlcVZhbHVlAAAAAAAAAAECAAFMAAZ2YWx1ZXN0ACtMb3JnL292ZXJ0dXJlL2ludGVycHJldGVyL3ZhbHVlcy9WYWx1ZUxpc3Q7eHIAJW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWUAAAAAAAAAAQIAAHhwc3IAKW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWVMaXN0Uhk0i4Rc9FoCAAB4cgAQamF2YS51dGlsLlZlY3RvctmXfVuAO68BAwADSQARY2FwYWNpdHlJbmNyZW1lbnRJAAxlbGVtZW50Q291bnRbAAtlbGVtZW50RGF0YXQAE1tMamF2YS9sYW5nL09iamVjdDt4cAAAAAAAAAAGdXIAE1tMamF2YS5sYW5nLk9iamVjdDuQzlifEHMpbAIAAHhwAAAACnNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cQB+AAIAc3EAfgAKAXNxAH4ACgBzcQB+AAoBc3EAfgAKAXNxAH4ACgBwcHBweA==" resource="IsExp.vdmpp" value="[false, true, false, true, true, false]"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpBoolFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpBoolFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpBoolTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpBoolTrue.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpCharFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpCharFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpCharTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpCharTrue.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpIntFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpIntFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpIntTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpIntTrue.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion ...src/test/resources/is_expressions/IsExpNamedTypeInvariantRecursiveTypes.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ComplexExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpNamedTypeInvariantRecursiveTypes.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion .../src/test/resources/is_expressions/IsExpNamedTypeInvariantUnionOfQuotes.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ComplexExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyAChvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLlNlcVZhbHVlAAAAAAAAAAECAAFMAAZ2YWx1ZXN0ACtMb3JnL292ZXJ0dXJlL2ludGVycHJldGVyL3ZhbHVlcy9WYWx1ZUxpc3Q7eHIAJW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWUAAAAAAAAAAQIAAHhwc3IAKW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWVMaXN0Uhk0i4Rc9FoCAAB4cgAQamF2YS51dGlsLlZlY3RvctmXfVuAO68BAwADSQARY2FwYWNpdHlJbmNyZW1lbnRJAAxlbGVtZW50Q291bnRbAAtlbGVtZW50RGF0YXQAE1tMamF2YS9sYW5nL09iamVjdDt4cAAAAAAAAAAEdXIAE1tMamF2YS5sYW5nLk9iamVjdDuQzlifEHMpbAIAAHhwAAAACnNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cQB+AAIAc3EAfgAKAXNxAH4ACgBzcQB+AAoBcHBwcHBweA==" resource="IsExpNamedTypeInvariantUnionOfQuotes.vdmpp" value="[false, true, false, true]"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpNat1False.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpNat1False.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpNat1True.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpNat1True.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpNatFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpNatFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpNatTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpNatTrue.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpNatUnionBool.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ComplexExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyAChvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLlNlcVZhbHVlAAAAAAAAAAECAAFMAAZ2YWx1ZXN0ACtMb3JnL292ZXJ0dXJlL2ludGVycHJldGVyL3ZhbHVlcy9WYWx1ZUxpc3Q7eHIAJW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWUAAAAAAAAAAQIAAHhwc3IAKW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWVMaXN0Uhk0i4Rc9FoCAAB4cgAQamF2YS51dGlsLlZlY3RvctmXfVuAO68BAwADSQARY2FwYWNpdHlJbmNyZW1lbnRJAAxlbGVtZW50Q291bnRbAAtlbGVtZW50RGF0YXQAE1tMamF2YS9sYW5nL09iamVjdDt4cAAAAAAAAAAEdXIAE1tMamF2YS5sYW5nLk9iamVjdDuQzlifEHMpbAIAAHhwAAAACnNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cQB+AAIBc3EAfgAKAHNxAH4ACgFzcQB+AAoAcHBwcHBweA==" resource="IsExpNatUnionBool.vdmpp" value="[true, false, true, false]"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpQuoteType.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ComplexExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyAChvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLlNlcVZhbHVlAAAAAAAAAAECAAFMAAZ2YWx1ZXN0ACtMb3JnL292ZXJ0dXJlL2ludGVycHJldGVyL3ZhbHVlcy9WYWx1ZUxpc3Q7eHIAJW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWUAAAAAAAAAAQIAAHhwc3IAKW9yZy5vdmVydHVyZS5pbnRlcnByZXRlci52YWx1ZXMuVmFsdWVMaXN0Uhk0i4Rc9FoCAAB4cgAQamF2YS51dGlsLlZlY3RvctmXfVuAO68BAwADSQARY2FwYWNpdHlJbmNyZW1lbnRJAAxlbGVtZW50Q291bnRbAAtlbGVtZW50RGF0YXQAE1tMamF2YS9sYW5nL09iamVjdDt4cAAAAAAAAAACdXIAE1tMamF2YS5sYW5nLk9iamVjdDuQzlifEHMpbAIAAHhwAAAACnNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cQB+AAIBc3EAfgAKAHBwcHBwcHBweA==" resource="IsExpQuoteType.vdmpp" value="[true, false]"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpRatFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpRatFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpRatTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpRatTrue.vdmpp" value="true"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpTokenFalse.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAA" resource="IsExpTokenFalse.vdmpp" value="false"/>
</result>
Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/src/test/resources/is_expressions/IsExpTokenTrue.vdmpp.eval.result
View file
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.codegen.tests.exec.ExpJavaGenTest">
<testResult type="org.overture.codegen.tests.exec.IsExpJavaGenTest">
<result>
<output object="rO0ABXNyACxvcmcub3ZlcnR1cmUuaW50ZXJwcmV0ZXIudmFsdWVzLkJvb2xlYW5WYWx1ZQAAAAAAAAABAgABWgAFdmFsdWV4cgAlb3JnLm92ZXJ0dXJlLmludGVycHJldGVyLnZhbHVlcy5WYWx1ZQAAAAAAAAABAgAAeHAB" resource="IsExpTokenTrue.vdmpp" value="true"/>
</result>
Expand Down

0 comments on commit 69a6a3c

Please sign in to comment.