diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-10-21 01:32:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-10-21 01:32:57 +0000 |
| commit | 887d5f2b79df329006b42782bb19feec1f73518f (patch) | |
| tree | ca0f7ce3e52cfab2331de1594123067182f1f801 /src/interp/i-analy.boot.pamphlet | |
| parent | c982f26127c1b0cbdc1b9b98480d2cc466fad0e1 (diff) | |
| download | open-axiom-887d5f2b79df329006b42782bb19feec1f73518f.tar.gz | |
* Makefile.pamphlet (OBJS): Include i-object.$(FASLEXT).
(i-object.$(FASLEXT)): New rule.
* i-object.boot: New.
* i-analy.boot.pamphlet (getBasicMode): Move to i-object.boot.
(getBasicMode0): Likewise.
(getBasicObject): Likewise.
* i-intern.boot.pamphlet (mkObj): Likewise.
(mkObjWrap): Likewise.
(mkObjCode): Likewise.
(objNew): Likewise.
(objNewWrap): Likewise.
(objNewCode): Likewise.
(objSetVal): Likewise.
(objSetMode): Likewise.
(objVal): Likewise.
(objValUnwrap): Likewise.
(objMode): Likewise.
(objEnv): Likewise.
(objCodeVal): Likewise.
(objCodeMode): Likewise.
(asTupleNew): Likewise.
(asTupleNew0): Likewise.
(asTupleNewCode): Likewise.
(asTupleNewCode0): Likewise.
(asTupleSize): Likewise.
(asTupleAsVector): Likewise.
(asTupleAsList): Likewise.
Diffstat (limited to 'src/interp/i-analy.boot.pamphlet')
| -rw-r--r-- | src/interp/i-analy.boot.pamphlet | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/src/interp/i-analy.boot.pamphlet b/src/interp/i-analy.boot.pamphlet index ff2d62fa..ff751ace 100644 --- a/src/interp/i-analy.boot.pamphlet +++ b/src/interp/i-analy.boot.pamphlet @@ -48,37 +48,6 @@ --% Interpreter Analysis Functions ---% Basic Object Type Identification - -getBasicMode x == getBasicMode0(x,$useIntegerSubdomain) - -getBasicMode0(x,useIntegerSubdomain) == - -- if x is one of the basic types (Integer String Float Boolean) then - -- this function returns its type, and nil otherwise - x is nil => $EmptyMode - STRINGP x => $String - INTEGERP x => - useIntegerSubdomain => - x > 0 => $PositiveInteger - x = 0 => $NonNegativeInteger - $Integer - $Integer - FLOATP x => $DoubleFloat - (x='noBranch) or (x='noValue) => $NoValueMode - nil - -getBasicObject x == - INTEGERP x => - t := - not $useIntegerSubdomain => $Integer - x > 0 => $PositiveInteger - x = 0 => $NonNegativeInteger - $Integer - objNewWrap(x,t) - STRINGP x => objNewWrap(x,$String) - FLOATP x => objNewWrap(x,$DoubleFloat) - NIL - getMinimalVariableTower(var,t) == -- gets the minimal polynomial subtower of t that contains the -- given variable. Returns NIL if none. |