|
Last change
on this file since 978 was
978,
checked in by luba, 18 years ago
|
- renamed files for Class library
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
|
File size:
393 bytes
|
| Line | |
|---|
| 1 | // $Source$ |
|---|
| 2 | // $Revision: 978 $ |
|---|
| 3 | // $Date: 2003-07-08 07:46:00 +0000 (Tue, 08 Jul 2003) $ |
|---|
| 4 | // $Author: luba $ |
|---|
| 5 | |
|---|
| 6 | #include <rf_core.hh> |
|---|
| 7 | |
|---|
| 8 | namespace refal |
|---|
| 9 | { |
|---|
| 10 | |
|---|
| 11 | using namespace rfrt; |
|---|
| 12 | using namespace rftype; |
|---|
| 13 | |
|---|
| 14 | namespace Class |
|---|
| 15 | { |
|---|
| 16 | |
|---|
| 17 | RF_FUNC (Int_q_, (RF_ARG e_Exp), ()) |
|---|
| 18 | if (e_Exp.get_len() == 1) { |
|---|
| 19 | Term* p = e_Exp.get_first(); |
|---|
| 20 | unsigned t = p->get_type(); |
|---|
| 21 | if (t != type_int && t != type_short_int) |
|---|
| 22 | retfail; |
|---|
| 23 | } |
|---|
| 24 | else |
|---|
| 25 | retfail; |
|---|
| 26 | RF_END |
|---|
| 27 | |
|---|
| 28 | } |
|---|
| 29 | |
|---|
| 30 | } |
|---|
| 31 | |
|---|
| 32 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
