kawa.standard
Class not

java.lang.Object
  gnu.mapping.PropertySet
      gnu.mapping.Procedure
          gnu.mapping.Procedure1
              kawa.standard.not

All Implemented Interfaces:

Inlineable, Named

public class not
extends Procedure1
implements Inlineable

Implement the standard Scheme procedure "not".

Field Summary

QuoteExp	falseExp
QuoteExp	trueExp

Constructor Summary

not(Language language)

not(Language language, java.lang.String name)

Method Summary

java.lang.Object	apply1(java.lang.Object arg1)
void	compile(ApplyExp exp, Compilation comp, Target target)
Type	getReturnType(Expression[] args)

Methods inherited from class gnu.mapping.Procedure1

apply0, apply2, apply3, apply4, applyN, numArgs

Methods inherited from class gnu.mapping.Procedure

apply, apply, check0, check1, check2, check3, check4, checkArgCount, checkN, getSetter, getSourceLocation, match0, match1, match2, match3, match4, matchN, maxArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation, toString

Methods inherited from class gnu.mapping.PropertySet

getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

trueExp

public QuoteExp trueExp

falseExp

public QuoteExp falseExp

Constructor Detail

not

public not(Language language)

not

public not(Language language,
           java.lang.String name)

Method Detail

apply1

public java.lang.Object apply1(java.lang.Object arg1)

Specified by:

apply1 in class Procedure1

compile

public void compile(ApplyExp exp,
                    Compilation comp,
                    Target target)

Specified by:

compile in interface Inlineable

getReturnType

public Type getReturnType(Expression[] args)

Specified by:

getReturnType in interface Inlineable