Changeset 4107


Ignore:
Timestamp:
Dec 14, 2009, 8:19:29 PM (11 years ago)
Author:
yura
Message:
  • Unused class in Table is removed.
  • Some visibility error was found by Eclipse 3.5/
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/java/org/refal/plus/objects/Table.java

    r3740 r4107  
    1010public final class Table extends TreeMap<Expr, Expr> {
    1111    private static final long serialVersionUID = -5813283821621021621L;
    12 
    13     private static final class Entry {
    14         public final Expr key;
    15         public final Expr value;
    16 
    17         public Entry (Expr key, Expr value) {
    18             this.key = key;
    19             this.value = value;
    20         }
    21 
    22         public Expr toExpr () {
    23             return Expr.concat((Comparable<?>) key, (Comparable<?>) value);
    24         }
    25 
    26         @Override
    27         public java.lang.String toString () {
    28             return toExpr().toString();
    29         }
    30        
    31         public Expr getKey () {
    32             return key;
    33         }
    34 
    35         public Expr getValue () {
    36             return value;
    37         }
    38     }
    3912
    4013    public Expr getKeys () {
     
    5932    }
    6033
    61     public Object[] toArray () {
    62         Entry[] arr = new Entry[size()];
    63         int i = 0;
    64         for (Map.Entry<Expr, Expr> entry : entrySet())
    65             arr[i++] = new Entry(entry.getKey(), entry.getValue());
    66         return arr;
    67     }
    68 
    6934    @Override
    7035    public java.lang.String toString () {
Note: See TracChangeset for help on using the changeset viewer.