Bug #4409: ru/ispras/solver/core/syntax/EStandardOperation.java:212: inconvertible types - Fortress - Open-Source Projects

Actions

Copy link

Bug #4409

closed

ru/ispras/solver/core/syntax/EStandardOperation.java:212: inconvertible types

Added by Alexander Kamkin over 11 years ago. Updated about 11 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Kamkin

Category:

Target version:

0.2

Start date:

07/30/2013

Due date:

% Done:

100%

Estimated time:

Detected in build:

svn

Platform:

Published in build:

0.2.3-beta

Description

build:
   [delete] Deleting directory /home/kamkin_a/tools/solver-api/java-solver-api/dist
    [mkdir] Created dir: /home/kamkin_a/tools/solver-api/java-solver-api/bin
    [javac] Compiling 70 source files to /home/kamkin_a/tools/solver-api/java-solver-api/bin
    [javac] /home/kamkin_a/tools/solver-api/java-solver-api/src/ru/ispras/solver/core/syntax/EStandardOperation.java:212: inconvertible types
    [javac] found   : java.lang.Enum<capture#729 of ?>
    [javac] required: ru.ispras.solver.core.syntax.EStandardOperation
    [javac]         return (id instanceof EStandardOperation)
    [javac]                 ^
    [javac] 1 error

java version "1.6.0_07" 
Java(TM) SE Runtime Environment (build 1.6.0_07-b06)
Java HotSpot(TM) Server VM (build 10.0-b23, mixed mode)

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Status changed from New to Open

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Status changed from Open to Resolved
Assignee changed from Sergey Smolov to Alexander Kamkin
Target version set to 0.2
% Done changed from 0 to 100
Published in build set to 0.2.3-beta

Это ошибка компилятора java 1.6 (http://bugs.sun.com/view_bug.do?bug_id=6548436). В Java 1.7 она исправлена. На будущее все же рекомендую обновить компилятор.

Сейчас добился исчезновения данной ошибки с помощью маленькой переделки кода. Библиотека успешно собирается с помощью компиляторов java 1.6\1.7. Также выпустил билд 0.2.3-beta, содержащий данное исправление.

Actions

Copy link