Project

General

Profile

Bug #5460

[project] Get rid of warnings

Added by Andrei Tatarnikov almost 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
High
Category:
-
Target version:
Start date:
12/04/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
141226

Description

После коммитов r709 и r710 появилась куча Warning'ов. Нужно от них избавиться.

Description    Resource    Path    Location    Type
The import java.io.IOException is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 3    Java Problem
The import java.io.Reader is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 4    Java Problem
The import java.io.StreamTokenizer is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 5    Java Problem
The import java.io.StringReader is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 6    Java Problem
The import java.util.ArrayList is never used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 28    Java Problem
The import java.util.List is never used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 27    Java Problem
The method tryToParseError(String, SolverResultBuilder) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 245    Java Problem
The method tryToParseStatus(String, SolverResultBuilder) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 227    Java Problem
The method tryToParseVariable(String, Variable, SolverResultBuilder, Map<String,Variable>) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 302    Java Problem
The value of the local variable vi is not used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 123    Java Problem

History

#1

Updated by Andrei Tatarnikov almost 5 years ago

  • Target version set to 0.3
#2

Updated by Artem Kotsynyak almost 5 years ago

  • % Done changed from 0 to 90

r716, r717

SMTRegExp is to fix since barely used.

#3

Updated by Andrei Tatarnikov almost 5 years ago

  • Status changed from New to Resolved
  • % Done changed from 90 to 100

Removed unused constants from SMTRegExp - r719.

#4

Updated by Andrei Tatarnikov almost 5 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 141226

Also available in: Atom PDF