1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [[all, value]:assignment.type.incompatible] incompatible types in assignment.
found : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [[all, index, searchindex]:assignment.type.incompatible] incompatible types in assignment.
found : @SearchIndexUnknown int @SearchIndexUnknown []
required: @SearchIndexBottom int @SearchIndexUnknown []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [[all, index, samelen]:assignment.type.incompatible] incompatible types in assignment.
found : @SameLenUnknown int @SameLen("y") []
required: @SameLenUnknown int @SameLenBottom []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [[all, index, lowerbound]:assignment.type.incompatible] incompatible types in assignment.
found : @LowerBoundUnknown int @LowerBoundUnknown []
required: @GTENegativeOne int @LowerBoundUnknown []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [[all, index, upperbound]:assignment.type.incompatible] incompatible types in assignment.
found : @UpperBoundUnknown int @UpperBoundUnknown []
required: @UpperBoundBottom int @UpperBoundUnknown []
5 errors
|
