TestJavaCardDLJavaExtensions

all > de.uka.ilkd.key.java > TestJavaCardDLJavaExtensions
2

tests
0

failures
0

ignored
5.580s

duration
100%

successful

Tests

Test Duration Result
testMethodFrameRedirectsScope() 2.724s passed
testTypeNotInScopeShouldNotBeFound() 2.856s passed

Standard output

24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
24521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
24537      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
24568      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javacardDLExtensions\typeResolutionInMethodFrame.key took 0 ms to parse. 
24568      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
25521      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
25521      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
27354      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception  de.uka.ilkd.key.util.ExceptionHandlerException: Recoder: 1 errors have occurred - aborting.
	at de.uka.ilkd.key.util.KeYRecoderExcHandler.recoderExitAction(KeYRecoderExcHandler.java:69)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27354      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.declaration.LocalVariableDeclaration de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.declaration.LocalVariableDeclaration) threw exception  de.uka.ilkd.key.java.PosConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception.
	at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1266)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27354      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.StatementBlock de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.StatementBlock) threw exception  de.uka.ilkd.key.java.PosConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception.
	at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1266)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27385      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javacardDLExtensions\typeResolutionInMethodFrame2.key took 0 ms to parse. 
27385      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms. 
28334      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
28334      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 147 ms.