TAJS icon indicating copy to clipboard operation
TAJS copied to clipboard

Published 20 hours ago • verified publisher icon cs-au-dk

Compilation errors in Eclipse

Open albertolovato opened this issue 5 years ago • 1 comments

When importing sources in Eclipse, I get two errors in CallDependencies, at lines 276 and 281: The method transferReturn(dk.brics.tajs.flowgraph.AbstractNode, dk.brics.tajs.flowgraph.BasicBlock, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, dk.brics.tajs.solver.CallKind) in the type INodeTransfer<StateType,ContextType> is not applicable for the arguments (dk.brics.tajs.flowgraph.AbstractNode, dk.brics.tajs.flowgraph.BasicBlock, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, dk.brics.tajs.solver.CallKind)

These errors don't show up in Idea or ant, so I guess the Eclipse integrated compiler is interpreting generics differently from OpenJDK.

Are you experiencing these too? Is Eclipse even used in TAJS development? Thank you.

albertolovato avatar Oct 04 '19 14:10 albertolovato

We shifted to IntelliJ IDEA long time ago. We'll look into the problem, but I suggest you use that or command-line compilation for now.

amoeller avatar Oct 05 '19 09:10 amoeller