Changeset 1812


Ignore:
Timestamp:
Dec 22, 2005, 4:07:19 PM (15 years ago)
Author:
alex
Message:
  • re-written: cause (Expr implementation has been changed)
File:
1 edited

Legend:

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

    r1809 r1812  
    1 package org.refal.j;
     1package org.refal.plus.library;
    22
    33import java.math.BigInteger;
     4import org.refal.plus.*;
    45
    56/**
     
    1617    public static boolean Box_q_ (Expr e)
    1718    {
    18         if (e.get_len () != 1) return false;
    19         if (e.first () instanceof Box)
    20             return true;
    21         else
    22             return false;
     19        if (e.getLen () != 1) return false;
     20        return (e.at (0) instanceof Box);
    2321    }
    2422
     
    2927    public static boolean Char_q_ (Expr e)
    3028    {
    31         if (e.get_len () != 1) return false;
    32         if (e.first () instanceof Character)
    33             return true;
    34         else
    35             return false;   
     29        if (e.getLen () != 1) return false;
     30        return (e.at (0) instanceof Character);
    3631    }
    3732
     
    4237    public static boolean Digit_q_ (Expr e)
    4338    {
    44         if (e.get_len () != 1) return false;
    45         if (e.first () instanceof Character) {
    46             Character ch = (Character) e.first ();
     39        if (e.getLen () != 1) return false;
     40        if (e.at(0) instanceof Character) {
     41            Character ch = (Character) e.at (0);
    4742            if (Character.isDigit (ch.charValue ()))
    4843                return true;
    4944            return false;
    5045        }
    51         else
    52             return false;   
     46        return false;   
    5347    }
    5448
     
    5953    public static boolean Word_q_ (Expr e)
    6054    {
    61         if (e.get_len () != 1) return false;
    62         if (e.first () instanceof java.lang.String || e.first () instanceof String)
    63             return true;
    64         else
    65             return false;   
     55        if (e.getLen () != 1) return false;
     56        return (e.at (0) instanceof java.lang.String || e.at (0) instanceof String);
    6657    }
    6758
     
    7263    public static boolean Int_q_ (Expr e)
    7364    {
    74         if (e.get_len () != 1) return false;
    75         if (e.first () instanceof Integer || e.first () instanceof BigInteger)
    76             return true;
    77         else
    78             return false;   
     65        if (e.getLen () != 1) return false;
     66        return (e.at (0) instanceof Integer || e.at (0) instanceof BigInteger);
    7967    }
    8068
     
    8573    public static boolean Letter_q_ (Expr e)
    8674    {
    87         if (e.get_len () != 1) return false;
    88         if (e.first () instanceof Character) {
    89             Character ch = (Character) e.first ();
    90             if (Character.isLetter (ch.charValue ()))
    91                 return true;
    92             return false;
     75        if (e.getLen () != 1) return false;
     76        if (e.at (0) instanceof Character) {
     77            Character ch = (Character) e.at (0);
     78            return (Character.isLetter (ch.charValue ()));
    9379        }
    94         else
    95             return false;   
     80        return false;   
    9681    }
    9782
     
    10287    public static boolean Channel_q_ (Expr e)
    10388    {
    104         if (e.first () instanceof Channel)
    105             return true;
    106         return false;
     89        return (e.at (0) instanceof Channel);
    10790    }
    10891}
Note: See TracChangeset for help on using the changeset viewer.