Changeset 3723


Ignore:
Timestamp:
Apr 17, 2008, 4:44:11 PM (13 years ago)
Author:
yura
Message:
  • Box names.
Location:
to-imperative/trunk/java/java
Files:
2 edited

Legend:

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

    r3722 r3723  
    3434    }
    3535
    36     public static Comparable<?> newBox (Comparable<?> term) {
     36    public static Comparable<?> newBox (String name, Comparable<?> term) {
    3737        return new Reference<Box>(new Box(term));
    3838    }
  • to-imperative/trunk/java/java/refal/plus/File.java

    r3721 r3723  
    1717    /** {@value} Ex: ':' or ';' */
    1818    @RefalFormat("$box PathSeparator;")
    19     public static final Expr PathSeparator = new Expr(Symbol.newBox(new Character(java.io.File.pathSeparatorChar)));
     19    public static final Expr PathSeparator = new Expr(Symbol.newBox("PathSeparator", new Character(java.io.File.pathSeparatorChar)));
    2020
    2121    /** {@value} Ex: '/' or '\\' */
    2222    @RefalFormat("$box DirSeparator;")
    23     public static final Expr DirSeparator = new Expr(Symbol.newBox(new Character(java.io.File.separatorChar)));
     23    public static final Expr DirSeparator = new Expr(Symbol.newBox("DirSeparator", new Character(java.io.File.separatorChar)));
    2424
    2525    @RefalFormat("$func? Exists e.fname = ;")
Note: See TracChangeset for help on using the changeset viewer.