233 lines
38 KiB
Plaintext
233 lines
38 KiB
Plaintext
javac -d out/src -cp javatx-src/main/java:out/src:dependencies/* -g:none -nowarn javatx-src/main/java/Main.java javatx-src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java javatx-src/main/java/de/dhbwstuttgart/core/IItemWithOffset.java javatx-src/main/java/de/dhbwstuttgart/core/ConsoleInterface.java javatx-src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java javatx-src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java javatx-src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/GenericsResolverSameName.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/ResultPair.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/PairTPHequalRefTypeOrWildcardType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/ResolvedType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/PairTPHEqualTPH.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/PairTPHsmallerTPH.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/GenericInsertPair.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/PairNoResult.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/ResultSetVisitor.java javatx-src/main/java/de/dhbwstuttgart/typeinference/result/ResultPairVisitor.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/visitUnifyTypeVisitor.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultEvent.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/Node.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/FunInterfaceType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingExtend.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/SuperType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/Unifier.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/FunNType.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/model/PairOperator.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/Unifikationsalgorithmus.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/distributeVariance.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/GuavaSetOperations.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListener.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/ISetOperations.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IUnify.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java javatx-src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IMatch.java javatx-src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java javatx-src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java javatx-src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java javatx-src/main/java/de/dhbwstuttgart/typeinference/constraints/GenericsResolver.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/TypeInferenceInformation.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/FieldAssumption.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/TypeInferenceBlockInformation.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/Assumption.java javatx-src/main/java/de/dhbwstuttgart/typeinference/assumptions/TypeScopeContainer.java javatx-src/main/java/de/dhbwstuttgart/util/Pair.java javatx-src/main/java/de/dhbwstuttgart/util/BiRelation.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetClass.java javatx-src/main/java/de/dhbwstuttgart/target/tree/MethodParameter.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetGeneric.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetInterface.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetConstructor.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetMethod.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetStructure.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetPrimitiveType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetRefType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetExtendsWildcard.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetSuperWildcard.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetGenericType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetFunNType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/type/TargetSpecializedType.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetRecord.java javatx-src/main/java/de/dhbwstuttgart/target/tree/TargetField.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetContinue.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetAssign.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetNew.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetInstanceOf.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetFieldVar.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetFor.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetTypePattern.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetCast.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetForEach.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetBinaryOp.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetWhile.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetClassName.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetLiteral.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetMethodCall.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetThrow.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetSuper.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetPattern.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetYield.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetSwitch.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetComplexPattern.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetThis.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetUnaryOp.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetBlock.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetBreak.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetStatementExpression.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetGuard.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetReturn.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetTernary.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetVarDecl.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetExpression.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetLocalVar.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetLambdaExpression.java javatx-src/main/java/de/dhbwstuttgart/target/tree/expression/TargetIf.java javatx-src/main/java/de/dhbwstuttgart/target/generate/BoundsList.java javatx-src/main/java/de/dhbwstuttgart/target/generate/GenericsResult.java javatx-src/main/java/de/dhbwstuttgart/target/generate/ASTToTargetAST.java javatx-src/main/java/de/dhbwstuttgart/target/generate/TracingStatementVisitor.java javatx-src/main/java/de/dhbwstuttgart/target/generate/GenerateGenerics.java javatx-src/main/java/de/dhbwstuttgart/target/generate/JavaGenerics.java javatx-src/main/java/de/dhbwstuttgart/target/generate/GenericsResultSet.java javatx-src/main/java/de/dhbwstuttgart/target/generate/TxGenerics.java javatx-src/main/java/de/dhbwstuttgart/target/generate/Bound.java javatx-src/main/java/de/dhbwstuttgart/target/generate/CycleFinder.java javatx-src/main/java/de/dhbwstuttgart/target/generate/StatementToTargetExpression.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/GenericTypeVar.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/SyntaxTreeNode.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/GenericDeclarationList.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/Method.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/ParameterList.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/FormalParameter.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/GuardedPattern.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/ExpressionPattern.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/FieldDeclaration.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/Constructor.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/Pattern.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/ExceptionList.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/RecordPattern.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Throw.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Ternary.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Super.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/LocalVarDecl.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/AssignLeftSide.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/SuperCall.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Statement.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/SwitchBlock.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/This.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Receiver.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/FieldVar.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/BoolExpression.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/StaticClassName.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/TypableStatement.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/JavaInternalExpression.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/AssignToField.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/WhileStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ForStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Assign.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/CastExpr.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ReturnVoid.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/LambdaExpression.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/NewArray.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/IfStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Expression.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ThisCall.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/InstanceOf.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ArgumentList.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Literal.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/NewClass.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ForEachStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/ExpressionReceiver.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/DoStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Return.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/EmptyStmt.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Break.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Block.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/LocalVar.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Yield.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/BinaryExpr.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/Switch.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/statement/SwitchLabel.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/SourceFile.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/ASTVisitor.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/SuperWildcardType.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/TypeVisitor.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/Void.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/ExtendsWildcardType.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/GenericRefType.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/WildcardType.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/RefTypeOrTPHOrWildcardOrGeneric.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/type/RefType.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/StatementVisitor.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/ASTTypePrinter.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/ASTPrinter.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/ResultSetPrinter.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/ResultSetOutputGenerator.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/visual/TypeOutputGenerator.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/Field.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/Record.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/factory/NameGenerator.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/factory/PrimitiveMethodsGenerator.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java javatx-src/main/java/de/dhbwstuttgart/syntaxtree/TypeScope.java javatx-src/main/java/de/dhbwstuttgart/parser/antlr/Java17ParserBaseListener.java javatx-src/main/java/de/dhbwstuttgart/parser/antlr/Java17Parser.java javatx-src/main/java/de/dhbwstuttgart/parser/antlr/Java17ParserListener.java javatx-src/main/java/de/dhbwstuttgart/parser/antlr/Java17Lexer.java javatx-src/main/java/de/dhbwstuttgart/parser/scope/GenericsRegistry.java javatx-src/main/java/de/dhbwstuttgart/parser/scope/JavaClassName.java javatx-src/main/java/de/dhbwstuttgart/parser/scope/GatherNames.java javatx-src/main/java/de/dhbwstuttgart/parser/scope/JavaClassRegistry.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntacticSugar.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/GenericContext.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FieldEntry.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java javatx-src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/AssignToLocal.java javatx-src/main/java/de/dhbwstuttgart/parser/NullToken.java javatx-src/main/java/de/dhbwstuttgart/parser/JavaTXParser.java javatx-src/main/java/de/dhbwstuttgart/parser/SourceLoc.java javatx-src/main/java/de/dhbwstuttgart/exceptions/ParserError.java javatx-src/main/java/de/dhbwstuttgart/exceptions/NotImplementedException.java javatx-src/main/java/de/dhbwstuttgart/exceptions/DebugException.java javatx-src/main/java/de/dhbwstuttgart/exceptions/TypeinferenceException.java javatx-src/main/java/de/dhbwstuttgart/bytecode/FunNGenerator.java javatx-src/main/java/de/dhbwstuttgart/bytecode/Codegen.java javatx-src/main/java/de/dhbwstuttgart/bytecode/CodeGenException.java javatx-src/main/java/de/dhbwstuttgart/bytecode/JavaTXSignatureAttribute.java javatx-src/main/java/de/dhbwstuttgart/environment/ByteArrayClassLoader.java javatx-src/main/java/de/dhbwstuttgart/environment/IByteArrayClassLoader.java javatx-src/main/java/de/dhbwstuttgart/environment/DirectoryClassLoader.java javatx-src/main/java/de/dhbwstuttgart/environment/PackageCrawler.java javatx-src/main/java/de/dhbwstuttgart/environment/CompilationEnvironment.java javatx-src/main/java/de/dhbwstuttgart/typedeployment/KindOfTypeInsertPoint.java javatx-src/main/java/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java javatx-src/main/java/de/dhbwstuttgart/typedeployment/TypeInsertFactory.java javatx-src/main/java/de/dhbwstuttgart/typedeployment/TypeInsert.java javatx-src/main/java/de/dhbwstuttgart/typedeployment/TypeInsertPlacer.java
|
|
Hinweis: Einige Eingabedateien verwenden oder überschreiben eine veraltete API.
|
|
Hinweis: Wiederholen Sie die Kompilierung mit -Xlint:deprecation, um Details zu erhalten.
|
|
Hinweis: Einige Eingabedateien verwenden oder überschreiben eine veraltete API, die zum Entfernen markiert ist.
|
|
Hinweis: Wiederholen Sie die Kompilierung mit -Xlint:removal, um Details zu erhalten.
|
|
Hinweis: Einige Eingabedateien verwenden nicht geprüfte oder unsichere Vorgänge.
|
|
Hinweis: Wiederholen Sie die Kompilierung mit -Xlint:unchecked, um Details zu erhalten.
|
|
tests/targetast/ASTToTypedTargetAST.java:37: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:59: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:70: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:81: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:92: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:108: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:126: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:142: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/ASTToTypedTargetAST.java:153: Fehler: Methode typeInference in Klasse JavaTXCompiler kann nicht auf die angegebenen Typen angewendet werden.
|
|
var resultSet = compiler.typeInference();
|
|
^
|
|
Erforderlich: File
|
|
Ermittelt: keine Argumente
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/OLTest.java:30: Warnung: [removal] Integer(int) in Integer ist veraltet und wurde zum Entfernen markiert
|
|
assertEquals(new Integer(10), result);
|
|
^
|
|
tests/targetast/OLTest.java:37: Warnung: [removal] Double(double) in Double ist veraltet und wurde zum Entfernen markiert
|
|
assertEquals(new Double(10.0), result);
|
|
^
|
|
tests/targetast/PutTest.java:39: Warnung: [removal] Integer(int) in Integer ist veraltet und wurde zum Entfernen markiert
|
|
assertEquals(new Integer(5), s_invoke.pop());
|
|
^
|
|
tests/targetast/PutTest.java:57: Warnung: [removal] Integer(int) in Integer ist veraltet und wurde zum Entfernen markiert
|
|
assertEquals(new Integer(6), s_invoke.pop());
|
|
^
|
|
tests/targetast/TestCodegen.java:45: Fehler: Inkompatible Typen: List<File> kann nicht in File konvertiert werden
|
|
var compiler = new JavaTXCompiler(filenames, List.of(path.toFile(), outputPath.toFile()));
|
|
^
|
|
tests/targetast/TestCodegen.java:60: Fehler: Inkompatible Typen: Typvariable(n) T#1,K,U,T#2 nicht ableitbar
|
|
}).collect(Collectors.toMap(Class::getName, Function.identity())));
|
|
^
|
|
(nicht übereinstimmende Argumente; Ungültige Methode-Referenz
|
|
Methode getName in Klasse Class<T#3> kann nicht auf die angegebenen Typen angewendet werden
|
|
Erforderlich: keine Argumente
|
|
Ermittelt: Object
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
Dabei sind T#1,K,U,T#2,T#3 Typvariablen:
|
|
T#1 erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
K erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
U erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
T#2 erweitert Object, deklariert in Methode <T#2>identity()
|
|
T#3 erweitert Object, deklariert in Klasse Class
|
|
tests/targetast/TestCodegen.java:71: Fehler: Konstruktor Codegen in Klasse Codegen kann nicht auf die angegebenen Typen angewendet werden.
|
|
Codegen codegen = new Codegen(clazz, new JavaTXCompiler(List.of()));
|
|
^
|
|
Erforderlich: TargetStructure,JavaTXCompiler,ASTToTargetAST
|
|
Ermittelt: TargetStructure,JavaTXCompiler
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/TestCodegen.java:78: Fehler: Konstruktor Codegen in Klasse Codegen kann nicht auf die angegebenen Typen angewendet werden.
|
|
Codegen codegen = new Codegen(clazz, compiler);
|
|
^
|
|
Erforderlich: TargetStructure,JavaTXCompiler,ASTToTargetAST
|
|
Ermittelt: TargetStructure,JavaTXCompiler
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/TestCodegen.java:86: Fehler: Inkompatible Typen: Keine Instanzen von Typvariablen E vorhanden, sodass List<E> File entspricht
|
|
var compiler = new JavaTXCompiler(List.of(file), List.of(file.getParentFile()));
|
|
^
|
|
Dabei ist E eine Typvariable:
|
|
E erweitert Object, deklariert in Methode <E>of(E)
|
|
tests/targetast/TestCodegen.java:99: Fehler: Inkompatible Typen: Typvariable(n) T#1,K,U,T#2 nicht ableitbar
|
|
}).collect(Collectors.toMap(Class::getName, Function.identity()));
|
|
^
|
|
(nicht übereinstimmende Argumente; Ungültige Methode-Referenz
|
|
Methode getName in Klasse Class<T#3> kann nicht auf die angegebenen Typen angewendet werden
|
|
Erforderlich: keine Argumente
|
|
Ermittelt: Object
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
Dabei sind T#1,K,U,T#2,T#3 Typvariablen:
|
|
T#1 erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
K erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
U erweitert Object, deklariert in Methode <T#1,K,U>toMap(Function<? super T#1,? extends K>,Function<? super T#1,? extends U>)
|
|
T#2 erweitert Object, deklariert in Methode <T#2>identity()
|
|
T#3 erweitert Object, deklariert in Klasse Class
|
|
tests/targetast/TestCodegen.java:176: Fehler: Konstruktor für TargetMethodCall(<Null>,TargetFieldVar,List<StringLiteral>,TargetRefType,String,boolean,boolean) nicht geeignet
|
|
targetClass.addMethod(Opcodes.ACC_PUBLIC | Opcodes.ACC_STATIC, "helloWorld", List.of(), null, new TargetBlock(List.of(new TargetMethodCall(null, new TargetFieldVar(new TargetRefType("java.io.PrintStream"), new TargetRefType("java.lang.System"), true, new TargetClassName(new TargetRefType("java.lang.System")), "out"), List.of(new TargetLiteral.StringLiteral("Hello World!")), new TargetRefType("java.io.PrintStream"), "println", false, false))));
|
|
^
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetType,List<TargetType>,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
tests/targetast/TestCodegen.java:273: Fehler: Konstruktor für TargetMethodCall(<Null>,TargetSuper,List<Object>,TargetRefType,String,boolean,boolean) nicht geeignet
|
|
targetClass.addConstructor(Opcodes.ACC_PUBLIC, List.of(), new TargetBlock(List.of(new TargetMethodCall(null, new TargetSuper(TargetType.Object), List.of(), TargetType.Object, "<init>", false, false))));
|
|
^
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetType,List<TargetType>,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
tests/targetast/TestCodegen.java:274: Fehler: Konstruktor TargetLambdaExpression in Datensatz TargetLambdaExpression kann nicht auf die angegebenen Typen angewendet werden.
|
|
targetClass.addMethod(Opcodes.ACC_PUBLIC, "lambda", List.of(), TargetType.Integer, new TargetBlock(List.of(new TargetVarDecl(interfaceType, "by2", new TargetLambdaExpression(interfaceType, List.of(), List.of(new MethodParameter(TargetType.Integer, "num")), TargetType.Integer, new TargetBlock(List.of(new TargetReturn(new TargetBinaryOp.Mul(TargetType.Integer, new TargetLocalVar(TargetType.Integer, "num"), new TargetLiteral.IntLiteral(2))))))), new TargetReturn(new TargetCast(TargetType.Integer, new TargetMethodCall(TargetType.Object, TargetType.Object, List.of(TargetType.Object), new TargetLocalVar(interfaceType, "by2"), List.of(new TargetLiteral.IntLiteral(10)), interfaceType, "apply", false, true))))));
|
|
^
|
|
Erforderlich: TargetType,List<MethodParameter>,Signature,TargetBlock
|
|
Ermittelt: TargetFunNType,List<Object>,List<MethodParameter>,TargetRefType,TargetBlock
|
|
Grund: Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente
|
|
tests/targetast/TestCodegen.java:274: Fehler: Konstruktor für TargetMethodCall(TargetRefType,TargetRefType,List<TargetRefType>,TargetLocalVar,List<IntLiteral>,TargetFunNType,String,boolean,boolean) nicht geeignet
|
|
targetClass.addMethod(Opcodes.ACC_PUBLIC, "lambda", List.of(), TargetType.Integer, new TargetBlock(List.of(new TargetVarDecl(interfaceType, "by2", new TargetLambdaExpression(interfaceType, List.of(), List.of(new MethodParameter(TargetType.Integer, "num")), TargetType.Integer, new TargetBlock(List.of(new TargetReturn(new TargetBinaryOp.Mul(TargetType.Integer, new TargetLocalVar(TargetType.Integer, "num"), new TargetLiteral.IntLiteral(2))))))), new TargetReturn(new TargetCast(TargetType.Integer, new TargetMethodCall(TargetType.Object, TargetType.Object, List.of(TargetType.Object), new TargetLocalVar(interfaceType, "by2"), List.of(new TargetLiteral.IntLiteral(10)), interfaceType, "apply", false, true))))));
|
|
^
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
Konstruktor TargetMethodCall.TargetMethodCall(TargetType,TargetType,List<TargetType>,TargetExpression,List<TargetExpression>,TargetType,String,boolean,boolean,boolean) ist nicht anwendbar
|
|
(Liste der tatsächlichen Argumente hat eine andere Länge als die der formalen Argumente)
|
|
tests/targetast/TestGenerics.java:51: Fehler: Inkompatible Typen: Keine Instanzen von Typvariablen E vorhanden, sodass List<E> File entspricht
|
|
var compiler = new JavaTXCompiler(List.of(file), List.of(file.getParentFile()));
|
|
^
|
|
Dabei ist E eine Typvariable:
|
|
E erweitert Object, deklariert in Methode <E>of(E)
|
|
Hinweis: Einige Eingabedateien verwenden nicht geprüfte oder unsichere Vorgänge.
|
|
Hinweis: Wiederholen Sie die Kompilierung mit -Xlint:unchecked, um Details zu erhalten.
|
|
Hinweis: Einige Meldungen wurden vereinfacht. Wiederholen Sie die Kompilierung mit -Xdiags:verbose, um die vollständige Ausgabe abzurufen
|
|
20 Fehler
|
|
4 Warnungen
|
|
JUnit version 4.11
|
|
.E.E
|
|
Time: 0,007
|
|
There were 2 failures:
|
|
1) applyLambdaTest(TestComplete)
|
|
java.lang.NoSuchMethodError: 'void de.dhbwstuttgart.core.JavaTXCompiler.<init>(java.util.List, java.util.List)'
|
|
at targetast.TestCodegen.generateClassFiles(TestCodegen.java:45)
|
|
at TestComplete.applyLambdaTest(TestComplete.java:20)
|
|
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
|
|
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
|
|
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
|
|
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
|
|
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
|
|
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
|
|
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
|
|
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
|
|
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
|
|
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
|
|
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
|
|
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
|
|
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
|
|
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
|
|
at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
|
|
at org.junit.runners.Suite.runChild(Suite.java:127)
|
|
at org.junit.runners.Suite.runChild(Suite.java:26)
|
|
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
|
|
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
|
|
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
|
|
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
|
|
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
|
|
at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:160)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:138)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:117)
|
|
at org.junit.runner.JUnitCore.runMain(JUnitCore.java:96)
|
|
at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47)
|
|
at org.junit.runner.JUnitCore.main(JUnitCore.java:40)
|
|
2) binaryTest(TestComplete)
|
|
java.lang.NoSuchMethodError: 'void de.dhbwstuttgart.core.JavaTXCompiler.<init>(java.util.List, java.util.List)'
|
|
at targetast.TestCodegen.generateClassFiles(TestCodegen.java:45)
|
|
at TestComplete.binaryTest(TestComplete.java:31)
|
|
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
|
|
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
|
|
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
|
|
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
|
|
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
|
|
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
|
|
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
|
|
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
|
|
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
|
|
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
|
|
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
|
|
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
|
|
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
|
|
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
|
|
at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
|
|
at org.junit.runners.Suite.runChild(Suite.java:127)
|
|
at org.junit.runners.Suite.runChild(Suite.java:26)
|
|
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
|
|
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
|
|
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
|
|
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
|
|
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
|
|
at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:160)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:138)
|
|
at org.junit.runner.JUnitCore.run(JUnitCore.java:117)
|
|
at org.junit.runner.JUnitCore.runMain(JUnitCore.java:96)
|
|
at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47)
|
|
at org.junit.runner.JUnitCore.main(JUnitCore.java:40)
|
|
|
|
FAILURES!!!
|
|
Tests run: 2, Failures: 2
|
|
|