check flags: -
building check-recursive
-
Making check in .
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756'
-
building all-local
-
/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC import /...-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC
-
/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC import /...-java-front-0.9pre1873718737-f2wy942l/share/java-front/XTC
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: dryad.m4
-
building all-local
-
/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC register -l `dirname /...-jdk-1.6.0_6/bin/java` -t java -V 1.5
-
/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC register -l `dirname /...-jdk-1.6.0_6/bin/jar` -t jar -V 1.5
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756'
-
Making check in external
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/external'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/external'
-
Making check in libraries
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries'
-
building check-recursive
-
Making check in stratego-jvm
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm'
-
building check-recursive
-
Making check in lib
-
make[3]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm/lib'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: libstratego-jvm.rtree
-
make[3]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm/lib'
-
make[3]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm'
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries/stratego-jvm'
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries'
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/libraries'
-
Making check in classtree
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree'
-
building check-recursive
-
Making check in java-aterm
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/java-aterm'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/java-aterm'
-
Making check in bridge
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/bridge'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: class2aterm.jar aterm2class.jar
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/bridge'
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: ClassSignature.rtg MethodSignature.rtg FieldSignature.rtg ClassSignature.def MethodSignature.def FieldSignature.def ClassSignature.tbl MethodSignature.tbl FieldSignature.tbl
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/syn'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree/tests'
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: ClassTree.rtg
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree'
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/classtree'
-
Making check in lib
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/lib'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: dryad/bytecode/Signature.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/components.rtree dryad/bytecode/Bridge.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/bytecode/Signature.rtree dryad/bytecode/util.rtree dryad/jls/binary/Form.rtree dryad/jls/conversions/AssignmentConversion.rtree dryad/jls/conversions/Boxing.rtree dryad/jls/conversions/CaptureConversion.rtree dryad/jls/conversions/CastingConversion.rtree dryad/jls/conversions/IdentityConversion.rtree dryad/jls/conversions/Kinds.rtree dryad/jls/conversions/MethodInvocationConversion.rtree dryad/jls/conversions/NarrowingPrimitive.rtree dryad/jls/conversions/NarrowingReference.rtree dryad/jls/conversions/NumericPromotions.rtree dryad/jls/conversions/Unboxing.rtree dryad/jls/conversions/UncheckedConversion.rtree dryad/jls/conversions/WideningPrimitive.rtree dryad/jls/conversions/WideningReference.rtree dryad/jls/names/AccessControl.rtree dryad/jls/names/Canonical.rtree dryad/jls/names/Main.rtree dryad/jls/expressions/AssignmentOperators.rtree dryad/jls/types/Erasure.rtree dryad/jls/types/Lub.rtree dryad/jls/types/Main.rtree dryad/jls/types/Parameterized.rtree dryad/jls/types/Primitive.rtree dryad/jls/types/Raw.rtree dryad/jls/types/Reference.rtree dryad/jls/types/Reifiable.rtree dryad/jls/types/Subtyping.rtree dryad/model/array-class.rtree dryad/model/bytecode-class.rtree dryad/model/bytecode-constructor.rtree dryad/model/bytecode-field.rtree dryad/model/bytecode-method.rtree dryad/model/class.rtree dryad/model/classpath.rtree dryad/model/compilation-unit.rtree dryad/model/constructor.rtree dryad/model/field.rtree dryad/model/member.rtree dryad/model/method.rtree dryad/model/package.rtree dryad/model/reference-ast.rtree dryad/model/repository.rtree dryad/model/source-class.rtree dryad/model/source-constructor.rtree dryad/model/source-field.rtree dryad/model/source-method.rtree dryad/reclassify/Body.rtree dryad/reclassify/Bytecode.rtree dryad/reclassify/Check.rtree dryad/reclassify/ClassOrInterfaceType.rtree dryad/reclassify/ContextuallyAmbName.rtree dryad/reclassify/Header.rtree dryad/reclassify/Main.rtree dryad/reclassify/MeaningOfExpressionNames.rtree dryad/reclassify/MeaningOfPackageOrTypeName.rtree dryad/reclassify/Undo.rtree dryad/reclassify/declare/ClassMembers.rtree dryad/reclassify/declare/FormalParameters.rtree dryad/reclassify/declare/FormalTypeParameters.rtree dryad/reclassify/declare/Imports.rtree dryad/reclassify/declare/LocalVariables.rtree dryad/reclassify/declare/This.rtree dryad/simplify/Sanity.rtree dryad/source/Attributes.rtree dryad/source/Extensions.rtree dryad/type-check/AdditiveOperators.rtree dryad/type-check/ArrayAccessExpressions.rtree dryad/type-check/ArrayCreationExpressions.rtree dryad/type-check/ArrayInitializers.rtree dryad/type-check/AssignmentOperators.rtree dryad/type-check/BitwiseAndLogicalOperators.rtree dryad/type-check/CastExpressions.rtree dryad/type-check/ClassInstanceCreationExpressions.rtree dryad/type-check/ConditionalAndOperator.rtree dryad/type-check/ConditionalOperator.rtree dryad/type-check/ConditionalOrOperator.rtree dryad/type-check/ConstantExpression.rtree dryad/type-check/EqualityOperators.rtree dryad/type-check/FieldAccessExpressions.rtree dryad/type-check/Main.rtree dryad/type-check/MeaningOfExpressionNames.rtree dryad/type-check/MethodInvocationExpressions.rtree dryad/type-check/MultiplicativeOperators.rtree dryad/type-check/PostfixExpressions.rtree dryad/type-check/RelationalOperators.rtree dryad/type-check/ShiftOperators.rtree dryad/type-check/UnaryOperators.rtree dryad/type-check/invoke/ConstraintReduction.rtree dryad/type-check/invoke/Constraints.rtree dryad/type-check/invoke/InferringTypeArguments.rtree dryad/type-check/invoke/StepAppropriate.rtree dryad/type-check/invoke/StepSearch.rtree dryad/type-check/invoke/StepSignature.rtree dryad/type-check/primary/ClassLiterals.rtree dryad/type-check/primary/LexicalLiterals.rtree dryad/type-check/primary/ParenthesizedExpressions.rtree dryad/type-check/primary/QualifiedThis.rtree dryad/type-check/primary/This.rtree dryad/type-check/stm/ForStatement.rtree dryad/type-check/stm/LocalVarDec.rtree dryad/errors/Main.rtree dryad/util/debug.rtree dryad/util/jtree-overlays.rtree dryad/util/jtree.rtree dryad/util/loader.rtree dryad/util/option.rtree dryad/lib-ext/common.rtree dryad/lib-ext/hash-table.rtree dryad/lib-ext/list.rtree dryad/lib-ext/log.rtree dryad/lib-ext/multi-options.rtree dryad/lib-ext/sunit.rtree dryad/lib-ext/switch-options.rtree dryad/lib-ext/wannabe-lisp.rtree dryad/lib-ext/oo/classes.rtree dryad/lib-ext/xtc/multi-options.rtree dryad/lib-ext/xtc/temp-file.rtree dryad.rtree libdryad.rtree
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/lib'
-
Making check in compiler
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler'
-
building check-recursive
-
Making check in classpath
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/classpath'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: structured-classpath
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: rt.classes
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/classpath'
-
Making check in front
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/front'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: dryad-vis-tc-jtree dryad-simplify dryad-type-checker dryad-amb-type-checker dryad-reclassify-ambnames dryad-undo-reclassify-ambnames dryad-errors
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/front'
-
Making check in main
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/main'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: dryad-front
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler/main'
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler'
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/compiler'
-
Making check in tools
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tools'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC: auto-dryad dryad-show-hierarchy class2aterm aterm2class annotate-start-line-column
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tools'
-
Making check in tests
-
make[1]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
building check-recursive
-
Making check in nutshell
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests/nutshell'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests/nutshell'
-
make[2]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/BUILDTIME_XTC:
-
building check-am
-
make dryad-type-checker-tests dryad-reclassify-ambnames-tests dryad-model-tests dryad-jls-tests rt.classes
-
make[3]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
building dryad-type-checker-tests.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front-syntax -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front -la /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /...-strategoxt-0.17pre18583-i573smdl/share -la /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-type-checker-tests --format-check 0 -O 0 -i dryad-type-checker-tests.str -o dryad-type-checker-tests.c -c
-
[ strc | info ] Compiling 'dryad-type-checker-tests.str'
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor Public used without parentheses
-
[ strc | warning ] Nullary constructor Final used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor TypeCloneable used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TempFiles used without parentheses
-
[ strc | warning ] Nullary constructor Plus used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [2.78s/0.03s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [1.60s/0.03s]
-
[ strc | info ] Compilation succeeded : [user/system] = [4.38s/0.06s]
-
building dryad-type-checker-tests.o-
gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"18756\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"18756\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"18756\" -I. -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-type-checker-tests.c
-
building dryad-type-checker-tests
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-type-checker-tests dryad-type-checker-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-type-checker-tests dryad-type-checker-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/...-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libjustsglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-java-front-0.9pre1873718737-f2wy942l/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-dryad/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
creating dryad-type-checker-tests
-
building dryad-reclassify-ambnames-tests.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front-syntax -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front -la /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /...-strategoxt-0.17pre18583-i573smdl/share -la /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-reclassify-ambnames-tests --format-check 0 -O 0 -i dryad-reclassify-ambnames-tests.str -o dryad-reclassify-ambnames-tests.c -c
-
[ strc | info ] Compiling 'dryad-reclassify-ambnames-tests.str'
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor Public used without parentheses
-
[ strc | warning ] Nullary constructor Final used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor TypeCloneable used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TempFiles used without parentheses
-
[ strc | warning ] Nullary constructor Plus used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [2.14s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.41s/0.02s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.55s/0.06s]
-
building dryad-reclassify-ambnames-tests.o-
gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"18756\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"18756\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"18756\" -I. -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-reclassify-ambnames-tests.c
-
building dryad-reclassify-ambnames-tests
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/...-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libjustsglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-java-front-0.9pre1873718737-f2wy942l/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-dryad/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
creating dryad-reclassify-ambnames-tests
-
building dryad-model-tests.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front-syntax -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front -la /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /...-strategoxt-0.17pre18583-i573smdl/share -la /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-model-tests --format-check 0 -O 0 -i dryad-model-tests.str -o dryad-model-tests.c -c
-
[ strc | info ] Compiling 'dryad-model-tests.str'
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor TypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeBoolean used without parentheses
-
[ strc | warning ] Nullary constructor TypeNumber used without parentheses
-
[ strc | warning ] Nullary constructor Plus used without parentheses
-
[ strc | warning ] Nullary constructor Public used without parentheses
-
[ strc | warning ] Nullary constructor Final used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TypeCloneable used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TempFiles used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor TypeString used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [3.38s/0.03s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [1.62s/0.11s]
-
[ strc | info ] Compilation succeeded : [user/system] = [5.00s/0.14s]
-
building dryad-model-tests.o-
gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"18756\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"18756\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"18756\" -I. -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-model-tests.c
-
building dryad-model-tests
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-model-tests dryad-model-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-model-tests dryad-model-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/...-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libjustsglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-java-front-0.9pre1873718737-f2wy942l/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-dryad/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
creating dryad-model-tests
-
building dryad-jls-tests.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front-syntax -I /...-java-front-0.9pre1873718737-f2wy942l/share/java-front -la /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /...-strategoxt-0.17pre18583-i573smdl/share -la /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-jls-tests --format-check 0 -O 0 -i dryad-jls-tests.str -o dryad-jls-tests.c -c
-
[ strc | info ] Compiling 'dryad-jls-tests.str'
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor RefTypeString used without parentheses
-
[ strc | warning ] Nullary constructor Short used without parentheses
-
[ strc | warning ] Nullary constructor Double used without parentheses
-
[ strc | warning ] Nullary constructor Long used without parentheses
-
[ strc | warning ] Nullary constructor Float used without parentheses
-
[ strc | warning ] Nullary constructor Double used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TypeString used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor Long used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor Double used without parentheses
-
[ strc | warning ] Nullary constructor Float used without parentheses
-
[ strc | warning ] Nullary constructor TypeListString used without parentheses
-
[ strc | warning ] Nullary constructor TypeListObject used without parentheses
-
[ strc | warning ] Nullary constructor TypeRawList used without parentheses
-
[ strc | warning ] Nullary constructor Null used without parentheses
-
[ strc | warning ] Nullary constructor Null used without parentheses
-
[ strc | warning ] Nullary constructor Null used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor None used without parentheses
-
[ strc | warning ] Nullary constructor Public used without parentheses
-
[ strc | warning ] Nullary constructor Final used without parentheses
-
[ strc | warning ] Nullary constructor Int used without parentheses
-
[ strc | warning ] Nullary constructor Plus used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | warning ] Nullary constructor TempFiles used without parentheses
-
[ strc | warning ] Nullary constructor TypeCloneable used without parentheses
-
[ strc | warning ] Nullary constructor TypeObject used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [2.35s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [1.63s/0.02s]
-
[ strc | info ] Compilation succeeded : [user/system] = [3.98s/0.06s]
-
building dryad-jls-tests.o-
gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"18756\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre18756\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"18756\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"18756\" -I. -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-jls-tests.c
-
building dryad-jls-tests
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-jls-tests dryad-jls-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-jls-tests dryad-jls-tests.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18583-i573smdl/lib /...-java-front-0.9pre1873718737-f2wy942l/lib/libjava-front.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/...-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-sglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libjustsglr.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-java-front-0.9pre1873718737-f2wy942l/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-dryad/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
creating dryad-jls-tests
-
building rt.classes-
ln -s ../compiler/classpath/rt.classes
-
make[3]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
building check-TESTS
-
=======================================================================
-
test suite: Dryad -- Type Checker
-
=======================================================================
-
=======================================================================
-
Primary Expressions
-
Integer literal 1
-
Integer literal 2
-
Integer literal 3
-
Integer literal 4
-
Integer literal 5
-
Integer literal 6
-
Integer literal 7
-
Integer literal 8
-
Integer literal 9
-
Integer literal 10
-
Integer literal 11
-
Integer literal 12
-
Double literal 1
-
Double literal 2
-
Double literal 3
-
Float literal 1
-
Float literal 2
-
Boolean literal 1
-
Boolean literal 2
-
Void class literal
-
Int class literal
-
Integer class literal
-
Simple this
-
Simple qualified this
-
Simple qualified this
-
Qualified this in member class
-
Qualified this in member class
-
-
=======================================================================
-
Class Instance Creation Expressions
-
new Integer(1)
-
new java.awt.Point(2, 3)
-
new java.util.ArrayList<String>()
-
No constructor with 0 arguments in Integer class
-
Invocation of 0-arg source constructor
-
Invocation of 1-arg source constructor
-
Incorrect invocation of 0-arg source constructor
-
Incorrect invocation of 0-arg source constructor
-
Invocation of default constructor
-
Incorrect invocation of 1-arg source constructor
-
Constructor where formal parameter includes a type parameter of the class.
-
Invocation of constructor with int[] argument - 1
-
Invocation of constructor with int xs[] argument - 2
-
Invocation of constructor with int xs[] argument - 3
-
Invocation of constructor with int xs[] argument - 4
-
-
=======================================================================
-
Array Creation Expressions
-
new int[3]
-
new int[(short) 4]
-
new int[(byte) 4]
-
new int['a']
-
new int[3][3]
-
new int[3][3][3]
-
new int[3][]
-
new int[3][][]
-
new float[3]
-
new float[3][3]
-
new int[true]
-
new int[3l]
-
new int[2][3l]
-
new int[3.0f]
-
new int[3.0d]
-
new String[3]
-
new String[3][3]
-
new String[3][3][3]
-
new String[3][]
-
new String[3][][]
-
new String[true]
-
new String[3l]
-
new String[2][3l]
-
new String[3.0f]
-
new String[3.0d]
-
-
=======================================================================
-
Field Access Expressions
-
Simple bytecode field access
-
Simple bytecode field access 2
-
Simple field access
-
Simple field access (reversed)
-
Simple field access of array field
-
Simple field access of array field
-
Simple field access of array field
-
Field access qualified with a this
-
Local variable hides field
-
Local variable hides field, but field can still be qualified
-
Length field access of array
-
Super field access in super source class
-
Super field access in super bytecode class
-
Super field access should not consider field in this class
-
Outer instance field access
-
Shadowed instance field access
-
Qualified outer instance field access
-
Qualified super field access in super bytecode class
-
Qualified super field access should not consider field in this class
-
Field access should prefer field in subclass over field in superclass
-
Access of static field in interface.
-
Access of static field in interface.
-
Ambiguous access of static field.
-
Non ambiguous access of static field.
-
Access to private field is forbidden.
-
Super field access cannot access private field.
-
Super field access cannot access private field and should not fall back.
-
Access to protected field in a different package is forbidden.
-
Access to protected field in same package is ok.
-
Declaring class of simple bytecode field access
-
Declaring class for field access visible in different ways.
-
Declaring class of super field access in super source class
-
-
=======================================================================
-
Method Invocation Expressions
-
Simple static method invocation
-
Boolean method in bytecode
-
Invocation on super class
-
Invocation on interface
-
Invocation on super interface
-
Invocation on abstract method
-
Method applicable by subtyping
-
Method applicable by proper subtyping
-
Method applicable by proper subtyping
-
Overloaded abs method
-
Overloaded abs method
-
Overloaded abs method
-
Overloaded abs method
-
Simple method invocation in source code
-
Simple method invocation in source code
-
Simple method invocation in source code
-
Simple method invocation in source code
-
Overload method invocation in source code
-
Overloaded method invocation in source code (reversed)
-
Overload method invocation in source code
-
Overloaded method invocation in source code (reversed)
-
Method invocation on field
-
Invocation of static method in source class
-
Invocation of method in super source class of this
-
Invocation of method in super bytecode class of this
-
Invocation of abstract method declared an abstract sourceclass.
-
Invocation of method declared in a source interface.
-
Invocation of method declared in an interface implemented by an abstract sourceclass.
-
Invocation of method declared in an interface extended by another interface.
-
Invocation of method declared in an interface implemented by an abstract sourceclass.
-
Invocation of method with array argument.
-
Explicit super method invocation
-
Just a random method invocation that failed - 1
-
Just a random method invocation that failed - 2
-
Just a random method invocation that failed - 3
-
Just a random method invocation that failed - 4
-
Just a random method invocation that failed - 5
-
Just a random method invocation that failed - 6
-
Just a random method invocation that failed - 6b
-
Just a random method invocation that failed - 7
-
Just a random method invocation that failed - 8
-
Just a random method invocation that failed - 9
-
Just a random method invocation that failed - 10
-
Method invocation on instance of member class.
-
Invocation of method in enclosing class.
-
Invocation of method inherited by enclosing class.
-
Invocation of method in member class that shadows method in enclosing class.
-
Method invocation on qualified this.
-
Simple Qualified super method invocation.
-
Invocation of method that has a formal parameter that is a type variable.
-
Invocation of method with int[] argument - 1
-
Invocation of method with int xs[] argument - 2
-
Invocation of method with int xs[] argument - 3
-
Invocation of method with int xs[] argument - 4
-
Invocation with boxing conversion
-
Invocation with null (not a method invocation conversion)
-
Invocation with null cannot be unboxed
-
Invocation requiring boxing conversion and widening reference.
-
DRY-248: Invocation requiring boxing conversion and widening reference.
-
DRY-248: Invocation requiring boxing conversion and widening reference.
-
Invocation with unboxing conversion
-
Invocation with unboxing conversion and widening primitive
-
Invocation requiring an unchecked conversion
-
DRY-234: Invocation requiring an unchecked conversion
-
DRY-234: Invocation requiring an unchecked conversion
-
Invocation requiring an unchecked conversion -> erase return type
-
Invocation requiring an unchecked conversion -> erase return type
-
Invocation requiring an unchecked conversion -> erase return type
-
Invocation requiring an unchecked conversion -> erase return type
-
Invocation of private method in superclass.
-
Invocation of private method is not allowed.
-
Non-generic method invocation must have not actual type args attribute.
-
Generic method invocation with explicit type param
-
Generic method invocation with explicit type param
-
Generic method invocation with explicit type param
-
Generic method invocation with explicit type param
-
Generic method invocation with explicit type param
-
Generic method invocation with more general explicit type param
-
Generic method invocation with more general explicit type param
-
Generic method invocation with illegal explicit type param
-
Generic method invocation with two explicit type params
-
Generic method invocation with incorrect number of explicit type param
-
Generic method invocation, infer type param 1
-
Generic method invocation, infer type param 1, check presence of type arguments attribute.
-
Generic method invocation, infer type param 2
-
Generic method invocation, infer type param 3
-
Generic method invocation, infer two type param 1
-
Generic method invocation, infer two type param 2
-
Generic method invocation, infer two type param 3
-
Generic method invocation in bytecode, infer type param 1
-
Generic method invocation in bytecode, infer type param 2
-
-
=======================================================================
-
Array Access Expressions
-
int[] xs = new int[10]; xs[0]
-
float[] xs = new float[10]; xs[0]
-
String[] xs = new String[10]; xs[0]
-
int[][] xs = new int[10][10]; xs[0][0]
-
int[][] xs = new int[10][10]; xs[0]
-
int[] xs = new int[10]; xs[1l]
-
int[] xs = new int[10]; xs[1.0d]
-
int[] xs = new int[10]; xs[1.0f]
-
int x = 0; x[0]
-
int[] xs = new int[10]; xs[0][0]
-
-
=======================================================================
-
Postfix Expressions
-
int x = 0 ; x;
-
int x ; x;
-
String s ; s;
-
int x,y ; x;
-
int x,y ; y;
-
int x,y = 0 ; x;
-
int x,y = 0 ; y;
-
int x = 0,y = 0 ; x;
-
int x = 0,y = 0 ; y;
-
Variable does not exist.
-
System.out
-
java.beans.BeanInfo.ICON_COLOR_32x32
-
Byte.MAX_VALUE
-
Short.MAX_VALUE
-
Integer.MAX_VALUE
-
Long.MAX_VALUE
-
Instance variable used as class variable
-
java.awt.Point p = new java.awt.Point(2, 3); p.x;
-
Use of a field declared in a superclass
-
Loop variable
-
Loop variable is no longer in scope after for loop.
-
Formal catch parameter.
-
Invocation of method on formal catch parameter.
-
Integer.TYPE
-
byte x; x++;
-
short x; x++;
-
char x; x++;
-
int x; x++;
-
long x; x++;
-
float x; x++;
-
double x; x++;
-
Byte x; x++;
-
Short x; x++;
-
Character x; x++;
-
Integer x; x++;
-
Long x; x++;
-
Float x; x++;
-
Double x; x++;
-
boolean x; x++;
-
Boolean x; x++;
-
int x; x--;
-
long x; x--;
-
-
=======================================================================
-
Unary Expressions
-
byte x; ++x;
-
short x; ++x;
-
char x; ++x;
-
int x; ++x;
-
long x; ++x;
-
float x; ++x;
-
double x; ++x;
-
Byte x; ++x;
-
Short x; ++x;
-
Character x; ++x;
-
Integer x; ++x;
-
Long x; ++x;
-
Float x; ++x;
-
Double x; ++x;
-
boolean x; ++x;
-
Boolean x; ++x;
-
int x; --x;
-
long x; --x;
-
+ int literal
-
+ long literal
-
+ float literal
-
+ float literal
-
+ cannot be applied to boolean
-
- int literal
-
- long literal
-
- long literal
-
- float literal
-
- float literal
-
- char literal
-
- cannot be applied to boolean
-
- Byte
-
- Short
-
- Character
-
- Character
-
- Long
-
- Float
-
- Double
-
- cannot be applied to boolean
-
~ int literal
-
~ long literal
-
~ char literal
-
~ cannot be applied to boolean
-
~ cannot be applied to float
-
~ cannot be applied to double
-
~ Byte
-
~ Short
-
~ Character
-
~ Integer
-
~ Long
-
~ cannot be applied to Float
-
~ cannot be applied to Double
-
!boolean literal
-
!boolean literal
-
!!!boolean literal
-
! cannot be applied to int
-
! cannot be applied to float
-
! cannot be applied to double
-
-
=======================================================================
-
Cast Expressions
-
null can be cast to Integer
-
null cannot be cast to int
-
null cannot be cast to long
-
int can be cast to Integer
-
int cannot be cast to Long
-
long can be cast to Long
-
long cannot be cast to Integer
-
boolean can be cast to a boolean
-
boolean can be cast to Boolean
-
boolean cannot be cast to an int
-
boolean cannot be cast to an Integer
-
Cast from a source type to an extended source type
-
Cast from a source type to an implemented source type
-
Cast from a source type to an implemented bytecode type
-
Cast from an interface source type to an implemented source type
-
-
=======================================================================
-
Multiplicative Operators
-
1 * 1
-
1 / 1
-
1 % 1
-
(short) 1 % (short) 1
-
1.0 * 1
-
1 * 1.0
-
1.0 / 1
-
1 / 1.0
-
1.0 % 1
-
1 % 1.0
-
1.0f * 1
-
1l * 1
-
1l * 1f
-
1l * 1.0
-
1 * true
-
true * 1
-
true * true
-
-
=======================================================================
-
Additive Operators
-
"" + 1
-
1 + ""
-
1.0f + ""
-
null + ""
-
true + ""
-
false + ""
-
1 + 1
-
1 - 1
-
1.0 + 1
-
1 + 1.0
-
1.0 - 1
-
1 - 1.0
-
1.0f + 1
-
1l + 1
-
1l + 1f
-
1l + 1.0
-
1 + true
-
true + 1
-
true + true
-
-
=======================================================================
-
Shift Operators
-
1 << 1
-
1L << 1
-
'a' << 1
-
'a' << 1L
-
1 << 1L
-
1.0 << 1
-
1 << 1.0
-
true << 1
-
1 << true
-
-
=======================================================================
-
For Statements
-
for(int i : new java.util.ArrayList<Integer>()) { i = i; }
-
for(Object raw : new java.util.ArrayList()) { raw = raw; }
-
for(long l : new long[3]) { l = l; }
-
for(Object o : new Object[3]) { o = o; }
-
-
=======================================================================
-
Relational Operators
-
1 < 2
-
1 > 2
-
1 <= 2
-
1 >= 2
-
'a' < 'b'
-
1 < true
-
true < 1
-
true < false
-
-
=======================================================================
-
Equational Operators
-
1 == 2
-
1 != 2
-
1.0f != 1
-
1.0d != 1
-
true != false
-
true == false
-
1 == true
-
1 != true
-
null == null
-
"" == null
-
"" == 1
-
"" == true
-
-
=======================================================================
-
Bitwise Operators
-
1 & 2
-
'a' & 'b'
-
'a' & 1
-
1L & 2L
-
1 & 2L
-
1L & 2
-
true & false
-
1 & false
-
'a' & false
-
"1" & 2
-
-
=======================================================================
-
Conditional Operators
-
true && false
-
true || false
-
true && 0
-
1 && 0
-
true || 0
-
1 || 0
-
true ? 1 : 1
-
true ? 1.0 : 1.0
-
true ? 1.0f : 1.0f
-
true ? 1l : 1l
-
true ? 'a' : 'b'
-
true ? "" : ""
-
true ? true : true
-
true ? true : (Boolean) null
-
true ? (Boolean) null : true
-
true ? "" : null
-
true ? null : ""
-
true ? (byte) 1 : (short) 1
-
true ? (byte) 1 : 1
-
true ? 1 : (byte) 1
-
true ? (short) 1 : 1
-
true ? 1 : (short) 1
-
true ? 'a' : 1
-
true ? 1 : 'a'
-
true ? 1.0 : 1
-
true ? 1 : 1.0
-
true ? 1.0f : 1
-
true ? 1l : 1
-
true ? 1l : 1f
-
true ? 1l : 1.0
-
1 ? 1 : 1
-
-
=======================================================================
-
Assignment Operators
-
int x; x = 3;
-
boolean b; b = true;
-
int x; x += 3;
-
int x; x *= 3;
-
int x; x /= 3;
-
int x; x %= 3;
-
int x; x >>= 3;
-
String s; s += "foo";
-
Integer x; x += 3;
-
String s; s = null;
-
Object o; o = null;
-
Integer i; i = null;
-
String s; s *= "foo";
-
boolean b; b += false;
-
int x; x = 1.0d;
-
int x; x = 1.0f;
-
int x; x = null;
-
long x; x = null;
-
short x; x = null;
-
double x; x = null;
-
boolean x; x = null;
-
java.util.List<String> foo; foo = new java.util.ArrayList<String>();
-
-
java.util.List<String> foo;
-
foo = new java.util.ArrayList();
-
-
-
Comparable<Integer> foo;
-
foo = new Integer(5);
-
-
-
Comparable foo;
-
foo = new Integer(5);
-
-
-
Comparable<Integer> foo;
-
foo = 5;
-
-
-
java.util.ArrayList<String> array;
-
java.util.List<String> list;
-
array = list;
-
-
-
java.util.List<Integer> list1;
-
java.util.List<String> list2;
-
list1 = list2;
-
-
-
java.util.List<Integer> list1;
-
java.util.List<String> list2;
-
list2 = list1;
-
-
-
=======================================================================
-
Method Parameters
-
int plus() {
-
int x = 5;
-
return x + x;
-
}
-
-
Method parameter
-
Constructor parameter
-
Constructor parameter
-
-
=======================================================================
-
successes: 457
-
failures: 0
-
=======================================================================
-
PASS: dryad-type-checker-tests
-
=======================================================================
-
test suite: Dryad -- Reclassification of Contextually Ambiguous Names
-
=======================================================================
-
localvar 1: Simple method parameter
-
localvar 2: Local variable declaration
-
localvar 3: Local variable declaration
-
localvar 4: Local variable declaration
-
localvar 5: Missing variable
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
AmbName(Id("s"))
-
localvar 6: Variable must be declared before it is used.
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
AmbName(Id("s"))
-
localvar 7: Variable in local block is not visible outside this block.
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
AmbName(Id("s"))
-
localvar 8: Variable in for loop.
-
localvar 9: Variable in for loop.
-
localvar 10: Formal parameter of catch block
-
localvar 11: Local variable declaration
-
localvar 12: Local array variable declaration
-
localvar 13: Local array variable declaration
-
localvar 14: Local array variable declaration
-
localvar 15: Local array variable declaration
-
localvar 16: Local array variable declaration
-
localvar 17: Local array variable declaration
-
localvar 18: Local array variable declaration
-
fields 1: Field declaration
-
fields: Multiple Field declarations
-
fields 2: Field declaration
-
fields 3: Field declaration
-
fields 4: Field declaration in different source class (interface)
-
fields 5: Field declaration in different source class (interface)
-
DRY-211: Field declaration in super class as subject of method invocation (AmbName)
-
DRY-211: Field declaration in super class as subject of method invocation (AmbName)
-
DRY-211: Field declaration in super class as subject of method invocation (AmbName)
-
DRY-211: Field declaration in super class as subject of method invocation (AmbName)
-
DRY-211: Field declaration in super class as subject of method invocation (AmbName)
-
Static field
-
Field in other source class
-
Do not rewrite ExprName to Field by default.
-
DRY-240 reclassification of field of field
-
DRY-240 reclassification of field of field
-
DRY-242: reclassification of field of field of local variable
-
Simple method invocation
-
Method invocation on local variable
-
Method invocation on field
-
Static method invocation
-
Static method invocation on member class
-
Qualified this
-
Qualified this
-
Qualified this
-
Field access in member classes (tests qualified AmbName -> TypeName)
-
Field access in member classes (tests qualified AmbName -> TypeName)
-
Construction of static member class (tests PackageOrTypeName -> TypeName)
-
Construction of static member class (tests PackageOrTypeName -> TypeName)
-
PackageOrTypeName of imported typed
-
1: Member class shadow top level class.
-
2: Member class shadow top level class.
-
3: Member class shadow top level class.
-
4: Member class shadow top level class.
-
4: Member class shadow top level class.
-
1: Check scope of member of member class.
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
ClassOrInterfaceType(TypeName(Id("Fred")),None)
-
2: Check scope of member of member class.
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
ClassOrInterfaceType(TypeName(Id("Fred")),None)
-
DRY-228: worklist problem with member classes.
-
DRY-228: worklist problem with member classes.
-
DRY-229: Reclassification: support inherited member classes
-
DRY-232: Inherited member types used as ambnames are not reclassified.
-
Automatic import of java.lang.* (7.5.5, page 165)
-
1: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred
-
2: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred
-
3: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred
-
4: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred
-
5: java.lang is imported on demand, so a class with the same name in this package is preferred
-
1: for imported on demand, a class with the same name in this package is preferred
-
For single type imports, a class with the same name in this package is *not* preferred
-
22: Single-type imports shadow on-demand type imports
-
23: Single-type imports shadow on-demand type imports
-
Check for issue DRY-222: Scoping problem in new reclassifier
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
ClassOrInterfaceType(TypeName(Id("ArrayList")),None)
-
33: Qualification and disambiguation in interface.
-
34: Qualification and disambiguation in class.
-
28: Interface type declared in a source file
-
29: Interface type declared in same compilation unit.
-
30: Class type declared in a source file
-
31: Interface declared in bytecode
-
Top level package bar is obscured by the type declaration bar in this compilation unit.
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
ClassOrInterfaceType(TypeName(PackageOrTypeName(TypeName(PackageName([Id("org"),Id("foo")]),Id("bar")),Id("Foo")),Id("Fred")),None)
-
Top level package bar is obscured by the type declaration bar in this compilation unit.
-
Cyclic dependency in the inheritance graph.
-
[ lt-dryad-front | error ] Cyclic dependency involving
-
TypeName(PackageName([]),Id("Foo"))
-
lt-dryad-front: rewriting failed, trace:
-
main_0_0
-
xtc_multi_io_wrap_4_0
-
option_wrap_5_0
-
lifted584
-
xtc_multi_input_1_0
-
xtc_temp_files_1_0
-
restore_always_2_0
-
lifted595
-
lifted585
-
xtc_multi_output_1_0
-
abstract_multi_output_3_0
-
lifted17
-
observables_wrap_1_0
-
dryad_front_0_0
-
log_timed_1_2
-
dryad_reclassify_0_0
-
dr_scope_1_1
-
Cyclic dependency in the inheritance graph.
-
[ lt-dryad-front | error ] Cyclic dependency involving
-
TypeName(PackageName([]),Id("Foo"))
-
lt-dryad-front: rewriting failed, trace:
-
main_0_0
-
xtc_multi_io_wrap_4_0
-
option_wrap_5_0
-
lifted584
-
xtc_multi_input_1_0
-
xtc_temp_files_1_0
-
restore_always_2_0
-
lifted595
-
lifted585
-
xtc_multi_output_1_0
-
abstract_multi_output_3_0
-
lifted17
-
observables_wrap_1_0
-
dryad_front_0_0
-
log_timed_1_2
-
dryad_reclassify_0_0
-
dr_scope_1_1
-
Simple formal type parameter of class
-
Simple formal type parameter of interface
-
Simple type type parameter of method
-
Simple type type parameter of constructor
-
Member type shadows type variable
-
1: Scope of type parameter includes the type parameter section
-
2: Scope of type parameter includes the type parameter section
-
Shadowing of the type parameter of the class
-
Shadowing of the type parameter of the enclosing class
-
9a: Type declaration
-
9b: Type declaration
-
9c: Type declaration
-
11: Imported type on demand
-
12: Imported type on demand
-
[ lt-dryad-front | error ] Ambiguous construct cannot be reclassified:
-
AmbName(Id("DoesNotExist"))
-
13: Expression name qualified by package name.
-
[ lt-dryad-front | error ] Qualifier of expression name cannot be a package:
-
ExprName(PackageName([Id("java"),Id("lang")]),Id("Foo"))
-
14: qualified type name
-
16: package and qualified type name
-
17: package and multiple type declarations
-
18: package and multiple type declarations
-
19: package and multiple type declarations
-
21: Bug report Jerome
-
25: Two separate source files
-
26: Two separate source files
-
27: Two separate source files
-
32: Minimal interface declaration.
-
=======================================================================
-
successes: 105
-
failures: 0
-
=======================================================================
-
PASS: dryad-reclassify-ambnames-tests
-
=======================================================================
-
test suite: Dryad -- Model
-
=======================================================================
-
Check that return type of String.length() is Int
-
Check if source class is registered correctly
-
Check if source interface is registered correctly
-
Check canonical name of a package.
-
Check fully qualified name of a package.
-
Check canonical name of root package.
-
Check the canonical name of a class in the root package
-
Check the canonical name of a class in a package
-
Check the modifiers of a source class
-
Check the modifiers of a source class
-
Check the modifiers of a source interface
-
Check the modifiers of a source interface
-
get-declared-methods returns empty list for non-existing name
-
<init> methods are not part of the methods of the Integer class
-
<clinit> methods are not part of the methods of the Integer class
-
methods of source interfaces are available.
-
methods of source interfaces are available.
-
methods of source interfaces are available.
-
Private methods are not inherited.
-
Protected methods are inherited.
-
Private methods are not inherited (has-method).
-
Default access methods are inherited.
-
Default access methods are not inherited into different package.
-
Protected methods are inherited into different package.
-
Default access methods are not inherited into different package, not even indirectly.
-
Default access methods are not inherited into different package.
-
Mixed access inheritance.
-
Mixed access inheritance.
-
canonical name of method.
-
lookup method by its canonical name.
-
Formal parameter types of a method in a parameterized type.
-
Formal parameter types of a method in a raw type type.
-
Source method without access modifier has default access.
-
Source method in interface without access modifier has public access.
-
Source method with public access modifier.
-
Source method with private access modifier.
-
Source method with protected access modifier.
-
method a.A.a is not accessible in b.B.
-
method p.A.a is accessible in p.B.
-
public method a.A.a is accessible in b.B.
-
public method a.A.a with default access A is not accessible in b.B.
-
protected method p.A.a is accessible in p.B.
-
protected method a.A.a is not accessible in b.B.
-
protected method a.A.a is accessible in b.B extends A.
-
public java.awt.Component.getWidth is accessible in A extends Component.
-
protected java.awt.Component.requestFocus is accessible in A extends Component.
-
Method in member class is accessible in outer class - 1.
-
Method in member class is accessible in outer class - 2.
-
Private method in member class is accessible in outer class.
-
Private method in member class is accessible in other member class.
-
Private method in member class is accessible in outer class.
-
Default access of a source class.
-
Default access of a source interface.
-
Public access of a source class.
-
class A is not accessible in b.B.
-
public class A is accessible in b.B.
-
class p.A is accessible in p.B.
-
class a.A.A is not accessible in c.C.
-
class p.A.A is accessible in p.B.
-
public class a.A.B is accessible in c.C.
-
public method a.A.B with default access A is not accessible in c.C.
-
protected class p.A.B is accessible in p.C.
-
protected class a.A.B is not accessible in c.C.
-
protected class a.A.B is accessible in c.C extends A.
-
Class in member class is accessible in outer class - 1.
-
Private class in member class is accessible in outer class.
-
Private method in member class is accessible in other member class.
-
Source field without access modifier has default access.
-
Source field in interface without access modifier has default access.
-
Source field with public access modifier.
-
Source field with private access modifier.
-
Source field with protected access modifier.
-
Bytecode field java.lang.System.out is public
-
field a.A.a is not accessible in b.B.
-
field p.A.a is accessible in p.B.
-
public field a.A.a is accessible in b.B.
-
public field a.A.a with default access A is not accessible in b.B.
-
protected field p.A.a is accessible in p.B.
-
private field A.a is not accessible in B.
-
private field p.A.a is not accessible in p.B.
-
protected field a.A.a is not accessible in b.B.
-
Protected field a.A.a is accessible in b.B extends A if applied to C extends B.
-
Protected field a.A.a is not accessible in b.B extends A if applied to c.C extends a.A.
-
Protected static field a.A.a is accessible in b.B extends A if applied to c.C extends a.A.
-
Protected field a.A.a is accessible in b.B extends A if applied to B.
-
Protected field a.A.a is not accessible in b.B extends A if applied to A.
-
Protected static field a.A.a is accessible in b.B extends A if applied to A.
-
Field in member class is accessible in outer class - 1.
-
Field in member class is accessible in outer class - 2.
-
Private field in member class is accessible in outer class.
-
Private field in member class is accessible in other member class.
-
Private field in member class is accessible in outer class.
-
Source constructor without access modifier has default access.
-
Source constructor with public access modifier.
-
Source constructor with private access modifier.
-
Source constructor with protected access modifier.
-
Bytecode constructor java.lang.Number is public
-
Access of default constructor.
-
Access of default constructor.
-
Access of default constructor.
-
Access of default constructor.
-
Constructor a.A is not accessible in b.B.
-
Constructor p.A is accessible in p.B.
-
Public constructor a.A is accessible in b.B.
-
Public constructor a.A with default access A is not accessible in b.B.
-
Protected constructor p.A is accessible in p.B.
-
Private constructor A is not accessible in B.
-
Private constructor p.A is not accessible in p.B.
-
Protected constructor a.A is not accessible in b.B.
-
Protected constructor a.A is accessible in b.B extends A.
-
Constructor in member class is accessible in outer class - 1.
-
Constructor in member class is accessible in outer class - 2.
-
Private constructor in member class is accessible in outer class.
-
Private constructor in member class is accessible in other member class.
-
Private constructor in member class is accessible in outer class.
-
Source member type without access modifier has default access.
-
Source member type in interface without access modifier has default access.
-
Source member type with public access modifier.
-
Source member type with private access modifier.
-
Source member type with protected access modifier.
-
Member type a.A.a is not accessible in b.B.
-
Member type p.A.a is accessible in p.B.
-
Public member type a.A.a is accessible in b.B.
-
Public member type a.A.a with default access A is not accessible in b.B.
-
protected member type p.A.a is accessible in p.B.
-
private member type A.a is not accessible in B.
-
private member type p.A.a is not accessible in p.B.
-
protected member type a.A.a is not accessible in b.B.
-
Protected member type a.A.a is accessible in b.B extends A.
-
Member type in member class is accessible in outer class - 1.
-
Member type in member class is accessible in outer class - 2.
-
Private member type field in member class is accessible in outer class.
-
Private member type in member class is accessible in other member class.
-
Private member type in member class is accessible in outer class.
-
Source class without formal type parameters.
-
Source interface without formal type parameters.
-
Source class with a formal type parameter.
-
Source interface with a formal type parameter.
-
Source method declared in class declares formal type parameter.
-
Source method declared in class declares two formal type parameters.
-
Source method declared in interface declares formal type parameter.
-
Source method declared in interface declares two formal type parameters.
-
Bytecode class java.util.List has one formal type parameter.
-
Bytecode class java.util.Map has two formal type parameters.
-
Bytecode method String.length has no type parameters.
-
Bytecode method Collections.sort has one formal type parameter.
-
Bytecode method Collections.singletonMap has two formal type parameters.
-
Check that List.get returns a type variable
-
Check that List.iterator returns Iterator<E>
-
Check that List.get returns a String for invocation in List<String>
-
Foo.get returns a String in Foo<String>.
-
Foo.get returns a String in Foo<String>.
-
Pair.getFirst returns String in Foo<String, Integer>.
-
Pair.getSecond returns Integer in Foo<String, Integer>.
-
Method returning typevar in parameterized super class 1.
-
Method returning typevar in parameterized super class 2.
-
Method returning typevar in parameterized super class 3.
-
Method returning typevar in parameterized super class 4.
-
Check that java.lang.System has a single constructor
-
Check that java.lang.Integer has two constructors
-
Check that this source class declares no constructors
-
Check that this source class declares 1 constructor
-
Check the declaring class of the default constructor.
-
Check that source constructor throws no exception
-
Check that source constructor throws exception
-
Check that bytecode constructor java.lang.Integer(String) throws NumberFormatException
-
Canonical name of constructor.
-
Lookup constructor by its canonical name.
-
a ---- Instance(Class(JavaSourceConstructor),"d_120")
-
Check component type of array class.
-
Check element type of array class.
-
Check fully qualified name of array class.
-
Check component type of array class.
-
Check element type of array class.
-
Check component type of array class.
-
Check shared array classes.
-
Check shared array classes.
-
Check the length field of the array class.
-
Check that java.lang.System declares a field 'out'
-
Check that java.lang.System does not declare a field of a non-existing name
-
Check that java.lang.Integer.MAX_VALUE has name MAX_VALUE
-
Check that java.lang.Integer.MAX_VALUE has type int
-
Check that java.lang.Integer.MAX_VALUE is a static field
-
Check that java.lang.Integer.TYPE is parameterized
-
Check the declaring class of the lock field.
-
Check that this source class declares no fields
-
Check that this source class declares 1 field
-
Check that this source class declares 1 field with name x
-
Check that this source class declares 2 field
-
Check that this source class declares 2 field
-
Source class declares a field with type int
-
Source class declares a field with type int
-
Source class declares a static field
-
Source class declares an instance field
-
Source interface declares a static field
-
Source class declares a field with type int[]
-
Source class declares a field with type int[]
-
Source class declares a field with type int[][]
-
Source class declares a field with type int[]
-
Source class declares a field with type int[]
-
Source class declares a field with type int[][]
-
Source class declares a field with type int[][]
-
Source class declares a field with type int[][][][]
-
Source class declares a field with type int[]
-
Source class declares a field with type int
-
Source class declares a field with type int
-
Implemented source interface declares a static field
-
Implemented source interface declares a static field
-
Class field hides field in implemented interface.
-
get-fields does not return hidden fields
-
get-fields does not return hidden fields (interface)
-
get-fields does not return hidden fields (declaring class).
-
get-fields returns ambiguous field access 1.
-
get-fields returns ambiguous field access 2.
-
get-fields returns ambiguous field access 3.
-
Field declared in member class.
-
Private fields are not inherited.
-
Protected fields are inherited.
-
Default access fields are inherited.
-
Default access fields are not inherited into different package.
-
Protected fields are inherited into different package.
-
Default access fields are not inherited into different package, not even indirectly.
-
Mixed access inheritance of fields.
-
Mixed access inheritance of fields.
-
Same field visible in different ways is returned once.
-
java.lang.Object has no superclass
-
Get the superclass of a source file
-
Get the superinterfaces of a source file
-
Get the superinterfaces of a source interface
-
Check the package property of a bytecode class
-
Check the package property of source class
-
Check the package property of source class
-
Generic superclass of bytecode class java.util.Properties.
-
Generic interface Comparable of Boolean.
-
Generic superinterface Collection of List.
-
Integer is a subclass of Number.
-
Integer is a subclass of Number.
-
Number is not a subclass of Integer.
-
Source method declared in class throws no exceptions.
-
Source method declared in interface throws no exceptions.
-
Source method declared in abstract class throws no exceptions.
-
Source method declared in class throws exception.
-
Source method declared in interface throws exception.
-
Source method declared in abstract class throws exception.
-
Bytecode method java.lang.Integer.parseInt throws NumberFormatException
-
java.lang.Character declares a member class Subset
-
Declaring class of bytecode member class Character.Subset
-
Canonical name of bytecode member class Character.Subset
-
java.util.Map declares a member interface Entry
-
Member class must have package.
-
Source class declares no member classes
-
Source class declares 1 member class
-
Source class declares 1 member class with name Bar
-
Source class declares 2 member classes
-
Name of the declaring class is Foo
-
Name of the declaring class is Bar
-
Name of the enclosing class is Foo
-
Name of the enclosing class is Bar
-
Source class inherits a member class with name Bar
-
Source class does not inherit private member classes
-
Source class does not inherit hidden member classes
-
Source class declares member class
-
Source class declares member class
-
Source class inherits member classes
-
Source class inherits member classes
-
Source class inherits member classes
-
Source class does not inherit hidden member classes
-
Source class does not inherit private member classes
-
Check that a compilation unit uses references to classes
-
DRY-247: Check compilation unit with semicolons
-
Check that a class uses references to member classes
-
Check that a class uses references to field declarations
-
Check that a class uses references to field declarations
-
Check that a class uses references to field declarations
-
Check that a class uses references to method declarations
-
=======================================================================
-
successes: 274
-
failures: 0
-
=======================================================================
-
PASS: dryad-model-tests
-
=======================================================================
-
test suite: Dryad -- Java Language Specification Tests
-
=======================================================================
-
Supertypes of type Byte: [Short,Int,Long,Float,Double]
-
Supertypes of type Double: []
-
Supertypes of type Float: [Double]
-
Supertypes of type Int: [Long,Float,Double]
-
Supertypes: java.lang.Object has no supertypes
-
Supertypes: class with just a superclass
-
Supertypes: mix of superclass and implemented interfaces
-
Supertypes of primitive array type
-
Supertypes of object array type
-
Supertypes: class with just a superclass
-
Supertypes: Comparable<String> is supertype of String
-
Subtype: Int of Double
-
Not a subtype: Long of Int
-
Not a subtype: Double of Float
-
Not a subtype: Null of Int
-
Subtype: Null of ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)
-
Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)])))
-
Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("CharSequence")),None)])))
-
Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("Collection")),None)
-
Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("Collection")),None)
-
Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None)
-
Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None)
-
Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None)
-
Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None)
-
Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Binary name Foo parses to [TopLevel("Foo")]
-
Binary name Foo$Bar parses to [TopLevel("Foo"),Member("Bar")]
-
Binary name Foo$Bar$Fred parses to [TopLevel("Foo"),Member("Bar"),Member("Fred")]
-
Binary name Foo$1Bar parses to [TopLevel("Foo"),Local("Bar")]
-
Binary name Foo$12Bar parses to [TopLevel("Foo"),Local("Bar")]
-
Binary name Foo$1 parses to [TopLevel("Foo"),Anonymous]
-
Binary name Foo$12 parses to [TopLevel("Foo"),Anonymous]
-
Binary name Foo$Bar$1 parses to [TopLevel("Foo"),Member("Bar"),Anonymous]
-
Bytecode type ObjectType("java.lang.Character$Subset") is source type ClassType(TypeName(TypeName(PackageName([Id("java"),Id("lang")]),Id("Character")),Id("Subset")),None)
-
Type Int is assignment convertable to Double
-
Type Double is not assignment convertable to Int
-
Assignment conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
Assignment conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)
-
Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) is not assignment convertable to Int
-
Type Int is assignment convertable to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
Assignment conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)
-
Assignment conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to Int
-
Assignment conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Number")),None)
-
Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Assignment conversion from ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not assignment convertable to ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type Int is method-invocation convertable to Double
-
Type Double is not method-invocation convertable to Int
-
Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) is not method-invocation convertable to Int
-
Type Int is method-invocation convertable to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
Method-invocation conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)
-
Method-invocation conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to Int
-
Method-invocation conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Number")),None)
-
Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Method-invocation conversion from ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not method-invocation convertable to ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)])))
-
Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
Widening reference conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),None)
-
Widening reference conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
Widening reference conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)
-
No widening reference conversion from Null to Int
-
Capture conversion is identity for Int
-
ArrayList<?> must be captured to a fresh type variable.
-
List<?> must be captured to a fresh type variable.
-
Upper bound of fresh type variable after capture conversion of List<?>.
-
Lower bound of fresh type variable after capture conversion of List<?>.
-
Upper bound of fresh type variable after capture conversion of Enum<?>.
-
Test for substitution in upper bound of fresh type variable after capture conversion of Enum<?>.
-
Reduce simple constraint
-
Reduce simple constraint by boxing (int)
-
Reduce simple constraint by boxing (double)
-
Reduce to no constraint if F does not involve a type parameter.
-
Reduce to no constraint for null argument type
-
Reduce to no constraint constraint if formal parameter type does not contain typevar
-
Reduce constraint for array type of reference type.
-
Reduce to no constraint for array type of primitive type.
-
Reduce constraint for simple parameterized formal parameter (List).
-
Reduce constraint for simple parameterized formal parameter (Map).
-
Reduce constraint for simple parameterized formal parameter (Map).
-
Reduce constraint just ignores invalid aspects of a constraint.
-
Reduce constraint for simple parameterized formal parameter (proper supertype).
-
Reduce constraint for parameterized parameterized formal parameter.
-
Reduce constraint for array parameterized formal parameter.
-
Resolve simple equality constraint
-
Resolve conflicting equality constraint
-
Resolve two equality constraint
-
Resolve single supertype constraint
-
Resolve two equivalent supertype constraint
-
Resolve two equivalent supertype constraint
-
Infer type from single argument
-
Infer two types from two arguments
-
Infer one type from two arguments
-
Infer two types from Map<K, V>
-
Erasure of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) parses to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None)
-
=======================================================================
-
Lub of
-
* Int
-
* Float
-
is
-
* Float
-
=======================================================================
-
Lub of
-
* Char
-
* Short
-
is
-
* Int
-
=======================================================================
-
Lub of
-
* Boolean
-
* Int
-
fails.
-
=======================================================================
-
Lub of
-
* Boolean
-
* Long
-
fails.
-
=======================================================================
-
Lub of
-
* ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)
-
* ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
is
-
* ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)
-
=======================================================================
-
Lub of
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)])))
-
is
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([Wildcard(None)])))
-
=======================================================================
-
MEC of
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)])))
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)])))
-
is
-
* InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None)
-
-
successes: 111
-
failures: 0
-
=======================================================================
-
PASS: dryad-jls-tests
-
==================
-
All 4 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
make[2]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'
-
make[1]: Leaving directory `/tmp/nix-build-wfmzq25db7p5ywjnky1awym3k76fwv5m-dryad.drv-0/dryad-0.2pre18756/tests'